基于颜色Petri网的服务组合建模与验证

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户：stupid199001

【摘要】

：

Web服务组合技术能快速、灵活的满足复杂多变的业务需求，Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向．给出了一个基于颜色Petri网（CPN）的Web服务和

【作者】

：

余晓吴剑章王巍

【机构】

：

东南大学继续教育学院,东南大学计算机科学与工程学院

【出处】

：

计算机系统应用

【发表日期】

：

2012年9期

【关键词】

：

WEB服务组合颜色Petri网(CPN) 建模验证 web services colored petri net （CPN） model verifi

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Web服务组合技术能快速、灵活的满足复杂多变的业务需求，Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向．给出了一个基于颜色Petri网（CPN）的Web服务和Web服务组合的形式化定义和描述，主要描述了4种组合结构：顺序、选择、并发和循环．给出了一个颜色Petri网建模Web服务组合的实例，’并且对模型进行了简单的正确性分析．分析结果表明，该建模方法满足正确性要求．

其他文献

原发性慢性胰腺炎的外科治疗

期刊

原发性慢性胰腺炎外科手术胰管空肠侧吻合

肺动脉瓣狭窄球囊瓣膜成形术的治疗效果

期刊

肺动脉瓣狭窄球囊成形术

元搜索引擎在油田领域信息分布式搜索的应用

当前大型集中式企业搜索引擎面临规模扩展、数据更新快速和用户需求专业化、多样化等一系列挑战。因此,在整个油田内建立一个高效、高质量的分布式搜索引擎体系架构,并保证不

期刊