Paper Info
Title
A Formal Model for Work Flows
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.
Year
DOI
Venue
2010
10.1109/SEFM.2010.27
Software Engineering and Formal Methods
Keywords
Field
DocType
formal model,model analysis,modular description,graphical representation,methodically relevant concept,model transformation,work flow,tool support,work flows,formal semantics,mathematical model,denotational semantics,formal verification,refinement,semantics,process control,concurrency,formal specification
Model transformation,Programming language,Concurrency,Computer science,Denotational semantics,Theoretical computer science,Formal specification,Modular design,Hierarchy,Semantics,Formal verification
Conference
ISBN
Citations 
PageRank 
978-1-4244-8289-4
4
0.55
References 
Authors
5
3
Name
Order
Citations
PageRank
Christian Leuxner1152.24
Wassiou Sitou2606.48
Bernd Spanfelner3605.46