2006 | OriginalPaper | Buchkapitel
Towards a Unifying Theory for Web Services Composition
verfasst von : Manuel Mazzara, Ivan Lanese
Erschienen in: Web Services and Formal Methods
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
Recently the term
orchestration
has been introduced to address composition and coordination of
web services
. Several languages used to describe business processes using this approach have been presented, and most of them use the concepts of
long-running transactions
and
compensations
to cope with error handling. WS-BPEL, which is currently the most used orchestration language, also provides a Recovery Framework. However its complexity hinders rigorous treatment. In this paper, we address the notion of orchestration from a formal point of view with particular attention to transactions and compensations. In particular, we introduce
web
π
∞
, an untimed version of
web
π
, and the related theory, as a foundational unifying framework for orchestration able to meet composition requirements and to encode the whole BPEL itself.