Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A payment processor is a company (often a third party) appointed by a merchant to handle transactions from various channels such as credit cards and debit cards for merchant acquiring banks. [Wikipedia]
- 2.
Let us remind, that the pairs of send-(labeled !) and received-events (labeled ?) are also used by the Calculus of Communicating System (CCS) [9].
References
L.R. Fine, Auctions, The Concise Encyclopedia of Economics. Library of Economics and Liberty, 1 December 2015 (2008). http://www.econlib.org/library/Enc/Auctions.html
L. Fossati, R. Hu, N. Yoshida, Multiparty session nets, in Trustworthy Global Computing—9th International Symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised Selected Papers (2014), pp. 112–127
C. Hoare, Communicating Sequential Processes (Prentice-Hall International, Upper Saddle River, 1985)
K. Honda, N. Yoshida, M. Carbone, Multiparty asynchronous session types, in Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’08 (ACM, New York, 2008), pp. 273–284
M. Mancioppi, Correction of Unrealizable Service Choreographies (Tilburg: Center, Center for Economic Research, 2015), p. 215
A. McNeile, Protocol Modelling Synchronous Composition of Data and Behaviour, University of London Department of Computer Science and Information Systems, Birkbeck (2015)
A. McNeile, N. Simons, Protocol modelling. A modelling approach that supports reusable behavioural abstractions. Softw. Syst. Model. 5(1), 91–107 (2006)
A.T. McNeile, Protocol contracts with application to choreographed multiparty collaborations. Serv. Oriented Comput. Appl. 4(2), 109–136 (2010)
R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science. vol. 92 (Springer, Heidelberg, 1980)
OMG, Business Process Model and Notation (2011)
S. Owicki, L. Lamport, Proving liveness properties of concurrent programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 4(3), 455–495 (1982)
Author information
Authors and Affiliations
Corresponding author
Problems
Problems
8.1
What is the difference in design of an orchestration and a choreography?
8.2
The simple reduction involves:
-
Removing some of the transitions.
-
Merging the states that are disconnected by the removed transitions.
What is the difference between the simple reduction and the exact reduction?
8.3
Render the choreography of the shared buying process in the language of Protocol Modeling and simulate it. Does this choreography has a relay form? How can you detect the relay form during simulation?
8.4
Design a realizable choreography for the Dutch auction. “The Dutch auction also a first-price auction, is descending. That is, the auctioneer begins at a high price, higher than he believes the item will fetch, then decreases the price until a bidder finally calls out, “Mine!”
The bidder then receives the item at the price at which he made the call. If multiple items are offered, the process continues until all items are sold. One of the primary advantages of Dutch auctions is the speed. Since there are never more bids than there are items being auctioned, the process takes relatively little time. This is one reason they are used in places such as flower markets in Holland (hence the name “Dutch”).
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Roubtsova, E. (2016). Modeling and Simulation of Multiparty Communication Businesses. In: Interactive Modeling and Simulation in Business System Design. Simulation Foundations, Methods and Applications. Springer, Cham. https://doi.org/10.1007/978-3-319-15102-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-15102-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15101-4
Online ISBN: 978-3-319-15102-1
eBook Packages: Computer ScienceComputer Science (R0)