基于petri网的语义web服务自动组合方法

web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着internet上可用的web服务数目的增加,web服务组合是一项高度复杂的任务.针对语义web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组horn子句形规则,用户的输入和输出请求分别被转化为horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为horn子句的逻辑推理问题;然后,用petri网来为该horn子句集建模,t-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的petri网模型.