A Tool for prototyping concurrent design specifications

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.

Author dc:creator

• Wiebe, Philip John

Statement dc:rights

• Available to the World Wide Web

Handle dc:identifier.uri

https://hdl.handle.net/1828/20108

OAI identifier oai:identifier

oai:dspace.library.uvic.ca:1828/20108