Abstract
AI-Augmented Business Process Management Systems (ABPMS) extend existing process-aware information
systems through the integration of advanced AI capabilities. A core aspect of ABPMS is Framed Autonomy,
denoting the capability of the system to autonomously and independently choose how to progress process
executions within the given Process Frame, which consists of (potentially conflicting) procedural and declarative process specifications. Moreover, an ABPMS should support the completion of partial process executions, even if they conflict with the Process Frame. In this paper, we demonstrate FrAIm, a What-If Analysis tool that leverages automata theory and automated planning to explore the behavior induced by framed autonomy.