基于有色Petri网和分类服务的Web服务组合模型  

Web services composition model based on colored Petri net and classified services

作　　者：黄小庆[1] 夏安邦[1] 

机构地区：[1]东南大学电气工程学院,江苏南京210096

出　　处：《计算机集成制造系统》2009年第1期53-62,共10页Computer Integrated Manufacturing Systems

摘　　要：为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模。在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法。最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型。To integrate massive N-tier legacy system and improve the reusability and generality of service modeling, a combinatorial modeling method was proposed, which classified service-oriented Web resources and applied Colored Petri Net （CPN） to study classification service. With this method, service object, resources, status and the data information were discussed as basic elements of service representation. To express the impact of the external incidents, the control base locations were introduced. Then, the eompositive service construction algorithm based on basic service and simplification rules was constructed. And, the analysis and verification methods were also defined. Finally, a CPN model based on classification services for power network fault diagnosis was constructed and verified with CPN Tools.

关 键 词：WEB服务 PETRI网 服务组合 有色PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]