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

采用动作时序逻辑的Web服务组合方法 被引量：2

Web Service Composition Approach Based on Temporal Logic of Action
在线阅读 下载PDF
导出
摘要 基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。 Based on the theory of finite state automata（FSA）,this paper models a Web service as an FSA.Firstly,it extends Web services description language（WSDL） for describing the behaviors of Web services,and proposes an algorithm for translating the extended WSDL to temporal logic of action（TLA） language;accordingly the behaviors of Web services can be described and normalized by using TLA,a new approach is provided to describe Web services in a formal way.Then,it discusses the composition way of FSA of each component service,and with the composition,how to compose such single service TLA specification to a composed service TLA specification,and on the basis of which,it proposes an algorithm to compose the TLA specifications correctly.
作者 周宁 刘慧 王红兵 谢俊元
机构地区 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系 东南大学计算机科学与工程学院
出处 《计算机科学与探索》 CSCD 2011年第3期208-220,共13页 Journal of Frontiers of Computer Science and Technology
基金 国家自然科学基金 国家教育部重点项目 江苏省科技支撑计划~~
关键词 网络服务组合 动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA) Web services composition temporal logic of action（TLA） Web services description language（WSD L） finite state automata（FSA）
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献23

  • 1Dong W L, Yu H, Zhang Y B. Testing BPEL-based Web service composition using high-level Petri nets[C]//Pro- ceedings of the 10th IEEE International Conference on Enterprise Distributed Object Computing (EDOC'06), Oct 2006: 441-444.
  • 2Milanovic N, Malek M composition[J]. IEEE 51-59. Current solutions for Web service Internet Computing, 2004, 8(6).
  • 3Papazoglou M P, Heuvel W-J. Service oriented architec- tures: Approaches, technologies and research issues[J]. The International Journal on Very Large Data Bases, 2007 16(3): 389-415.
  • 4Christensen E, Curbera F, Meredith G, et al. Web services description language (WSDL) 1.1, W3C note 15[EB/OL]. (2001-03). http://www.w3.org/TR/wsdl.
  • 5Arkin A, Askary S, Fordin S, et al. Web service choreog- raphy interface (WSCI) 1.0,W3C document[EB/OL]. (2001-05). http://www.w3.org/TR/wsci/.
  • 6Web service choreography interface version 1.O[EB/OL] http://www.sun.com/software/xml/developers/wsci/wsci- spec- 10.pdf.
  • 7Leyman F. Web services flow language (WSFL version 1.0), IBM document[EB/OL]. (2001-05). http://www-306 ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
  • 8Thatte S. XLANG: Web services for business process de- sign, Microsoft document[EB/OL]. (2001). http://www gotdotnet.com/team/xml_wsspecs/xlang-c/default.html.
  • 9Andrews T, Curbera F, Dholakia H, et al. Business proc ess executl IBM docu developerw on language for Web ment[EB/OL]. (2003) orks/library/ws-bpel/. services (version 1.1) http://www.ibm.com/.developerwoeks/library/ws-bpel/.
  • 10Berardi D, Rosa F D, Santis L D, et al. Finite state automata as conceptual model for services[J]. Integrated De-sign and Process Technology, 2004, 8(2): 105-121.

同被引文献29

  • 1张广泉,狄浩军,石慧娟,晏荣杰,朱雪阳.基于扩展自动机的服务组合静态与动态验证方法[J].通信学报,2012,33(S1):1-8. 被引量：3
  • 2Leslie Lamport. Specifying Systems[M].Addison - Wesley：Longman Publishing Co.,Inc,2002.
  • 3Leslie Lamport. The Temporal Logic of Actions[J].ACM Transon Programming Languages and System,1994,(03):872-923.
  • 4Fux,Bultant,Suj. Analysis of interacting BPELW services[A].New York,USA,2004.621-630.
  • 5Clarke,Burch,Jerry R. Symbolic model checking for sequential circuit verification[J].IEEE transactions on Computer - Aided Design of Integrated Circuits and Systems,1994,(04):401-424.
  • 6Xiao chuan Yi,Kochut KJ. ACP-net based design and verification framework for Web Services[A].{H}IEEE,2004.756-760.
  • 7Yanping Yang,Qing Ping Tan. Verifying Web Services composition based on hierarchical colored Petrinets[A].{H}New York:ACM Press,2005.47-54.
  • 8Yanping Yang,Qing Ping Tan. Transformation BPEL to CP-nets for verifying Web Services composition[A].{H}IEEE,2005.137-143.
  • 9Chun Ouyang,Eric Verbeek,Wil MP. vander Aalst. Formalse mantics and analysis of control flow in WS-BPEL[OL].http://is.tm.tue.nl/staff/wvdaalst/BPMcenter/reports/2005/BPM-05-15.pdf,.
  • 10Salaun C,Bordeaul L,Schaerf M. Describing and reasoning on Web services using process algebra[A].San Diego,USA,2004.43-50.

引证文献2

计算机科学与探索
2011年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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