Conference
A Formal Diagrammatic Approach to Timed Workflow Modelling
Abstract
A workflow model is an abstract representation of a real life workflow and consists of interconnected tasks depicting the desired executions of real life activities. Time information is an important aspect of many safety-critical workflows. This paper presents a new formal diagrammatic approach to timed workflow modelling involving principles from model-driven engineering. The approach extends the Diagram Predicate Framework, which is based on …
Authors
Wang H; Rutle A; MacCaull W
Pagination
pp. 167-174
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
July 1, 2012
DOI
10.1109/tase.2012.14
Name of conference
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering