Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
We illustrate the basic constituents of a model and demonstrate how the facilities of Task Modeler, such as the visualization options, enable the rapid creation, analysis, and com...