A Formal Framework for Multi-Party Business Protocols
Tilburg University - Center for Economic Research (CentER)
January 13, 2009
CentER Discussion Paper Series No. 2009-05 (Revision of 2008-79)
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'').
Number of Pages in PDF File: 39
Keywords: service oriented architecture, message exchange patterns business protocols, orchestrations, choreographies, soundness
JEL Classification: Y90working papers series
Date posted: September 24, 2008 ; Last revised: January 16, 2009
© 2013 Social Science Electronic Publishing, Inc. All Rights Reserved.
This page was processed by apollo7 in 0.828 seconds