A Tool for prototyping concurrent design specifications
Date
1996
Authors
Wiebe, Philip John
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Process algebra is one formalism which aids in the design and verification of complex concurrent systems by using algebraic expressions to describe the architectural and behavioral aspects.
We introduce ACS (Algebra of Communicating Systems), a process algebraic specification language which combines the simple syntax of CCS (Calculus of Communicating Systems) and the sequential composition of ACP (Algebra of Communicating Processes), adding the notion of data and value-passing, and user-definable operators. To aid in the simulation and debugging of ACS designs, a concurrent path expression language (CPE) is introduced. A Prolog implementation of ACS and CPE is presented.