Abstract. Process Algebras are a set of formalisms for modelling 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. 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 is that a consistent double representation as term and as graph of each system is maintained. TAPAs does not aim at guaranteeing high performances, but is thought of as a support for teaching process algebras.
The TAPAs modelling tool REF is a didactic tool for the analysis of process algebra.
TAPAs: a Tool for the Analysis of Process Algebras
Trans. Petri Nets Other Model. Concurr.
Trans. Petri Nets Other Model. Concurr.
Computer Science