The PiVizTool Simulating Choreographies with Dynamic Binding.pdfVIP

The PiVizTool: Simulating Choreographies with Dynamic Binding Anja Bog, Frank Puhlmann, and Mathias Weske Business Process Technology Group Hasso Plattner Institut for IT Systems Engineering University of Potsdam D-14482 Potsdam, Germany {anja.bog,frank.puhlmann,mathias.weske}@hpi.uni-potsdam.de Abstract. This paper presents a tool, the PiVizTool, for the interac- tive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound during the simulation. The PiVizTool uses the π-calculus as the formal foundation for representing dynamic binding. It provides an interactive graphical representation of complex choreographies that can be simulated according to different use cases. 1 Introduction Nowadays, service-oriented architectures (SOA) are a common realization strat- egy for business process management (BPM). In a SOA, business processes are represented as services with internal and communication actions following a busi- ness logic. Multiple of these services work together in a choreography to provide a result. A core feature of service-oriented architectures is dynamic binding, which allows services to be bound at runtime. Consider for instance figure 1, that shows the design-time view of a choreog- raphy in BPMN [1]. The initial participant is a customer, shown in the upper part. The customer places an order, a delivery address, and an invoice address at a reseller. The reseller has a number of manufacturers and payment organi- zations that handle each request. While at design-time the static interfaces of the manufacturer and the payment organization are giv