基于流演算的语义Web服务组合研究

The Research on Semantic Web Services Composition Based on Fluent Calculus

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述;然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则;再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.

According to not considering the dynamics of the Internet environment and randomness of Web service during the existing semantic Web service composition methods,the theory of fluent calculus is proposed to research the semantic Web services composition.First of all,the Web service input,output,precondition and result and so on are mapped for the action formalization description based on fluent calculus.Then the rules are defined from the atomic processes and composite processes of OWL-S to fluent calculus.Then,a combined sequence of Web service is derived by formally reasoning with compositing Web services as the goal.So the correct and effective service composition schemes are dynamically formed.Finally,a session arrangement example is applied to validate the above theory.Result shows that it is feasible.