Erik de Vink: Extending Paradigm with Data (Joint work with Luuk Groenewegen and Jan Verschuren)


Event Details


We discuss an extension of the coordination modelling language
Paradigm. The extension is geared towards data-dependent interaction
among components, where the coordination is influenced by possibly
distributed data. The approach is illustrated by the well-known
example of a bakery where tickets are issued to serve clients in
order. Also, it is described how to encode Paradigm models with data
in the process language of the mCRL toolset for further analysis
of the coordination.