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.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.identifier.isbn | 978-3-88579-241-3 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/23233 | |
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 | |
gi.citation.endPage | 228 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 227 | |
gi.conference.date | March 23–25, 2009 | |
gi.conference.location | Leipzig | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1