当前位置:主页 > 管理论文 > 移动网络论文 >

Web服务组合的Petri网自动生成方法

发布时间:2018-04-09 08:15

  本文选题:Web服务 切入点:Petri网 出处:《小型微型计算机系统》2013年02期


【摘要】:针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(OntologyWeb Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.
[Abstract]:Aiming at the application of Petri net theory and method in service computing, from the point of view of Web service execution, based on the definition of Petri net of Web service composition, an automatic generation method of Web service composition Petri net is presented.Firstly, the Petri net description of Web service is described. By using the ontology of the input and output elements of the Web service, the PNML(Petri net Markup language (OWL(OntologyWeb language) description of the Petri net of the Web service is obtained by adding semantic tags to the elements of the corresponding library in the Petri net.The PNML part describes the network structure of the Petri net and the semantic markup of the elements of each library in the Petri net. Furthermore, on the basis of obtaining the input / output correlation elements among the sub-#en4# services in the Web service composition,The fusible library stations between the Petri nets of each sub-#en0# service are determined. By performing the fusion operation of the libraries between the Web services, the Petri nets of each sub-#en2# service are merged to obtain the Petri net of the Web service composition.It provides a prerequisite for the practical application of Petri net theory and method in service computing.
【作者单位】: 山东省网络环境智能计算技术重点实验室;济南大学信息科学与工程学院;
【基金】:国家自然科学基金项目(60903099)资助 山东省优秀中青年科学家奖励基金项目(BS2009DX012)资助 山东省高等学校科技计划项目(J09LG14)资助
【分类号】:TP393.09;TP301.1

【参考文献】

相关期刊论文 前3条

1 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期

2 范贵生;虞慧群;陈丽琼;刘冬梅;;基于Petri网的服务组合故障诊断与处理[J];软件学报;2010年02期

3 杜彦华;范玉顺;李喜彤;;基于模块化可达图的服务组合验证及BPEL代码生成[J];软件学报;2010年08期

【共引文献】

相关期刊论文 前10条

1 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期

2 吴红娟;;基于自愈型独立性服务组合模型的设计与实现[J];成都信息工程学院学报;2009年01期

3 周宇;张鹏程;李必信;;一种Web服务组合的数学模型[J];东南大学学报(自然科学版);2007年04期

4 夏妍;;基于扩展颜色Petri网的Web服务组合建模及应用[J];电脑知识与技术;2011年21期

5 王勇;代桂平;侯亚荣;方娟;任兴田;;基于并发事务逻辑的Web服务编制验证[J];电子学报;2009年10期

6 张正明;马炳先;相东明;;基于Petri网的Web服务注册方法的研究与实现[J];电信科学;2012年11期

7 程永上;王志坚;;Web服务组合在水利领域中的应用[J];计算机工程与应用;2008年07期

8 程永上;王志坚;;语义Web服务组合的形式化描述与验证研究[J];计算机科学;2008年04期

9 张昭理;洪帆;;一个基于有色Petri网的自动Web服务合成模型[J];计算机科学;2008年06期

10 高e,

本文编号:1725599


资料下载
论文发表

本文链接:https://www.wllwen.com/guanlilunwen/ydhl/1725599.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户f9ac3***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com