Extending paradigm with data

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

doi:10.1007/978-3-319-90089-6_15

Extending paradigm with data

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-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 language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	F. de Boer, M. Bonsangue, J. Rutten
Place of Publication	Dordrecht
Publisher	Springer
Pages	224-244
Number of pages	21
ISBN (Electronic)	978-3-319-90089-6
ISBN (Print)	978-3-319-90088-9
DOIs	https://doi.org/10.1007/978-3-319-90089-6_15
Publication status	Published - 1 Jan 2018

Publication series

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

Access to Document

10.1007/978-3-319-90089-6_15

Link to publication in Scopus

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

Groenewegen, Luuk P.J. ; Verschuren, Jan H.S. ; de Vink, Erik P. / Extending paradigm with data. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / F. de Boer ; M. Bonsangue ; J. Rutten. Dordrecht : Springer, 2018. pp. 224-244 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{f8c46749857347b990741ba2d540470b,

title = "Extending paradigm with data",

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.",

author = "Groenewegen, {Luuk P.J.} and Verschuren, {Jan H.S.} and {de Vink}, {Erik P.}",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-319-90089-6_15",

language = "English",

isbn = "978-3-319-90088-9",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "224--244",

editor = "{de Boer}, F. and M. Bonsangue and J. Rutten",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

Groenewegen, LPJ, Verschuren, JHS & de Vink, EP 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). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10865 LNCS, Springer, Dordrecht, pp. 224-244. https://doi.org/10.1007/978-3-319-90089-6_15

Extending paradigm with data. / Groenewegen, Luuk P.J.; Verschuren, Jan H.S.; de Vink, Erik P.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / F. de Boer; M. Bonsangue; J. Rutten. Dordrecht : Springer, 2018. p. 224-244 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10865 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Extending paradigm with data

AU - Groenewegen, Luuk P.J.

AU - Verschuren, Jan H.S.

AU - de Vink, Erik P.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85047837466&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-90089-6_15

DO - 10.1007/978-3-319-90089-6_15

M3 - Chapter

AN - SCOPUS:85047837466

SN - 978-3-319-90088-9

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 224

EP - 244

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - de Boer, F.

A2 - Bonsangue, M.

A2 - Rutten, J.

PB - Springer

CY - Dordrecht

ER -

Groenewegen LPJ, Verschuren JHS, de Vink EP. Extending paradigm with data. In de Boer F, Bonsangue M, Rutten J, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dordrecht: Springer. 2018. p. 224-244. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-90089-6_15