Towards a proof method for paradigm

Luuk P.J. Groenewegen; R. Kuiper; E.P. de Vink

doi:10.1007/978-3-319-30734-3_17

Towards a proof method for paradigm

Luuk P.J. Groenewegen, R. Kuiper, E.P. de Vink

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

1 Downloads (Pure)

Abstract

The paper describes two perspectives on a verification approach for Paradigm, a coordination modeling language specifying an architecture in terms of components and their collaborations. One perspective concentrates on a single collaboration: per collaboration, properties can be derived through a small set of proof rules. The other perspective concentrates on dynamic dependencies between collaborations: guided by the architecture and driven by shared components behavioral properties of the complete model can be established. Two Paradigm models, a parallel assignment and a linear pipeline of workers and buffers, illustrate the approach.

Original language	English
Title of host publication	Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Editors	E. Abraham, M.M. Bonsangue, E.B. Johnsen
Place of Publication	Berlin
Publisher	Springer
Pages	242-260
Number of pages	19
Volume	9660
Edition	Lecture Notes in Computer Science
ISBN (Electronic)	978-3-319-30734-3
ISBN (Print)	978-3-319-30733-6
DOIs	https://doi.org/10.1007/978-3-319-30734-3_17
Publication status	Published - 2016

Publication series

Name	Lecture notes in computer science
Volume	9660
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-30734-3_17

Fingerprint Dive into the research topics of 'Towards a proof method for paradigm'. Together they form a unique fingerprint.

Cite this

Groenewegen, L. P. J., Kuiper, R., & de Vink, E. P. (2016). Towards a proof method for paradigm. In E. Abraham, M. M. Bonsangue, & E. B. Johnsen (Eds.), Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science ed., Vol. 9660, pp. 242-260). (Lecture notes in computer science ; Vol. 9660). Springer. https://doi.org/10.1007/978-3-319-30734-3_17

Groenewegen, Luuk P.J. ; Kuiper, R. ; de Vink, E.P. / Towards a proof method for paradigm. Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. editor / E. Abraham ; M.M. Bonsangue ; E.B. Johnsen. Vol. 9660 Lecture Notes in Computer Science. ed. Berlin : Springer, 2016. pp. 242-260 (Lecture notes in computer science ).

@inbook{d146201421304669b3348326d3237bb9,

title = "Towards a proof method for paradigm",

abstract = "The paper describes two perspectives on a verification approach for Paradigm, a coordination modeling language specifying an architecture in terms of components and their collaborations. One perspective concentrates on a single collaboration: per collaboration, properties can be derived through a small set of proof rules. The other perspective concentrates on dynamic dependencies between collaborations: guided by the architecture and driven by shared components behavioral properties of the complete model can be established. Two Paradigm models, a parallel assignment and a linear pipeline of workers and buffers, illustrate the approach.",

author = "Groenewegen, {Luuk P.J.} and R. Kuiper and {de Vink}, E.P.",

year = "2016",

doi = "10.1007/978-3-319-30734-3_17",

language = "English",

isbn = "978-3-319-30733-6",

volume = "9660",

series = "Lecture notes in computer science ",

publisher = "Springer",

pages = "242--260",

editor = "E. Abraham and M.M. Bonsangue and E.B. Johnsen",

booktitle = "Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday",

address = "Germany",

edition = "Lecture Notes in Computer Science",

}

Groenewegen, LPJ, Kuiper, R & de Vink, EP 2016, Towards a proof method for paradigm. in E Abraham, MM Bonsangue & EB Johnsen (eds), Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science edn, vol. 9660, Lecture notes in computer science , vol. 9660, Springer, Berlin, pp. 242-260. https://doi.org/10.1007/978-3-319-30734-3_17

Towards a proof method for paradigm. / Groenewegen, Luuk P.J.; Kuiper, R.; de Vink, E.P.

Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. ed. / E. Abraham; M.M. Bonsangue; E.B. Johnsen. Vol. 9660 Lecture Notes in Computer Science. ed. Berlin : Springer, 2016. p. 242-260 (Lecture notes in computer science ; Vol. 9660).

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

TY - CHAP

T1 - Towards a proof method for paradigm

AU - Groenewegen, Luuk P.J.

AU - Kuiper, R.

AU - de Vink, E.P.

PY - 2016

Y1 - 2016

N2 - The paper describes two perspectives on a verification approach for Paradigm, a coordination modeling language specifying an architecture in terms of components and their collaborations. One perspective concentrates on a single collaboration: per collaboration, properties can be derived through a small set of proof rules. The other perspective concentrates on dynamic dependencies between collaborations: guided by the architecture and driven by shared components behavioral properties of the complete model can be established. Two Paradigm models, a parallel assignment and a linear pipeline of workers and buffers, illustrate the approach.

AB - The paper describes two perspectives on a verification approach for Paradigm, a coordination modeling language specifying an architecture in terms of components and their collaborations. One perspective concentrates on a single collaboration: per collaboration, properties can be derived through a small set of proof rules. The other perspective concentrates on dynamic dependencies between collaborations: guided by the architecture and driven by shared components behavioral properties of the complete model can be established. Two Paradigm models, a parallel assignment and a linear pipeline of workers and buffers, illustrate the approach.

U2 - 10.1007/978-3-319-30734-3_17

DO - 10.1007/978-3-319-30734-3_17

M3 - Chapter

SN - 978-3-319-30733-6

VL - 9660

T3 - Lecture notes in computer science

SP - 242

EP - 260

BT - Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

A2 - Abraham, E.

A2 - Bonsangue, M.M.

A2 - Johnsen, E.B.

PB - Springer

CY - Berlin

ER -

Groenewegen LPJ, Kuiper R , de Vink EP. Towards a proof method for paradigm. In Abraham E, Bonsangue MM, Johnsen EB, editors, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science ed. Vol. 9660. Berlin: Springer. 2016. p. 242-260. (Lecture notes in computer science ). https://doi.org/10.1007/978-3-319-30734-3_17