VerChor: A Framework for Verifying Choreographies
Nowadays, modern applications are often constructed by reusing and assembling distributed and collaborating entities, e.g., software components, Web services, or Software as a Service in cloud computing environments. In order to facilitate the integration of independently developed components (i.e., peers) that may reside in different organizations, it is necessary to provide a global contract to which the peers participating in a service composition should adhere. Such a contract is called choreography, and specifies interactions among a set of services from a global point of view.
KeywordsService Composition Service Selection Equivalence Check Cloud Computing Environment Global Point
- 1.Basu, S., Bultan, T., Ouederni, M.: Deciding Choreography Realizability. In: Proc. of POPL 2012 (2012)Google Scholar
- 3.Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In: Proc. of ICSE 2006 (2006)Google Scholar
- 5.Poizat, P., Salaün, G.: Checking the Realizability of BPMN 2.0 Choreographies. In: Proc. of SAC 2012 (2012)Google Scholar
- 6.Salaün, G., Bultan, T., Roohi, N.: Realizability of Choreographies Using Process Algebra Encodings. IEEE T. Services Computing 5(3) (2012)Google Scholar