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)


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
Number of pages19
EditionLecture Notes in Computer Science
ISBN (Electronic)978-3-319-30734-3
ISBN (Print)978-3-319-30733-6
Publication statusPublished - 2016

Publication series

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


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

Cite this