Generating Assurance Cases Using Workflow$$^+$$ Models

Annable, Nicholas; Chiang, Thomas; Lawford, Mark; Paige, Richard F.; Wassyng, Alan

doi:10.1007/978-3-031-14835-4_7

Cited by 6 publications

(7 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section we provide an overview of the WF + framework, introduce a running example and highlight some key limitations of WF + . WF + provides a unified view of data and control for modelling of processes (Annable et al 2022). This is particularly useful where activities must be carried out in order to ensure safety.…”

Section: Workflow+: An Example Of Process Modellingmentioning

confidence: 99%

“…Figure 2 is a simplification of the Hazard Identification WF + model presented in (Annable et al 2022). The specific (green) process defined is Hazard Identification.…”

Section: Safety Assurance Examplementioning

confidence: 99%

“…Figure 3 is very similar, but defines the specific process, Situational Analysis, and its associated data; the Review processes pertain to the applicability and completeness of the identified intended operational situations. An example of an instance of a WF + metamodel can be found in (Annable et al 2022).…”

Section: Safety Assurance Examplementioning

confidence: 99%

“…The WF + framework currently provides constructs to define workflows as WF + metamodels and to generate (safety) argumentation based on constraints in those metamodels. This generation is demonstrated in (Annable et al 2022). Prototype tooling supports creation of instances documenting realizations of the workflow, checking against constraints and checking if arguments based on those constraints hold.…”

Section: Limitations Of Wf +mentioning

confidence: 99%

“…Going beyond the foundations of process modelling, Work-flow+ (WF + ) (Annable et al 2022) is a framework that has been developed to provide unified modelling of data and control in processes. Originally developed to help specify safety-related processes in critical systems engineering, WF + provides a set of modelling concepts for capturing and reasoning about the interactions between data and control in a variety of processes.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

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

Paige¹,

Polack²,

Zschaler³

et al. 2022

JOT

View full text Add to dashboard Cite

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.

show abstract

Section: Workflow+: An Example Of Process Modellingmentioning

confidence: 99%

“…Figure 2 is a simplification of the Hazard Identification WF + model presented in (Annable et al 2022). The specific (green) process defined is Hazard Identification.…”

Section: Safety Assurance Examplementioning

confidence: 99%

Section: Safety Assurance Examplementioning

confidence: 99%

Section: Limitations Of Wf +mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations