Traditional Business Process Management (BPM) focuses on discrete events and fails to incorporate critical continuous sensor data in cyber-physical environments. Hybrid declarative specifications, utilizing Signal Temporal Logic (STL), address this limitation by allowing constraints over both discrete events and real-valued signals. However, existing work has been limited to monitoring and post-hoc conformance checking. This paper introduces a novel Complex Event Processing (CEP)-based execution architecture that enables the real-time execution and enforcement of hybrid declarative models. Our three-layer approach integrates STL-inspired predicates into the execution flow, allowing the system to actively trigger activities and enforce process boundaries based on continuous sensor behavior. This approach bridges the gap between hybrid specification and operational control.

翻译：传统业务流程管理（BPM）主要关注离散事件，难以在信息物理环境中整合关键的连续传感器数据。利用信号时序逻辑（STL）的混合声明式规范通过允许对离散事件和实值信号同时施加约束，解决了这一局限。然而，现有工作多局限于监测与事后合规性检查。本文提出了一种基于复杂事件处理（CEP）的新型执行架构，实现了混合声明式模型的实时执行与强制实施。我们的三层架构将STL启发的谓词集成至执行流中，使系统能够基于连续传感器行为主动触发活动并强制执行流程边界。该方法弥合了混合规范与操作控制之间的鸿沟。