Workflow charts and their precise semantics using abstract state machines

Autoren Theodorich Kopetzky
Verena Geist
Editoren S. Rinderle-Ma
M. Weske
Titel Workflow charts and their precise semantics using abstract state machines
Buchtitel Proceedings of EMISA 2012 Der Mensch im Zentrum der Modellierung
Typ in Konferenzband
Verlag Gesellschaft für Informatik e.V.
Serie Lecture Notes in Informatics
Band P-206
ISBN 978-3-88579-600-8
Monat September
Jahr 2012
Seiten 11-24
SCCH ID# 1128
Abstract

Workflow 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 Modeling Language semantics, workflow charts currently lack a complete formal semantic specification. Instead of enhancing the Unified Modeling 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.