In: Volume 2678 of Lecture Notes in Computer Science, pages 88-103. January 2003.
Abstract: In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspects to be modeled: the data aspect and the process aspect of the system. There are many techniques available to describe these aspects but it is always difficult to integrate these views in a consistent way. Last decade two techniques are used frequently in requirements engineering: use cases and workflow models. We show that these techniques can be integrated in a natural way, using the framework of colored Petri nets. We only sketch the underlying formal framework and focus on the practical application of the approach by a case study.