Conference Proceeding

A Formal Model for Work Flows

Dept. of Inf., Tech. Universitdt Munchen, Garching, Germany
10/2010; DOI:10.1109/SEFM.2010.27 pp.135 - 144 In proceeding of: Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Source: IEEE Xplore

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.

0 0
 · 
0 Bookmarks
 · 
29 Views
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.

Keywords

formal model
 
formal semantics
 
graphical representation
 
model analysis
 
model transformation
 
modular description
 
tool support
 
work flows