从BPMN模型导出组合服务的代数规约

发布时间：2018-03-11 00:22

  本文选题：代数规约　切入点：组合服务　出处：《计算机工程与科学》2013年02期 　论文类型：期刊论文

【摘要】：针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。
[Abstract]:In order to solve the problem of specification generation of BPEL services when BPEL is used to represent composite services automatically, an algebraic specification language CASOCC-WS is proposed to derive composition Web services defined by BPEL specification from BPMN model. Firstly, an algebraic specification language CASOCC-WS is proposed. The rules of transforming from BPMN model to keynote and from BPMN structure to regular expression are defined, and the algorithm for deriving the term of axiom from regular expression is designed, and then the heuristic rule is proposed to manually write axioms according to the term. Finally, a tool prototype is implemented to derive the tone of composite services from the BPMN model. A case study shows that this method can solve the algebraic specification generation problem of BPEL services.
【作者单位】： 中南林业科技大学涉外学院;国防科学技术大学计算机学院;
【基金】：湖南省教育厅高校教学改革项目(2010-428)
【分类号】：TP393.09

【参考文献】

相关期刊论文 前1条

1 余波;孔良;彭琛;;基于代数规约的Web服务测试[J];计算机工程;2009年21期

【共引文献】

相关期刊论文 前3条

1 余波;王昆;;应用代数规约和数据变异策略测试类[J];计算机工程与应用;2011年21期

2 李锐;王三宏;范德全;蒋建春;;OSEK操作系统一致性测试用例的生成[J];计算机工程;2011年09期

3 余波;;面向代数规约测试谓词/变迁网[J];小型微型计算机系统;2011年09期

相关硕士学位论文 前1条

1 郝忠虎;基于正则表达式扩展的Web服务测试用例自动生成方法研究[D];华南理工大学;2012年

【相似文献】

相关期刊论文 前10条

1 陈彦萍;李增智;郭志胜;晋勤学;王创;;Web服务组合中基于服务质量的服务选择算法[J];西安交通大学学报;2006年08期

2 殷荣网;冒志建;;组合Web服务的研究现状综述[J];网络与信息;2007年07期

3 艾未华;周宁;黄云仙;;一种基于语义的组合服务模板推荐算法[J];解放军理工大学学报(自然科学版);2008年06期

4 张志民;陈昊鹏;;一种综合评估QoS的算法研究[J];计算机应用与软件;2008年12期

5 代钰;杨雷;朱志良;张斌;;避免无用重选取的QoS劣化阈值模型及计算[J];东北大学学报(自然科学版);2009年10期

6 熊云昆;孙海龙;曾晋;;支持组合服务QoS动态优化的服务总线[J];计算机科学与探索;2010年04期

7 蒋俊彦;李先贤;李建欣;吴茜;;SOArTester4RT:一种面向组合服务演化的高效回归测试工具[J];微电子学与计算机;2010年08期

8 武云鹏;包卫东;张维明;黄金才;;Web服务组合系统研究综述[J];计算机科学;2011年09期

9 代钰;杨雷;张斌;高岩;;支持组合服务选取的QoS模型及优化求解[J];计算机学报;2006年07期

10 郝荣霞;王金才;朱志;;comFlow:一个支持Web服务动态组合的原型系统[J];计算机工程与设计;2007年05期

相关会议论文 前10条

1 袁阳;闫莺;岳昆;王晓玲;周傲英;;质量驱动的频繁组合服务选择[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

2 李飞;张斌;葛亮;孙若男;;面向组合服务自适应执行的环境感知引擎[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

3 蒋俊彦;李先贤;李建欣;吴茜;;SOArTester4RT:一种面向组合服务演化的高效回归测试工具[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年

4 张文涛;彭泳;陈俊亮;;会话类E-Service的接口兼容分析[A];2006年全国通信软件学术会议论文集[C];2006年

5 周伟;杨正球;;组合服务中QoS全局最优服务选择算法的改进[A];中国电子学会第十六届信息论学术年会论文集[C];2009年

6 刘青;连祥鉴;;基于上下文的Web服务动态组合[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年

7 张文涛;詹舒波;陈俊亮;;异步环境中的服务接口兼容分析[A];2006年首届ICT大会信息、知识、智能及其转换理论第一次高峰论坛会议论文集[C];2006年

8 仲晶;黄志球;;面向服务质量的Web服务选择方法：研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

9 马雅凡;王海洋;隋琪;;基于QoS的服务选择研究[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年

10 蒋玉婷;李必信;;基于变异思想测试OWL-S工作流[A];第六届中国测试学术会议论文集[C];2010年

相关重要报纸文章 前1条

1 李巍;构建下一代软件架构[N];中国计算机报;2004年

相关博士学位论文 前10条

1 张龙昌;面向复杂上下文的组合服务决策方法研究[D];北京邮电大学;2011年

2 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年

3 陈蕾蕾;SOA中服务质量建模、预测及保障[D];复旦大学;2012年

4 刘必欣;动态Web服务组合关键技术研究[D];国防科学技术大学;2005年

5 吴钊;保证服务质量的动态Web服务组合及其性能分析研究[D];武汉大学;2007年

6 叶力;Semantic Web Services的自动化组合技术[D];北京邮电大学;2008年

7 吴江霞;Web组合服务QoS属性预测方法研究[D];北京邮电大学;2008年

8 黄纬;上下文感知的普适服务组合研究[D];江苏大学;2008年

9 李飞;Web服务的分布式QoS管理及其关键技术研究[D];北京邮电大学;2008年

10 张艳梅;基于覆盖网络的服务组合关键技术研究[D];中国矿业大学（北京）;2010年

相关硕士学位论文 前10条

1 李飞;面向组合服务自适应的环境感知方法的研究与实现[D];东北大学;2010年

2 孙若男;面向组合服务自适应执行的服务选取方法[D];东北大学;2010年

3 汪检跃;面向服务环境的组合服务计费方法研究[D];浙江大学;2011年

4 张跃;基于可信度的组合服务自适应维护方法研究[D];辽宁大学;2011年

5 刘文昱;自适应组合服务执行调整机制的研究与实现[D];东北大学;2011年

6 张翔宇;支持多策略的组合服务运行时环境自适应机制研究[D];东北大学;2010年

7 柏越;环境自适应组合服务的执行环境可用性评价方法[D];东北大学;2010年

8 刘静;WEB组合服务框架优化模型的研究及其系统实现[D];中南大学;2011年

9 李正;面向SOA的组合服务自恢复技术研究[D];国防科学技术大学;2011年

10 潘迪宏;基于D-S证据理论的可信组合服务研究[D];中南大学;2012年

，

本文编号：1595756