Logo image
From Constraint-Based Process Modeling to Framed Autonomy: A Historical Excursus
Book chapter   Peer reviewed

From Constraint-Based Process Modeling to Framed Autonomy: A Historical Excursus

Mining a Scientist’s Process: Essays Dedicated to Wil van der Aalst on the Occasion of His 60th Birthday, Vol.16480, pp.199-211
Lecture Notes in Computer Science, 16480, Springer
2026
Handle:
https://hdl.handle.net/10863/51508

Abstract

Constraint Based Languages Declarative process mining Framed Autonomy Multi-Model Paradigm Automated Planning
This paper presents a historical excursus from the initial introduction of the Declare Framework to its potential future applications within the context of AI-Augmented Business Process Management Systems (ABPMSs). On this path, we highlight how AI related techniques have intertwined with research on the declare language, and how the core ideas of the original declare Framework, beyond its use of constraints, have become even more relevant with the conception of ABPMS. With the latter, we refer to the use of multiple interdependent models of different languages to express a business process – an idea now consolidated as the multi-model paradigm. Within this paradigm, we explore the use of Automated Planning for operational support in executing multi-faceted constraints that involve multiple models, timeline limitations, cost constraints, and resource optimization. We position this approach as a more expressive way of modeling the process frame of an ABPMS, with the goal of maximizing a KPI or finding a trade-off among several of them.
url
https://link.springer.com/chapter/10.1007/978-3-032-17618-9_15View

Details

Metrics

1 Record Views
Logo image