Control-Flow-Based Methods to Support the Development of Sound Workflows
Workflows describe sequences of tasks to achieve goals. These sequences can contain decisions, loops, and parallelisations and are, therefore, similar to computer programs. Experts in the domain of workflow application usually design these workflows. However, these experts are rarely IT experts. For...
Main Authors: | Thomas M. Prinz, Wolfram Amme |
---|---|
Format: | Article |
Language: | English |
Published: |
Riga Technical University
2021-07-01
|
Series: | Complex Systems Informatics and Modeling Quarterly |
Subjects: | |
Online Access: | https://csimq-journals.rtu.lv/article/view/4874 |
Similar Items
-
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
by: V. A. Bashkin, et al.
Published: (2013-08-01) -
An analytical method for well-formed workflow/Petri net verification of classical soundness
by: Clempner Julio
Published: (2014-12-01) -
Controllable Deadlocks in Parallel Resource-Constrained Workflows
by: V. A. Bashkin, et al.
Published: (2014-12-01) -
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
by: Yaqiong He, et al.
Published: (2018-01-01) -
A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes
by: Thomas M. Prinz, et al.
Published: (2015-10-01)