Petri nets: an introduction
Information systems engineering: a formal approach
Information systems engineering: a formal approach
Free choice Petri nets
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
UML distilled (2nd ed.): a brief guide to the standard object modeling language
UML distilled (2nd ed.): a brief guide to the standard object modeling language
Software engineering (6th ed.)
Software engineering (6th ed.)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Software Engineering Standards
Software Engineering Standards
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Business Process Management, Models, Techniques, and Empirical Studies
Business Process Management, Models, Techniques, and Empirical Studies
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
| Hi-index | 0.00 |
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.