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

【Abstract】 To realize the correctness of the web service composition under the environment constraint,the first concept of web environment domain and web service domain,and modeling based on open petri net(OPN) is presented.And interactive behavior between the web environmental model and the web service composition model is analyzed.Then,the composition’s precondition and the determination algorithm of composition correctness are proposed,in order to realize the correctness analyzing of the web service composition under the environment constraint.Finally,the method’s validity is analyzed through the concrete example.更多还原