Workflows consist of interconnected tasks which are executed to achieve predefined business goals. When some tasks fail during execution, compensation can be used as an error-handling procedure to remove side-effects of already finished tasks. This paper extends our formal diagrammatic approach to workflow modelling (which uses principles from model-driven engineering (MDE)) to account for the phenomenon of compensation. Both static semantics, represented by instances of workflow models, and dynamic semantics, represented by a transition system, are described. In MDE, models are first class entities of the development process from which executable application code is generated. The use of MDE technologies is especially important for software in health services delivery where processes are safety critical, highly localised and frequently change. © 2013 Springer-Verlag.
CITATION STYLE
Rutle, A., Wang, H., & MacCaull, W. (2013). A formal diagrammatic approach to compensable workflow modelling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7789 LNCS, pp. 194–212). https://doi.org/10.1007/978-3-642-39088-3_13
Mendeley helps you to discover research relevant for your work.