Choreography and Orchestration Conformance for System Design
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 63-81
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Reasoning About Interaction Patterns in ChoreographyLecture Notes in Computer Science, 2005
- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step2005
- Choreography and Orchestration: A Synergic Approach for System Design2005
- Automatic Conformance Testing of Web Services2005
- On the Correspondence Between Conformance Testing and Regular InferenceLecture Notes in Computer Science, 2005
- SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACHInternational Journal of Cooperative Information Systems, 2004
- Formal verification of parallel programsCommunications of the ACM, 1976