Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On the Usability of Process Algebra: An Architectural View
 

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
Abstract
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.
1 Introduction

  

Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"

 

Collections: Computer Technologies and Information Sciences