Extending paradigm with data

Luuk P.J. Groenewegen, Jan H.S. Verschuren, Erik P. de Vink

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsF. de Boer, M. Bonsangue, J. Rutten
Place of PublicationDordrecht
PublisherSpringer
Pages224-244
Number of pages21
ISBN (Electronic)978-3-319-90089-6
ISBN (Print)978-3-319-90088-9
DOIs
Publication statusPublished - 1 Jan 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10865 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'Extending paradigm with data'. Together they form a unique fingerprint.

  • Cite this

    Groenewegen, L. P. J., Verschuren, J. H. S., & de Vink, E. P. (2018). Extending paradigm with data. In F. de Boer, M. Bonsangue, & J. Rutten (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 224-244). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10865 LNCS). Springer. https://doi.org/10.1007/978-3-319-90089-6_15