论文部分内容阅读
Web服务组合使得开发人员可以快速地创建自己的应用程序．但是，随着Internet上可用的Web服务数目的增加，Web服务组合是一项高度复杂的任务．针对语义Web服务的自动组合问题，提出了一种既考虑服务输入腧出又考虑服务行为约束的自动组合方法．首先，注册服务被转化为一组Horn子句形规则，用户的输入和输出请求分别被转化为Horn子句中的事实和目标，从而将寻找满足用户输入／输出请求的合成服务问题转化为Horn子句的逻辑推理问题；然后,用Petri网来为该Horn子句集建模，T-不变量技术被用来判定是否存在满