Logo des Repositoriums
 
Konferenzbeitrag

An approach for semantic checks of process models

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2009

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Feja, Sven (2009): An approach for semantic checks of process models. Business process, services – computing and intelligent service management. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-241-3. pp. 229-230. Regular Research Papers. Leipzig. March 23–25, 2009

Schlagwörter

Zitierform

DOI

Tags