Modeling and Simulation of Multiparty Communication Businesses

This chapter discusses modeling of distributed business systems also called multiparty communication systems. The goals of such systems cannot be achieved without communication of parties. Communication is inherently nondeterministic as it depends on the communication infrastructure. Therefore, modeling of communication is supported with a specific abstraction, which restricts the nondeterminism of communication. This chapter presents two forms of communication abstraction: orchestration and choreography. The design of choreography is discussed in detail. First, the problems of under specification of choreography are demonstrated by example. Second, the property of realizability of choreography is introduced and the relay rules of realizable choreography are defined. Third, the problems of reduction of choreography to its participants are presented. The chapter contains the protocol models of different type of choreography, including the choreographies composed from known and unknown number of parallel processes. These examples reveal some open research problems of choreography design and invite the reader to apply Interactive Modeling and Simulation in research of compositional choreographers.