@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",
}