A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets

Lorena Bruno, Stéphane Julia

2022

Abstract

The model of a Workflow Management System should describe the time constraints of resources over the activities of the corresponding business process. In general, typical temporal phenomena include activity execution delays, limits to the occurrence of valid intervals over the activities, limits to valid intervals over resources (limit to resources life cycle), limits to duration of process execution, time distance between two activities, etc. In this study, a Workflow net model incremented with time intervals to describe the duration of activities and waiting times is presented. To define the execution of activities minimum and maximum intervals, a time constraint propagation mechanism based on the sequent calculus of Linear Logic and on symbolic dates is proposed.

Paper Citation

in Harvard Style

Bruno L. and Julia S. (2022). A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets. In Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-569-2, pages 537-544. DOI: 10.5220/0011064400003179

in Bibtex Style

@conference{iceis22,
author={Lorena Bruno and Stéphane Julia},
title={A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets},
booktitle={Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2022},
pages={537-544},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011064400003179},
isbn={978-989-758-569-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets
SN - 978-989-758-569-2
AU - Bruno L.
AU - Julia S.
PY - 2022
SP - 537
EP - 544
DO - 10.5220/0011064400003179