A logic-based calculus of events
New Generation Computing
DECLARE: Full Support for Loosely-Structured Processes
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
The Declarative Approach to Business Process Execution: An Empirical Test
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Artificial intelligence today
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
Monitoring business process compliance using compliance rule graphs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Workflow data patterns: identification, representation and tool support
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Plug-and-Play Virtual Factories
IEEE Internet Computing
Monitoring business constraints with the event calculus
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
| Hi-index | 0.00 |
In recent years, declarative, constraint-based approaches have been proposed to model loosely-structured business processes, mediating between support and flexibility. A notable example is the Declare framework, equipped with a graphical declarative language whose semantics can be characterized with several logic-based formalisms. Up to now, Declare constraints have been mainly used to tackle control-flow aspects, abstracting away from data. In this work, we extend Declare so as to include task data and data-aware constraints. We show how the Event Calculus (EC) formalization of Declare can be improved to deal with such extensions, and to apply a reactive EC reasoner for monitoring data-aware constraints.