基于OPN的环境约束下Web服务组合正确性分析

摘要：

为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模.通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性.

关键词：开放Petri网、环境约束、Web服务组合、合理性、正确性

所属期刊栏目：33

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金项目60873144、60973050、61073102、61170059;安徽省高校省级自然科学基金重点项目KJ2011A086、KJ2010B310、KJ2009A50

在线出版日期：2012-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1437-1441