Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models
(2022)
Journal Article
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
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... Read More about Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.