With the increased deployment of AI-based technologies—recently and most notably large language models—framing the autonomy of goal-oriented agents that enact business processes can be expected to be a key challenge. In this paper, we argue that addressing this challenge requires new formal foundations for process specifications. Traditional business process specifications focus on the how of business operations and treat neither goals nor norm-based constraints as first-class abstractions. Although goals play a central role in informal notions of business processes, formal definitions tend to treat them as implicit, embedded within procedural specifications that may only partially, and not explicitly, reflect normative boundaries. However, to maximize autonomy within a given normative frame, which expands upon the traditional idea of process models as operational frames, agents require formally specified goals, from which they can then synthesize their plans and actions, considering the normative frame as a set of deontic constraints. In this paper, we articulate this vision, highlight practical challenges, and propose action items for supporting its implementation.

Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames / Calvanese, D.; De Giacomo, G.; Kampik, T.; Lesperance, Y.; Marrella, A.; Matta, A.. - 4087:(2025). ( 4th International Workshop on Process Management in the AI Era, PMAI 2025 2025 -co-located with the 28th European Conference on Artificial Intelligence, ECAI 2025 ita ).

Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames

Calvanese D.;De Giacomo G.;Lesperance Y.;Marrella A.;
2025

Abstract

With the increased deployment of AI-based technologies—recently and most notably large language models—framing the autonomy of goal-oriented agents that enact business processes can be expected to be a key challenge. In this paper, we argue that addressing this challenge requires new formal foundations for process specifications. Traditional business process specifications focus on the how of business operations and treat neither goals nor norm-based constraints as first-class abstractions. Although goals play a central role in informal notions of business processes, formal definitions tend to treat them as implicit, embedded within procedural specifications that may only partially, and not explicitly, reflect normative boundaries. However, to maximize autonomy within a given normative frame, which expands upon the traditional idea of process models as operational frames, agents require formally specified goals, from which they can then synthesize their plans and actions, considering the normative frame as a set of deontic constraints. In this paper, we articulate this vision, highlight practical challenges, and propose action items for supporting its implementation.
2025
4th International Workshop on Process Management in the AI Era, PMAI 2025 2025 -co-located with the 28th European Conference on Artificial Intelligence, ECAI 2025
AI agents; Autonomous agents; Autonomy; Business process management; multi-agent systems
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames / Calvanese, D.; De Giacomo, G.; Kampik, T.; Lesperance, Y.; Marrella, A.; Matta, A.. - 4087:(2025). ( 4th International Workshop on Process Management in the AI Era, PMAI 2025 2025 -co-located with the 28th European Conference on Artificial Intelligence, ECAI 2025 ita ).
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1764704
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact