A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Precise Steps for Choreography Modeling for SOA Validation and Verification
2008 IEEE International Symposium on Service-Oriented System Engineering
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, decoupled components that provide standard services can be composed to form individually configured and highly flexible applications. When building such applications it is important to have a formal specification of the interaction protocols between the composed services not only because such a specification provides andoi:10.1109/sose.2008.43 dblp:conf/sose/WieczorekRSC08 fatcat:isgsf4cayvbgfmxwapjo6lq4vm