1
by A. H. M. Ter Hofstede
http://www.icis.qut.edu.au/~arthur/articles/TaskAlg.ps.Z
Add To MetaCart
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. 1
Citations
| 2762 | Communication and Concurrency – Milner - 1989 |
| 2678 | Communicating Sequential Processes – Hoare - 1985 |
| 194 | Process Algebra – Baeten, Weijland - 1990 |
| 101 | Predicate/Transition Nets – Genrich - 1986 |
| 14 | Refinement in branching time semantics – Glabbeek, Weijland - 1989 |
| 13 | Structuring modelling knowledge for CASE shells – Verhoef, Hofstede, et al. - 1991 |
| 12 | Analyzing the structure of I.S. methodologies, an alternative approach – Seligmann, Wijers, et al. - 1989 |
| 12 | Oosterom. Representation of Information Modelling Knowledge – Wijers, Hofstede, et al. - 1992 |
| 10 | Justification of formal methods for system specification – Cohen - 1989 |
| 2 | A rejustification of formal notations – Cohen - 1989 |
