Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.17347 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911605628862464 |
|---|---|
| author | De Giacomo, Giuseppe Kampik, Timotheus Kirchdorfer, Lukas Montali, Marco Weinhuber, Christoph |
| author_facet | De Giacomo, Giuseppe Kampik, Timotheus Kirchdorfer, Lukas Montali, Marco Weinhuber, Christoph |
| contents | Just like traditional BPM systems, agentic BPM systems are built around a specification of the process under consideration. Their distinguishing feature, however, is that the execution of the process is driven by multiple autonomous decision-makers, referred to as agents. Since such agents cannot be fully controlled, the process specification is augmented with explicit objectives, or goals, assigned to the participating agents. Agents then pursue these goals, at least to the best of their efforts, under suitable assumptions on the behavior of others, by adopting appropriate strategies. Centrally, the organization enacting the process can use these specifications to provide guardrails on the decision-making capabilities of agents at the strategy level. This paper sets up the mathematical foundations of such systems in three key settings and analyzes four foundational problems of agentic BPM. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_17347 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Formal Foundations of Agentic Business Process Management De Giacomo, Giuseppe Kampik, Timotheus Kirchdorfer, Lukas Montali, Marco Weinhuber, Christoph Artificial Intelligence Just like traditional BPM systems, agentic BPM systems are built around a specification of the process under consideration. Their distinguishing feature, however, is that the execution of the process is driven by multiple autonomous decision-makers, referred to as agents. Since such agents cannot be fully controlled, the process specification is augmented with explicit objectives, or goals, assigned to the participating agents. Agents then pursue these goals, at least to the best of their efforts, under suitable assumptions on the behavior of others, by adopting appropriate strategies. Centrally, the organization enacting the process can use these specifications to provide guardrails on the decision-making capabilities of agents at the strategy level. This paper sets up the mathematical foundations of such systems in three key settings and analyzes four foundational problems of agentic BPM. |
| title | Formal Foundations of Agentic Business Process Management |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2604.17347 |