The PiVizTool: Simulating Choreographies with Dynamic Binding

Abstract. This paper presents a tool, the PiVizTool, for the interactive 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.

• Type: Conference
• Year: 2007
• Where: BPM
• Authors: Anja Bog, Frank Puhlmann, Mathias Weske
• Keywords: BPM 2007, Business, Different Participant Instances, Interactive Graphical Representation, Interactive Simulation