Sciweavers

TOPNOC
2008

TAPAs: A Tool for the Analysis of Process Algebras

13 years 11 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent systems. It does not aim at guaranteeing high performances, but has been developed as a support to teaching process algebras. Systems are described as process algebras terms that are then mapped to Labelled Transition Systems (LTSs). Properties are verified either by checking equivalence of concrete and abstract systems descriptions, or by model checking temporal formulae over the obtained LTS. A key feature of TAPAs, that makes it particularly suited for teaching, is that it maintains a consistent double representation as term and as graph of each system. Another useful feature in this respect is the exhibition of counterexamples in case equivalences are not verified or the proposed formulae are not satisfied.
Francesco Calzolai, Rocco De Nicola, Michele Loret
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOPNOC
Authors Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
Comments (0)