独立全局约束的Web服务组合模型的验证与分析  

Analysis and Verification of Independent Global Constraints for Web Service Composition Model

作　　者：冯英华[1] 

机构地区：[1]淮南联合大学基础部,安徽淮南232038

出　　处：《长沙大学学报》2013年第2期51-53,共3页Journal of Changsha University

基　　金：安徽省高校省级自然科学基金(批准号:KJ2013Z293)资助项目

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

关 键 词：WEB服务组合 验证与分析 库所 正确性 可靠性 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]