Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing

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.

• Publication year

  2025

• Venue

  arXiv.org

• Publication date

  2025-12-05

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.48550/arXiv.2512.05653arXiv 2512.05653
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Aligning Metric Temporal Constraints and Event Logs via Numeric Planning

  2025cited by this paper
• Declarative Process Specifications over Discrete/Continuous Event Data

  2025influential reference
• A program logic to verify signal temporal logic specifications of hybrid systems

  2021cited by this paper
• Industry 4.0 and business process management: state of the art and new challenges

  2021influential reference
• Execution of Multi-Perspective Declarative Process Models Using Complex Event Processing

  2021cited by this paper
• Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes

  2019cited by this paper
• Execution of Multi-perspective Declarative Process Models

  2018cited by this paper
• The Internet of Things Meets Business Process Management: A Manifesto

  2017influential reference
• Conformance checking based on multi-perspective declarative process models

  2015cited by this paper
• Robust Satisfaction of Temporal Logic over Real-Valued Signals

  2010cited by this paper
• Declarative Process Mining

  2010influential reference
• Requirements Validation for Hybrid Systems

  2009cited by this paper
• DECLARE: Full Support for Loosely-Structured Processes

  2007cited by this paper
• High-performance complex event processing over streams

  2006cited by this paper
• Monitoring Temporal Properties of Continuous Signals

  2004cited by this paper
• Temporal Logic of Programs

  1987cited by this paper

• No citing papers are available for this paper.