【摘 要】
：
本文提出了一种基于逻辑推理和Petri网的Web服务自动组合方法．该方法使用命题逻辑规则作为语义Web服务的内在表示模型，通过把服务及服务接口概念之间的语义关系表示为一组命题
【机 构】
：
同济大学 计算机科学与技术系，上海 201804 同济大学 嵌入式系统与服务计算教育部重点实验室，上海 201804
论文部分内容阅读
本文提出了一种基于逻辑推理和Petri网的Web服务自动组合方法．该方法使用命题逻辑规则作为语义Web服务的内在表示模型，通过把服务及服务接口概念之间的语义关系表示为一组命题逻辑规则，把用户提供的输入和要求的输出分别表示为事实和目标命题，从而将服务自动组合问题转化为命题逻辑推理问题．基于逻辑推理的算法可以在规则库大小的线性时间内有效判断是否存在满足用户功能要求的合成服务，并同时选出那些组合中可能会用到的规则：进而使用Petri网为选出的规则集建模，利用其结构分析方法来有效获取及验证合成服务的流程．
其他文献
动态Web服务组合近年来作为一个极具挑战性的问题正吸引着越来越多的人的关注．但是，目前主流的动态服务组合方法在面对大规模服务组合时都存在着效率不高等问题。本文提出一种
降低产品成本,追求经济效益的最大化是企业追求的目标.ERP作为一种先进的、能适应现代竞争环境管理哲理和管理的方法论,使企业的管理观念和管理水平迈进了一个新的时代.对ERP
大力实施节能减排,不仅是江西有色工业当前健康发展的迫切需要,而且是做大做强、实现可持续跨越式发展的战略任务。我们认为,应从以下5个方面加大力度。
Vigorously impleme
英国MQP有限公司研究开发出来一种铝熔炉铝水存留和流出量的测量新技术,称为BatchPilot技术。BatchPilot技术原理基于测量熔炉主缸倾斜时产生的液压压力变化,该技术的一个主
企业就像在商海中航行的一艘船,如果要到达成功的彼岸,最重要的是认定航行的方向。“战略”这一军事上的概念正在被广泛套用到企业经营管理的各个层面,经常用到的有企业战略
服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效
商品市场牛市依旧受全球通货膨胀压力不断增加的影响,投机性资金大量涌入商品市场,推动商品价格持续上涨。目前通货膨胀已经成为了全球各国的共同大敌,粮食和能源价格的强劲
服务计算和云计算的快速发展使得基于Web服务重用的随需应变的分布式应用系统开发方式得到迅速普及。而随着Web服务的迅速增加，网络上分布着大量功能相同、非功能特性各异的服
综述了铜合金表面处理方法的研究现状,主要介绍了电镀、化学镀、热喷涂、化学气相沉积、堆焊、铸渗法、氧化膜、金属着色及溶胶-凝胶等表面涂覆技术及渗硼、多元共渗、等离子
服务匹配是服务发现的重要步骤之一，服务匹配算法是实现这一步骤的核心技术。针对查询完全率和查询准确率没有量化指标及服务匹配效率不高的问题，本文首先给出了查询完全率和查