DocumentCode
3118101
Title
A Formal Model for Work Flows
Author
Leuxner, Christian ; Sitou, Wassiou ; Spanfelner, Bernd
Author_Institution
Dept. of Inf., Tech. Universitdt Munchen, Garching, Germany
fYear
2010
fDate
13-18 Sept. 2010
Firstpage
135
Lastpage
144
Abstract
Within this paper, we present a structured, formal model for the specification and analysis of work flows. The model provides a graphical representation supporting a modular description of work flows together with a formal semantics accurately reflecting their execution and laying the foundation for tool support. Methodically relevant concepts such as hierarchy, refinement, model analysis, and model transformation are supported.
Keywords
formal specification; formal verification; programming language semantics; workflow management software; formal model; formal semantics; graphical representation; model transformation; modular description; tool support; work flow specification; Analytical models; Compounds; Input variables; Mathematical model; Process control; Semantics; Syntactics; Concurrency; Denotational Semantics; Labeled Transition System; Refinement; System Behavior; Work Flow;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location
Pisa
Print_ISBN
978-1-4244-8289-4
Type
conf
DOI
10.1109/SEFM.2010.27
Filename
5637421
Link To Document