Summary: On the Usability of Process Algebra:
An Architectural View
Alessandro Aldini, Marco Bernardo
Universit`a di Urbino "Carlo Bo"
Istituto di Scienze e Tecnologie dell'Informazione
Piazza della Repubblica 13, 61029 Urbino, Italy
Despite its strengths like compositionality and equivalence checking, process algebra
is rarely adopted outside the academia. In this paper we address the usability issue
for process algebra along two different directions. On the modeling side, we provide
a set of guidelines inspired by the software architecture field, which should enforce
a clear component-oriented approach to the process algebraic design of system fam-
ilies. On the verification side, we propose a component-oriented technique based on
equivalence checking for the detection of architecture-level mismatches and the pro-
vision of related diagnostic information. Such a technique extends previous results
in terms of generality of the considered mismatches, generality of the considered
system topologies, and scalability to system families.
Key words: process algebra, usability, architectural description languages,
component-oriented verification and diagnosis, equivalence checking.