An approach for semantic checks of process models

dc.contributor.author	Feja, Sven
dc.contributor.editor	Abramowicz, Witold
dc.contributor.editor	Maciaszek, Leszek
dc.contributor.editor	Kowalczyk, Ryszard
dc.contributor.editor	Speck, Andreas
dc.date.accessioned	2019-06-03T12:25:21Z
dc.date.available	2019-06-03T12:25:21Z
dc.date.issued	2009
dc.identifier.isbn	978-3-88579-241-3
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/23234
dc.description.abstract	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.	en
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Business process, services – computing and intelligent service management
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-147
dc.title	An approach for semantic checks of process models	en
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	229-230
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Leipzig
mci.conference.date	March 23–25, 2009