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.
|Titel||Business Process Management (Proceedings BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003)|
|Redacteuren||W.M.P. Aalst, van der, A. Hofstede, ter, M. Weske|
|Plaats van productie||Berlin|
|ISBN van geprinte versie||3-540-40318-3|
|Status||Gepubliceerd - 2003|
|Naam||Lecture Notes in Computer Science|
|ISSN van geprinte versie||0302-9743|