The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude

Oana Captarencu

2023

Abstract

A business process consists of coordinated tasks that take place inside an organization in order to achieve a specific business objective. The process also involves data, that can be used/produced by tasks or used to control the execution of tasks. A workflow is the automation of a business process. Verification of workflow correctness usually focuses on the control-flow of workflows (which regards the tasks and their order of execution). Data anomalies can prevent the correct execution of the process, even if it is correct at the control-flow level, or can produce undesired results. Thus, data information plays an important role in workflow analysis. In this paper we propose an analysis technique for workflows with data, based on Petri nets and on the rewriting logic based language Maude: we use a special class of Petri nets, workflow nets with data, to model workflow processes with data and propose a translation of workflow nets with data into rewrite theories in Maude. This will allow the application of model checking techniques to detect data errors, verify specific properties regarding data and verify the correctness of the workflow.

Paper Citation

in Harvard Style

Captarencu O. (2023). The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude. In Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-648-4, SciTePress, pages 373-384. DOI: 10.5220/0011844800003467

in Bibtex Style

@conference{iceis23,
author={Oana Captarencu},
title={The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude},
booktitle={Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2023},
pages={373-384},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011844800003467},
isbn={978-989-758-648-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude
SN - 978-989-758-648-4
AU - Captarencu O.
PY - 2023
SP - 373
EP - 384
DO - 10.5220/0011844800003467
PB - SciTePress