Published in:CentER Discussion Paper Series ; No. 2009-05 (Revision of 2008-79)
Extent:
1 Online-Ressource (39 p)
Language:
Without Specification
DOI:
10.2139/ssrn.1272903
Identifier:
Origination:
Footnote:
Nach Informationen von SSRN wurde die ursprüngliche Fassung des Dokuments January 13, 2009 erstellt
Description:
Enterprise-class information systems based on the principles of Service Oriented Architecture comprise large numbers of long-running, highly dynamic complex end-to-end service interactions, called conversations, based on message exchanges that typically transcend several organizations and span several geographical locations. Conversations in service-based systems can be described using business protocols that are formal notations specifying the timed message exchanges among participants in a conversation from a local point of view (orchestrations) or global (choreographies). In this work we introduce a formal framework based on Deterministic Finite Automata enriched with temporal constraints to describe multi-party business protocols. We also explore the notion of multi-party business protocol soundness and show how it is possible to execute a multi-party protocol consistently in a completely distributed manner and at the same time ensure the progression of the execution (i.e. no quot;deadlocks'')