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