Konferenzbeitrag
How to ensure correct process models? A semantic approach to deal with resource problems
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2010
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Models are important to manage complexity. They provide a means for understanding processes, and understanding already is a benefit. Process models support the optimization, reengineering, and implementation of supporting IT systems. In this context, the correctness of process models is significant for both, research and practice. The paper presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. We apply our approach using real-life administrative process models taken from a capital city.