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

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

doi:10.5381/jot.2022.21.4.a6

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

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

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

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.

Original language	English
Journal	Journal of Object Technology
Volume	21
Issue number	4
DOIs	https://doi.org/10.5381/jot.2022.21.4.a6
Publication status	Published - 2022

Keywords

Interface contracts
Modelling
Process models
Uncertainty

Access to Document

10.5381/jot.2022.21.4.a6

Cite this

@article{fa9d56f5ebff4893a8a24d31f316ceb6,

title = "Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models",

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.",

keywords = "Interface contracts, Modelling, Process models, Uncertainty",

author = "Paige, {Richard F.} and Polack, {Fiona A.C.} and Steffen Zschaler and Thomas Chiang and Nicholas Annable",

note = "Funding Information: We would like to thank the reviewers of this paper for their helpful comments and suggestions. We acknowledge the contributions of Zinovy Diskin, Alan Wassyng, Mark Lawford and our colleagues at the University of Toronto (specifically Marsha Chechik and Alessio Di Sandro) Publisher Copyright: {\textcopyright} 2022, Journal of Object Technology.All Rights Reserved.",

year = "2022",

doi = "10.5381/jot.2022.21.4.a6",

language = "English",

volume = "21",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "Journal of Object Technology",

number = "4",

}

TY - JOUR

T1 - Interface Contracts for Workflow+ Models

T2 - an Analysis of Uncertainty across Models

AU - Paige, Richard F.

AU - Polack, Fiona A.C.

AU - Zschaler, Steffen

AU - Chiang, Thomas

AU - Annable, Nicholas

N1 - Funding Information: We would like to thank the reviewers of this paper for their helpful comments and suggestions. We acknowledge the contributions of Zinovy Diskin, Alan Wassyng, Mark Lawford and our colleagues at the University of Toronto (specifically Marsha Chechik and Alessio Di Sandro) Publisher Copyright: © 2022, Journal of Object Technology.All Rights Reserved.

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

KW - Interface contracts

KW - Modelling

KW - Process models

KW - Uncertainty

UR - http://www.scopus.com/inward/record.url?scp=85141744841&partnerID=8YFLogxK

U2 - 10.5381/jot.2022.21.4.a6

DO - 10.5381/jot.2022.21.4.a6

M3 - Article

AN - SCOPUS:85141744841

SN - 1660-1769

VL - 21

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 4

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this