【摘要】 利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证.首先根据该模型中约束条件的特点,对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性.然后通过构造服务组合的可靠性验证图来检验模型的可靠性,最后通过一个实例分析了具体的验证过程,并说明该方法是可行的.更多还原

【Abstract】 The analysis method of Petri net is used to verify the correctness and reliability of independent global constraints for Web service composition model.Firstly,according to the feature of the constraint,after improving the fire rule of the transition t,the method of the reachable tree is used to verify the correctness.Then,the reliability of the model is verified by constructing a reliability verification figure.Finally,an example is given to analyze the specific process and the result shows that the method is feasible.更多还原