期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于规范流网的Web服务行为适配方法研究 被引量：1

Research on Web Service Behavior Adaptation Based on Regular Flow Nets
在线阅读 下载PDF
导出
摘要 Web服务适配是面向服务计算领域的重要研究内容。针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为,构造服务行为的符号化可覆盖树,构建数据依赖关系和动作依赖关系,构建符号化执行轨迹适配器,直至最后完成服务行为适配的整个建模和适配过程。 Web service adaptation is an important research focus in the field of service-oriented computing.Aiming at problems of service behavior formalization and adaptation in cyclic service behavior,data flow modeling and state space explosion,we proposed a new approach for service behavior formalization and adaptation.The whole process of how to formalize service behavior based on regular flow nets,how to construct symbolic coverability tree of service behavior,how to build data dependence and actions dependence relationships,how to generate symbolic execution trace adapters,till accomplishing service behavior adaptation was illustrated through examples in the paper.
作者 曹国荣 谭庆平 解金刚 吴浩
机构地区 国防科技大学计算机学院
出处 《计算机科学》 CSCD 北大核心 2012年第10期108-114,共7页 Computer Science
关键词 规范流网 服务适配 符号化可覆盖树 数据依赖 动作依赖 适配器 Regular flow net Service adaptation Symbolic coverability tree Data dependence Action dependence Adapter
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献18

  • 1Brogi A, Popescu R. Service Adaptation through Trace Inspec- tion [C] //Proc of Workshop on Service-Oriented Business Process Integration. 2005:44-58.
  • 2Brogi A, Popescu R. Automated Generation of BPEL Adapters [C] //Proc of 4th International Conference on Service Oriented Computing. 2006 : 27-39.
  • 3MassutheP, Wolf K. An Algorithm for Matching Nondeterminb stic Services with Operating Guidelines [J].International Jour- nal of Business Process Integration and Management, 2007, 2 (2) :81-90.
  • 4Massuthe P,Reisig W, Schmidt K. An Operating Guideline Ap- proach to the SOA[J]. Annals of Mathematics, Computing Teleinformatics, 2005,1 (3) : 35-43.
  • 5Schmidt K. Controllability of Open Workflow Nets [C]//Proc of Workshop on Enterprise Modelling and Information Systems Architecture. 2005 :236-249.
  • 6Lohmann N, Massuthe P, Wolf K. Operating Guidelines for Fi- nite-State Services [C] //Proc of 28th International Conference on Application and Theory of Petri nets. 2007:321-341.
  • 7Gierds C, Mooij A J, Wolf K. Specifying and Generating Beha- vioral Service Adapter based on Transformation Rules [R]. Universitfit Rostock. Germany, 2008.
  • 8Nezhad H R M, Benatallah B, Martens A, et al. Semi-Automated Adaptation of Service Interactions [C]//Proc of the 16th World Wide Web Conference. ACM Press, 2007 : 993-1002.
  • 9Braceiali A, Brogi A, Canal C. A Formal Approach to Compo- nent Adaptation [J]. Journal of Systems and Software, 2005,74 (1) : 45-54.
  • 10Brogi A, Canal C, Pimentel E. On the Semantics of Software Ada- ptation[J].Science of Computer Programming, 2006, 61 (2):136-151.

二级参考文献11

  • 1Tibco. TIB/In concert process designer user's guideTibco Software Inc, Palo Alto, CA, USA, 2000.
  • 2FileNET. Panagon eProcess designer 4.2.2. FileNET Corporation, Costa Mesa, CA, USA, 2002.
  • 3IBM. IBM MQSeries workflow-getting started with buildtime. IBM Deutschland Entwicklung GmbH, Boeblingen, Germany, 1999.
  • 4Eastman Software. RouteBuilder tool user's guide. Inc, Billerica, MA, USA, 1998.
  • 5Nielsen S P, Easthope C, Gosselink P, et al. Redbook SG24-5963-00 Using Lotus domino workflow 2.0 IS]. Pough- keepsie, USA, 2000.
  • 6van der Aalst W M P, ter Hofstede A H M. YAWL: Yet another workflow language[R]. Queensland University of Technology, 2002.
  • 7Rittgen E Modified EPCs and their formal semantics[R]. Institute of Information Systems, University of Koblenz- Landau, Koblenz, Germany, 1999.
  • 8Xie Jingang, Tan Qingping, Cao Guorong. Modeling and analyzing Web service behavior with regular flow nets [C]//Proceedings of the 2009 International Conference on Web Information Systems and Mining (WISMAICI 2009), Shanghai, China, 2009:309-319.
  • 9Wynn M T, Edmond D, van der Aalst W M P, et al. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets[C]//LNCS3536: Proceedings of the 26th International Conference on Applications and Theory of Petri Nets(ICATPN 2005), 2005: 423-443.
  • 10van der Aalst W M P, Desel J, Kindler E. On the Semantics of EPCs: A vicious circle[C]//Proceedings of the EPK 2002: Business Process Management using EPCs, Trier, Germany, 2002: 71-80.

共引文献1

同被引文献5

引证文献1

二级引证文献1

计算机科学
2012年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部