References

• 2007DECLARE: Full Support for Loosely-Structured Processes583 cited
• 2009Declarative workflows: Balancing between flexibility and support531 cited
• 2011Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata233 cited
• 2015Compliance monitoring in business processes: Functionalities, application, and tool-support193 cited
• 2016Conformance checking based on multi-perspective declarative process models180 cited
• 2008Constraint-based workflow management systems:shifting control to users176 cited
• 2011Monitoring Business Process Compliance Using Compliance Rule Graphs121 cited
• 2013Monitoring business constraints with the event calculus121 cited
• 2006From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation109 cited
• 2012Runtime Verification of LTL-Based Declarative Process Models98 cited
• 2013Discovering Data-Aware Declarative Process Models from Event Logs92 cited
• 2015BPI Challenge 201589 cited
• 2016Discovery of Multi-perspective Declarative Process Models76 cited
• 2008Runtime Monitoring of Message-Based Workflows with Data70 cited
• 2012An Operational Decision Support Framework for Monitoring Business Constraints