Reasoning About Interaction Patterns in Choreography-Reference-Cited by-同舟云学术

Reasoning About Interaction Patterns in Choreography

Published:2005 Issue: Volume: Page:333-348
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Gorrieri Roberto,Guidi Claudio,Lucchi Roberto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11549970_24.pdf

Reference10 articles.

1. Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e-commerce systems formalization with choreography languages. In: SAC, pp. 831–835 (2005)

2. ENTCS;A. Brogi,2004

3. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005), IEEE Computer Society Press, Los Alamitos (2005) (to appear)

4. Leymann, F.: Web Services Flow Language (WSFL 1.0) ]Member IBM Academy of Technology, IBM Software Group (2001), http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf

5. Microsoft, I.B.M., Siebel Systems, B.: Business Process Execution Language for Web Services Version 1.1, http://www-106.ibm.com/developerworks/library/ws-bpel/

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

1. Analysing Time-Related Properties of Service-Oriented Systems;Handbook of Research on Service-Oriented Systems and Non-Functional Properties;2012

2. Semantics for Smart Services;The Science of Service Systems;2011

3. Web services choreography validation;Service Oriented Computing and Applications;2010-11-25

4. Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM;Electronic Notes in Theoretical Computer Science;2009-07

5. Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition;On the Move to Meaningful Internet Systems: OTM 2008;2008