Execution Semantics for Service Choreographies-Reference-Cited by-同舟云学术

Execution Semantics for Service Choreographies

Published:2006 Issue: Volume: Page:163-177
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Decker Gero,Zaha Johannes Maria,Dumas Marlon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11841197_11.pdf

Reference15 articles.

1. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, version 1.1 (May 2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel

2. Arkin, A., et al.: Web Service Choreography Interface (WSCI) 1.0 (2002), www.w3.org/TR/wsci/

3. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: Proceedings of 1st International Workshop on Web Services and Formal Methods, Pisa, Italy, February 2004. Elsevier, Amsterdam (2004)

4. Lecture Notes in Computer Science;N. Busi,2006

5. Clark, J., Casanave, C., Kanaskie, K., Harvey, B., Smith, N., Yunker, J., Riemer, K. (eds.): ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS Specification (May 2001), http://www.ebxml.org/specs/ebBPSS.pdf

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

1. Execution Semantics for Process Choreographies with Data;Lecture Notes in Business Information Processing;2023

2. ChIP: A Choreographic Integration Process;Lecture Notes in Computer Science;2018

3. Cooperative runtime monitoring;Enterprise Information Systems;2013-11

4. Business Process Architectures with Multiplicities: Transformation and Correctness;Lecture Notes in Computer Science;2013

5. Business Process Architecture: Use and Correctness;Lecture Notes in Computer Science;2012