Affordable Access

Publisher Website

On the usability of process algebra: An architectural view

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
335
Identifiers
DOI: 10.1016/j.tcs.2004.10.043
Keywords
  • Process Algebra
  • Usability
  • Architectural Description Languages
  • Component-Oriented Verification And Diagnosis
  • Equivalence Checking
Disciplines
  • Design
  • Mathematics
  • Medicine

Abstract

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 families. On the verification side, we propose a component-oriented technique based on equivalence checking for the detection of architecture-level mismatches and the provision 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.

There are no comments yet on this publication. Be the first to share your thoughts.