Show simple item record

dc.contributor.authorKopetzky, Theodorich
dc.contributor.authorGeist, Verena
dc.contributor.editorRinderle-Ma, Stefanie
dc.contributor.editorWeske, Mathias
dc.date.accessioned2018-11-06T10:45:09Z
dc.date.available2018-11-06T10:45:09Z
dc.date.issued2012
dc.identifier.isbn978-3-88579-600-8
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/17736
dc.description.abstractWorkflow charts are a novel way to describe business processes and a way of putting more emphasis on the human-computer interaction. They introduce a typed approach to workflow specification in order to improve flexibility in business process technology by proposing a concept for integrating workflow definition and dialogue programming, being also open to business process modelling. Although their precursor has its semantic specification based on Unified Modelling Language semantics, workflow charts currently lack a complete formal semantic specification. Instead of enhancing the Unified Modelling Language semantics, the approach of specifying the semantics of workflow charts using the formalism of Abstract State Machines has been chosen. The resulting description provides a precise operational semantics.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofEMISA 2012 – Der Mensch im Zentrum der Modellierung
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-206
dc.titleWorkflow charts and their semantics using abstract state machinesen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages11-24
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationWien, Österreich
mci.conference.date13.-14. September 2012


Files in this item

Thumbnail

Show simple item record