A Formal Framework For Multi-Party Business Protocols (Revision of CentER DP 2008-79)

M. Mancioppi
Additional contact information
M. Mancioppi: Tilburg University, Center for Economic Research

No 2009-05, Discussion Paper from Tilburg University, Center for Economic Research

Abstract: 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 “deadlocksâ€).

JEL-codes: Y90 (search for similar items in EconPapers)
Date: 2009
View list of references

Downloads: (external link)
http://arno.uvt.nl/show.cgi?fid=90331 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: http://EconPapers.repec.org/RePEc:dgr:kubcen:200905

Access Statistics for this paper

More papers in Discussion Paper from Tilburg University, Center for Economic Research
Series data maintained by Corry Stuyts ().