| 独立全局约束的Web服务组合模型的验证与分析 |
| |
| 引用本文： | 冯英华.独立全局约束的Web服务组合模型的验证与分析[J].长沙大学学报,2013,27(2):51-53. |
| |
| 作者姓名： | 冯英华 |
| |
| 作者单位： | 淮南联合大学基础部,安徽淮南,232038 |
| |
| 基金项目： | 安徽省高校省级自然科学基金 |
| |
| 摘 要： | 利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证.首先根据该模型中约束条件的特点,对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性.然后通过构造服务组合的可靠性验证图来检验模型的可靠性,最后通过一个实例分析了具体的验证过程,并说明该方法是可行的.
|
| 关 键 词： | Web服务组合 验证与分析 库所 正确性 可靠性 |
Analysis and Verification of Independent Global Constraints for Web Service Composition Model |
| |
| FENG Yinghua.Analysis and Verification of Independent Global Constraints for Web Service Composition Model[J].Journal of Changsha University,2013,27(2):51-53. |
| |
| Authors: | FENG Yinghua |
| |
| Institution: | FENG Yinghua ( Department of Basic Courses, Huainan Union University, Huainan Anhui 232038, China) |
| |
| 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. |
| |
| Keywords: | Web service composition verification and analysis place correctness reliability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
