2013 | OriginalPaper | Chapter
VerChor: A Framework for Verifying Choreographies
Authors : Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
Published in: Fundamental Approaches to Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.