In this paper we present a formal model to represent orchestrations and choreographies, and we provide some semantic relations to detect their conformance, i.e., whether a set of orchestrations representing some web services leads to the overall communications described in a choreography. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Díaz, G., & Rodríguez, I. (2009). Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5522 LNCS, pp. 231–236). https://doi.org/10.1007/978-3-642-02138-1_17
Mendeley helps you to discover research relevant for your work.