IEEE - Institute of Electrical and Electronics Engineers, Inc. - Local Enforceability and Inconsumable Messages in Choreography Models

2009 Fourth South-East European Workshop on Formal Methods. Formal Methods for Web Services, Formal Methods for Agent-Based Systems (SEEFM 2009)

Author(s): Vitaly Kozyura ; Andreas Roth ; Wei Wei
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Thessaloniki, Greece
Conference Date: 4 December 2009
Page(s): 10 - 16
ISBN (Electronic): 978-1-4244-5618-5
ISBN (Paper): 978-1-4244-5617-8
DOI: 10.1109/SEEFM.2009.12
Regular:

Choreography models describe the communication protocols between services. Every choreography model can be considered either from a global or from a local point of view. The global model specifies... View More

Advertisement