University of Nijmegen, Department of Informatics, Technical Report No. 89--15, September 1989.
Abstract: To overcome the gap between the informal requirements engineering activities and the more formal program development stage, a specification technique, called the Conceptual Task Model (CTM) is introduced, that is related explicitly to the results of the global requirements specification. The CTM technique is based on and defined in terms of predicate/transiton nets. CTM integrates the specification of the data manipulation function with control structures and local and global data models.