【摘 要】
:
针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射
论文部分内容阅读
针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述;然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则;再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.
其他文献
豆豉是一种以大豆作为原料经过微生物发酵而形成的传统发酵食品.在发酵过程中,蛋白酶产生菌是其优势菌株并发挥着重要作用.通过对传统曲霉型豆豉发酵过程中的微生物进行分离
图的匹配能量定义为该图的匹配多项式的零点的绝对值之和.设U(n,d)为n阶且直径为d的连通单圈图的集合,刻画了U(n,d)中取到极小匹配能量的极图.
在过去的40余年间,临床营养自创始至今已获得飞速发展,肠外营养及肠内营养己救活不计其数的患者,相关的科学研究也蓬勃发展。据统计,在上世纪90年代初每年新增的营养学刊物即已达
以橄榄油为唯一碳源,采用平板变色圈法,从土壤中筛选到1株脂肪酶高产菌XYU-6,经生理生化试验鉴定及16SrDNA序列分析,XYU-6被鉴定为洋葱假单胞菌(Burkholderiacepacia).设计单因素试