###
DOI:
计算机系统应用英文版:2012,21(9):108-112,63
本文二维码信息
码上扫一扫!
基于颜色Petri网的服务组合建模与验证
(1.东南大学 继续教育学院, 南京 210096;2.东南大学 计算机科学与工程学院, 南京 210096)
Colored Petri Net-Based Service Composition Modeling and Verification
(1.School of Continuing Education, Southeast University, Nanjing 210096, China;2.School of Computer Science &3.Engineer, Southeast University, Nanjing 210096, China)
摘要
图/表
参考文献
相似文献
本文已被:浏览 950次   下载 1993
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
引用文本:
余晓,吴剑章,王巍.基于颜色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