Extending paradigm with data

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Samenvatting

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.

Originele taal-2Engels
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
RedacteurenF. de Boer, M. Bonsangue, J. Rutten
Plaats van productieDordrecht
UitgeverijSpringer
Pagina's224-244
Aantal pagina's21
ISBN van elektronische versie978-3-319-90089-6
ISBN van geprinte versie978-3-319-90088-9
DOI's
StatusGepubliceerd - 1 jan 2018

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10865 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Vingerafdruk Duik in de onderzoeksthema's van 'Extending paradigm with data'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (editors), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (blz. 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