A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Realizability of Choreographies Using Process Algebra Encodings
2012
IEEE Transactions on Services Computing
Service-oriented computing has emerged as a new software development paradigm that enables implementation of Web accessible software systems that are composed of distributed services which interact with each other via exchanging messages. Modeling and analysis of interactions among services is a crucial problem in this domain. Interactions among a set of services that participate in a service composition can be described from a global point of view as a choreography. Choreographies can be
doi:10.1109/tsc.2011.9
fatcat:3trnoyeiive4hih2tyadkzup5q