@inproceedings{76e636506a3b4662979bbfada62e8420,
title = "Use cases as workflows",
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.",
author = "M.R.V. Chaudron and {Hee, van}, K.M. and L.J.A.M. Somers",
year = "2003",
doi = "10.1007/3-540-44895-0_7",
language = "English",
isbn = "3-540-40318-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "88--103",
editor = "{Aalst, van der}, W.M.P. and {Hofstede, ter}, A. and M. Weske",
booktitle = "Business Process Management (Proceedings BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003)",
address = "Germany",
}