本文已被：浏览 1690次 下载 3319次
Received:January 09, 2012 Revised:February 23, 2012
Received:January 09, 2012 Revised:February 23, 2012
中文摘要: Web服务组合技术能快速、灵活的满足复杂多变的业务需求, Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向. 给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述, 主要描述了4种组合结构: 顺序、选择、并发和循环. 给出了一个颜色Petri网建模Web服务组合的实例, 并且对模型进行了简单的正确性分析. 分析结果表明, 该建模方法满足正确性要求.
中文关键词: Web服务组合 颜色Petri网(CPN) 建模 验证
Abstract:Using web service composition technology, business demand can be meet quickly and flexibly, formal description and verification of web services and their composition are very important research issues. A colored Petri net(CPN) based model is proposed to formally define and descript Web services and Web services composition, four structures of composition are mainly descript: sequence, choice, concurrent and loop, an example of web services composition modeled by Colored Petri net is proposed, the accuracy of the model is simply analyzed. The result shows that the demand of accuracy of the model is satisfied.
keywords: web services colored petri net (CPN) model verification
文章编号： 中图分类号： 文献标志码：
基金项目:
引用文本：
余晓,吴剑章,王巍.基于颜色Petri网的服务组合建模与验证.计算机系统应用,2012,21(9):108-112,63
YU Xiao,WU Jian-Zhang,WANG Wei.Colored Petri Net-Based Service Composition Modeling and Verification.COMPUTER SYSTEMS APPLICATIONS,2012,21(9):108-112,63
余晓,吴剑章,王巍.基于颜色Petri网的服务组合建模与验证.计算机系统应用,2012,21(9):108-112,63
YU Xiao,WU Jian-Zhang,WANG Wei.Colored Petri Net-Based Service Composition Modeling and Verification.COMPUTER SYSTEMS APPLICATIONS,2012,21(9):108-112,63
