Advertisement

Acta Informatica

, Volume 38, Issue 3, pp 155–234 | Cite as

Process algebra with action dependencies

  • Arend Rensink
  • Heike Wehrheim

Abstract.

In this paper, we present a process algebra with a minimal form of semantics for actions given by dependencies. Action dependencies are interpreted in the Mazurkiewicz sense: independent actions should be able to commute, or (from a different perspective) should be unordered, whereas dependent actions are always ordered. In this approach, the process algebra operators are used to describe the conceptual behavioural structure of the system, and the action dependencies determine the minimal necessary orderings and thereby the additionally possible parallelism within this structure.

In previous work on the semantics of specifications using Mazurkiewicz dependencies, the main interest has been on linear time. We present in this paper a branching time semantics, both operationally and denotationally. For this purpose, we introduce a process algebra that incorporates, besides some standard operators, also an operator for action refinement. For interpreting the operators in the presence of action dependencies, a new concept of partial termination has to be developed. We show consistency of the operational and denotational semantics; furthermore, we give a axiomatisation of bisimilarity, which is complete for finite terms. Some small examples demonstrate the flexibility of this process algebra in the design of distributed reactive systems.

Keywords

Reactive System Standard Operator Linear Time Main Interest Algebra Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Arend Rensink
    • 1
  • Heike Wehrheim
    • 2
  1. 1.Department of Computer Science, University of Twente, The Netherlands (e-mail: rensink@cs.utwente.nl)NL
  2. 2.Abteilung Semantik, Fachbereich Informatik, Universität Oldenburg, Postfach 2503, 26111 Oldenburg, Germany (e-mail: wehrheim@informatik.uni-oldenburg.de)DE

Personalised recommendations