Task structure semantics through process algebra

1 January 1993

journal article
Published by Institution of Engineering and Technology (IET) in Software Engineering Journal

Vol. 8 (1) , 14-20
https://doi.org/10.1049/sej.1993.0003

Abstract

The task structure diagramming technique can be used to graphically denote process specifications. In task structure diagrams, sequential execution, iteration, choice and parallelism can be expressed. In this paper, task structure diagrams are extended with a synchronisation mechanism and a formal semantics is given by means of a translation to process algebra. By using known techniques for proving equivalence of process specifications in process algebra, the translation provides a basis for proving equivalence of task structures.

Keywords

This publication has 4 references indexed in Scilit:

Structuring modelling knowledge for CASE shells
Published by Springer Nature ,1991
Process Algebra
Published by Cambridge University Press (CUP) ,1990
Applications of Process Algebra
Published by Cambridge University Press (CUP) ,1990
Predicate/Transition Nets
Published by Springer Nature ,1987