期刊文献+

基于动作时序逻辑的Web服务组合

WEB SERVICE COMPOSITION BASED ON TEMPORAL LOGIC OF ACTIONS
下载PDF
导出
摘要 为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法。Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法。 In order to implement Web services composition more effectively,this paper proposes a Web services composition method based on TLA ( Temporal Logic of Actions) . Web services composition is similar to work flow in characteristics. Firstly,the relation between the Web services is described with TLA according to the basic control mode of work flow. Then,an automatic composition algorithm is proposed based on breadth-first search of graph,and the TLA model checker TLC is employed to check the correctness of the composition logic and whether or not there is the dead lock. At last the approach for converting current Web services platform BPEL4WS to TLA is given as well.
出处 《计算机应用与软件》 CSCD 2010年第12期142-144,173,共4页 Computer Applications and Software
关键词 动作时序逻辑 BPEL4WS WEB服务组合 Temporal logic of actions ( TLA) BPEL4WS( Business Process Execution Language for Web Services) Web service composition
  • 引文网络
  • 相关文献

参考文献7

  • 1Aitor Urbieta,Guillermo Barrutieta.A survey of dynamic service composition approaches for ambient systems[C]//Proceedings of the 2008 Ambi-Sys workshop,2008,2. 被引量:1
  • 2Lamport L.Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers[C]//Boston:Addision-Wesley,July 2002. 被引量:1
  • 3Hongbing Wang,Hui Liu,Chen Wang.A New Approach to Describe Web Services[J].International Conference on Web Intelligence,2007,70(3):568-571. 被引量:1
  • 4Ning Zhou,Hongbing Wang.Using TLA for Modeling and Analysis of Web services Composition[C]//First IEEE International Conference on Ubi-Media Computing,Lanzhou,2008:126-131. 被引量:1
  • 5Workflow Management Coalition.Workflow Handbook[M].Future Strategies Inc,2001,1. 被引量:1
  • 6Andrews T,Curbera F,Dholakia H,et al.Business Process Execution Language for Web Services (Version 1.1).IBM Document.2003.http://www.ibm.com/developerworks/library/ws-bpel/. 被引量:1
  • 7GU Xiwu LU Zhengding.A Formal Model for BPEL4WS Description of Web Service Composition[J].Wuhan University Journal of Natural Sciences,2006,11(5):1311-1319. 被引量:2

二级参考文献10

  • 1Andrews T,Curbera F,Dholakia H,et al.Business process execution language for web services version 1.1. http://www-128.ibm.com/developerworks/library/ws-bpel/ . 2003 被引量:1
  • 2Hamadi R,Benatallah B.A Petri-Net-Based Model for Web Service Composition[].Proceedings of the Fourteenth Australasian Database Conference on Database Technologies.2003 被引量:1
  • 3W M P Van der Aalst,A H M ter Hofstede.Verification of workflow task structures: a Petri-Net-based approach[].Information Systems.2000 被引量:1
  • 4Hoare CAR.Communicating Sequential Processes[].Communications of the ACM.1978 被引量:1
  • 5Foster H,Uchitel S,Magee J,et al.Model based verification of web service compositions[].Proceedings of the th IEEE International Conference on Automated Software Engineering (ASE’).2003 被引量:1
  • 6Wohed,P,van der,Aalst,W M P,Dumas,M. Pattern Based Analysis of BPEL4WS . 2004 被引量:1
  • 7Hoare,C A R. Communicating Sequential Processes . 2004 被引量:1
  • 8Roscoe,A W. The Theory and Practice of Concurrency . 1997 被引量:1
  • 9Lutfiyya,H,Mc,Millin,B,Arrowsmith,B. CCSP—A Formal System for Distributed Program Debugging . 1994 被引量:1
  • 10Leymann F.Web Services Flow Language (WSFL1. 0)[ EB/OL]. http: // www-306. ibm. com/ software/solutions/Webservices / pdf/WSFL. pdf . 2005 被引量:1

共引文献1

;
使用帮助 返回顶部