Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909946283556864 |
|---|---|
| author | Schönig, Stefan Poss, Leo Maggi, Fabrizio Maria |
| author_facet | Schönig, Stefan Poss, Leo Maggi, Fabrizio Maria |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_05653 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing Schönig, Stefan Poss, Leo Maggi, Fabrizio Maria Software Engineering Logic in Computer Science Systems and Control 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. |
| title | Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing |
| topic | Software Engineering Logic in Computer Science Systems and Control |
| url | https://arxiv.org/abs/2512.05653 |