Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models

Paige, Richard F.; Polack, Fiona A.C.; Zschaler, Steffen; Chiang, Thomas; Annable, Nicholas

Abstract

Workflow models are used to rigorously specify and reason about diverse types of processes. The Workflow+ (WF+) framework has been developed to support unified modelling of the control and data in processes that can be used to derive assurance cases that support certification. However, WF+ is limited in its support for precise contracts on workflow models, which can enable powerful forms of static analysis and reasoning. In this paper we propose a mechanism for adding interface contracts to WF+ models, which can thereafter be applied to tracing and reasoning about the uncertainty that arises when combining heterogeneous models. We specifically explore this in terms of design models and assurance case models. We argue that some of the key issues in managing some types of uncertainty can be partly addressed by use of interface contracts

Citation

Paige, R. F., Polack, F. A., Zschaler, S., Chiang, T., & Annable, N. (2022). Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. Journal of Object Technology, 21(4), 4:1-13. https://doi.org/10.5381/jot.2022.21.4.a6

• Journal Article Type: Article
• Acceptance Date: Jul 6, 2022
• Publication Date: Oct 24, 2022
• Deposit Date: Mar 17, 2023
• Publicly Available Date: Mar 17, 2023
• Journal: Journal of Object Technology
• Print ISSN: 1660-1769
• Peer Reviewed: Peer Reviewed
• Volume: 21
• Issue: 4
• Pages: 4:1-13
• DOI: https://doi.org/10.5381/jot.2022.21.4.a6
• Keywords: Uncertainty; Modelling; Process models; Interface contracts
• Public URL: https://hull-repository.worktribe.com/output/4241423