On the usability of process algebra: An architectural view
Saved in:
| Title: | On the usability of process algebra: An architectural view |
|---|---|
| Authors: | Aldini, Alessandro1, Bernardo, Marco bernardo@sti.uniurb.it |
| Source: | Theoretical Computer Science. May2005, Vol. 335 Issue 2/3, p281-329. 49p. |
| Subjects: | Mathematics, Algebra, Mathematical analysis, Systems design |
| 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. [Copyright &y& Elsevier] |
| Copyright of Theoretical Computer Science is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
