Formal Verification of BPEL4WS Business Collaborations-Reference-Cited by-同舟云学术

Formal Verification of BPEL4WS Business Collaborations

Published:2004 Issue: Volume: Page:76-85
ISSN:0302-9743
Container-title:E-Commerce and Web Technologies
language:
Short-container-title:

Author:

Fisteus Jesús Arias,Fernández Luis Sánchez,Kloos Carlos Delgado

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30077-9_8.pdf

Reference11 articles.

1. Jae-yoon Jung, W.H., Kang, S.H.: Business Process Choreography for B2B Collaboration. IEEE Internet Computing 8, 37–45 (2004)

2. Aissi, S., Malu, P., Srinivasan, K.: E-business process modeling: the next big step. IEEE Computer 35, 55–62 (2002)

3. Andrews, T., Curbera, F., Dholakia, H., et al.: Business Process Execution Language for Web Services. Version 1.1 Specification (2003), Available at http://www-106.ibm.com/developerworks/webservices/library/ws-bpel

4. Arkin, A.: Business Process Modelling Language. Business Process Management Initiative (2002)

5. ebXML Business Process Team: ebXML Business Process Specification Schema. Version 1.01 (2001), Available at http://www.ebxml.org/specs/ebBPSS.pdf

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes;International Journal of Information System Modeling and Design;2018-04

2. A Petri Net Solution to Protocol-Level Mismatches in Service Composition;Contemporary Issues in Systems Science and Engineering;2015-04-07

3. FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION;Verification of Communication Protocols in Web Services;2013-10-18

4. INTRODUCTION;Verification of Communication Protocols in Web Services;2013-10-18

5. Recovery within long-running transactions;ACM Computing Surveys;2013-06