Declarative workflow modeling with UML class diagrams and OCL

dc.contributor.author	Brüning, Jens
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/23233
dc.description.abstract	This paper describes an approach of modeling workflows with UML class diagrams and OCL constraints [OCL06] in a declarative way. These are modeled in the UML tool USE [USE08] that can generate object diagrams (snapshots) out of UML class diagrams. USE checks specified OCL constraints against the generated snapshots. With the declarative workflow modeling approach presented here, activity model states are integrated in the object model states. By analyzing these snapshots the model is validated against requirements.	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	Declarative workflow modeling with UML class diagrams and OCL	en
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	227-228
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Leipzig
mci.conference.date	March 23–25, 2009