Towards a proof method for paradigm

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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 languageEnglish
Title of host publicationTheory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
EditorsE. Abraham, M.M. Bonsangue, E.B. Johnsen
Place of PublicationBerlin
PublisherSpringer
Pages242-260
Number of pages19
Volume9660
EditionLecture Notes in Computer Science
ISBN (Electronic)978-3-319-30734-3
ISBN (Print)978-3-319-30733-6
DOIs
Publication statusPublished - 2016

Publication series

NameLecture notes in computer science
Volume9660
ISSN (Print)0302-9743

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