Luuk Groenewegen, Jan Verschuren en Erik de Vink
Extending Paradigm with Data

We discuss an extension of the coordination modeling 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 mCRL2 toolset for further analysis of
the coordination.