An approach for semantic checks of process models

Autor(en):
Zusammenfassung
This paper presents an approach for using model checking for process models and workflows. The approach allows it to graphically state semantic validation rules on the level of processes. This enables the process modeler to use model checking techniques to get higher quality models for the further software development process.
  • Vollständige Referenz
  • BibTeX
Feja, S., (2009). An approach for semantic checks of process models. In: Abramowicz, W., Maciaszek, L., Kowalczyk, R. & Speck, A. (Hrsg.), Business process, services – computing and intelligent service management. Bonn: Gesellschaft für Informatik e.V.. (S. 229-230).
@inproceedings{mci/Feja2009,
author = {Feja, Sven},
title = {An approach for semantic checks of process models},
booktitle = {Business process, services – computing and intelligent service management},
year = {2009},
editor = {Abramowicz, Witold AND Maciaszek, Leszek AND Kowalczyk, Ryszard AND Speck, Andreas} ,
pages = { 229-230 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
gi-proc-147-018.pdf182.3Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-241-3
ISSN: 1617-5468
Datum: 2009
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige