免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
浅谈基于Petri网的Web服务组合建模与验证
作者:丁冲冲 李婷婷  时间:2014/8/12 17:49:00  来源:论文天下论文网

  摘要:该文首先提出了基于Petri网的Web服务组合建模方法,对服务组合进行形式化建模,然后采用可达树作为分析工具,对服务组合模型的可达性,活性,有界性等特性进行验证分析。最后通过一个具体的实例说明此方法的应用。


  关键词:Web服务;Petri网;可达树;Web服务组合;验证


  中图分类号:TP311 文献标识码:A 文章编号:1009-3044(2014)15-3509-03


  Web Services Composition Modeling and Verification Based on Petri Net
  DING Chong-chong, LI Ting-ting
  (College of Information Engineering, Nanjing University of Finance and Economics, Nanjing 210046, China)
  Abstract: This paper first puts forward Web services composition modeling method based on Petri net. The formal modeling for Web services composition is also the article research content. Then the paper uses the reachability tree as the analytical tool to analyse and verify the features of services composition model, such as accessibility, activity and boundedness. Finally, the article uses a specific example to illustrate the application of this method.
  Key words: Web services; Petri net; reachability tree; Web services composition; verification
  基于Petri网的形式化建模方法是Web服务组合建模的一种重要的手段。Petri网是一种基于状态的建模方法,具有直观的图形表示,形式化语义定义,丰富的分析技术等优点。同时,由于Web服务的独立性和自治性,通过多个Web服务组合完成的业务流程的正确性难以保证,因此必须要对服务组合进行验证。基于Petri网的许多优点,该文利用可达树作为分析工具,对服务组合模型的可达性,活性,有界性等特性进行验证分析,进而验证服务组合模型的正确性。
  1 基于Petri网的Web服务组合
  1.1 Petri网的定义
  2) T为变迁结点集合,代表引起系统状态改变的事件。
  3) W为库所结点和变迁结点之间的有向弧集合,即流关系。
  4) M0 为PN的初始标识。
  5) i为输入库所,即i=φ。
  6) o为输出库所,即o=φ。
  1.2 Web服务组合的Petri网模型
  由于Web服务在行为上是操作的偏序集,所以可以直接将Web服务映射到Petri网上。
  服务的操作对应于变迁元素,服务的状态对应于库所,其中,Web服务的状态有五种,分别为“未实例化”、“就绪”、“执行”、“暂停”、“完成”。操作与状态之间的因果关系则作为变迁与库所之间的流关系。基于Petri网,Web服务被定义为一个六元组,S=(Id,SName,SDesc,URL,CS,PN),其中:
  1) Id为Web服务的唯一标识。
  2) SName为Web服务的名称。
  3) SDesc为Web服务的描述。
  4) URL为服务的调用地址。
  6) PN为Web服务的Petri网。
  1.3 服务的组合结构
  Web服务组合的组件由原子服务和合成操作组合而成。其中,此处原子服务可能是基本服务,也可能是组合服务。基本的组合操作有顺序,选择,循环,并行,调用这五种类型,这些组合操作可以由基本服务组合而成,其他更复杂的服务组合操作可以由这些基本的组合结构组合而成。基本服务的Petri网结构如下,其中i,o分别表示服务的输入和输出库所,s表示服务的操作。
  给Web服务建模以后,接下来就可以应用Petri网的分析方法来进行验证分析。
  2 Web服务组合的验证
  Petri网提供了许多强大的分析工具,如可达树分析、可达图分析、马尔可夫分析、关联矩阵与状态方程、Petri网语言等。其中,可达树是用来描述所有从初始状态开始的可达状态。在可达树中,M0代表树的根结点,叶子结点代表系统的最终状态,弧代表相关的转换。从根结点到一个确定的结点的路径代表一个可执行的序列。该文采用可达树作为分析工具。通过对Petri网的性质进行验证,可以验证组合服务的正确性。具体的可达树构造算法这里不再列出,详见文献[7]。Petri网的主要性质有:
  3 Web服务组合的验证实例分析
  某公司员工要到外地出差,由于目的地距离公司所在地较远,该员工打算乘坐高铁或者飞机去往目的地。首先该员工要通过火车票查由上述分析可知,该服务组合模型是合理的,满足正确性的要求。
  4 结束语
  本文提出了一种基于Petri网对组合服务进行建模的方法,给出了Web服务的形式化定义,并给出了图形化表示,最后结合具体的实例来进行建模分析,并采用可达树作为分析工具来验证组合服务的正确性。Petri网提供了一种有效的手段去模拟、分析和验证Web服务组合,然而,在建立许多大型、复杂的系统模型时,Petri网也表现出了一些明显的不足。 所以,如何在建立复杂Petri网模型时,尽量降低其复杂度是接下来的主要研究工作。

 3000万硕士、博士、期刊论文全文下载  论文发表:快速、低价、优质
提供60万硕士论文、10万博士论文、2700万期刊论文全文下载服务,助您一臂之力! 十年的论文发表经验,快捷的论文发表服务,保证所发表的杂志均为正规合法的期刊,收费同行最低!
[本文关键字] Web服务 Petri网 可达树 Web服务组合 验证
[版权说明]《浅谈基于Petri网的Web服务组合建模与验证》论文版权属于作者本人,您可以参考本论文进行论文创作,但不得抄袭、复制!本站免费论文主要来源于用户投稿(投稿网址),如果涉及到侵权问题,请联系lunwentianxia_card@163.com删除。
  Web服务论文  
·基于SOAP的Web服务攻击及防范
·论利用ebXML和SOAP开发Web服务
·浅谈联合身份管理在移动服务中的应用
·浅谈SOA环境下数字教育资源协同共享框架及实现研究
 
  推荐期刊投稿
·中国畜牧兽医文摘
·云南师范大学学报(自然科学版)
·控制与决策
·粉末冶金技术
·当代经济
·纺织器材
·课程教材教学研究(小教研究)
·科教文汇(上旬刊)
·大理学院学报
·广州化学
 
·中学生天地(A版)
·水利与建筑工程学报
·森林公安
·现代交际
·南方国土资源
·河北农业科技
·气象与环境科学
·广西农村经济
·中学数学
·液压与气动
 
·经济与社会发展
·石油化工腐蚀与防护
·当代建设
·地质论评
·江西有色金属
·现代中医药
·江西饲料
·中国进出境动植检
·数理化学习(初中版)
·安徽大学学报(哲学社会科学版)
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号
8.691406E-02