2013 | OriginalPaper | Buchkapitel
VerChor: A Framework for Verifying Choreographies
verfasst von : Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
Erschienen in: Fundamental Approaches to Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.