DocumentCode
866065
Title
Task structure semantics through process algebra
Author
Hofstede, A. H M ter ; Nieuwland, E.R.
Author_Institution
Dept. of Comput. Sci., Utrecht Univ., Netherlands
Volume
8
Issue
1
fYear
1993
fDate
1/1/1993 12:00:00 AM
Firstpage
14
Lastpage
20
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. 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
formal languages; formal specification; synchronisation; systems analysis; IS development; choice; formal semantics; iteration; parallelism; process algebra; process specifications; sequential execution; synchronisation mechanism; systems analysis; task structure diagramming technique;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
199632
Link To Document