A Formal Framework for Multi-Party Business Protocols

CentER Discussion Paper Series No. 2009-05 (Revision of 2008-79)

39 Pages Posted: 24 Sep 2008 Last revised: 16 Jan 2009

See all articles by Michele Mancioppi

Michele Mancioppi

Tilburg University - Center for Economic Research (CentER)

Date Written: January 13, 2009

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'').

Keywords: service oriented architecture, message exchange patterns business protocols, orchestrations, choreographies, soundness

JEL Classification: Y90

Suggested Citation

Mancioppi, Michele, A Formal Framework for Multi-Party Business Protocols (January 13, 2009). CentER Discussion Paper Series No. 2009-05 (Revision of 2008-79), Available at SSRN: https://ssrn.com/abstract=1272903 or http://dx.doi.org/10.2139/ssrn.1272903

Michele Mancioppi (Contact Author)

Tilburg University - Center for Economic Research (CentER) ( email )

P.O. Box 90153
Tilburg, 5000 LE
Netherlands

Do you have a job opening that you would like to promote on SSRN?

Paper statistics

Downloads
46
Abstract Views
684
PlumX Metrics