SAT-based planning in complex domains: Concurrency, constraints and nondeterminism, Artificial Intelligence, vol.147, issue.1-2, pp.85-117, 2003. ,
DOI : 10.1016/S0004-3702(02)00375-2
Verification of Choreographies During Execution Using the Reactive Event Calculus, Web Services and Formal Methods, pp.55-72, 2009. ,
DOI : 10.1007/978-3-540-72912-9_10
An extensible sat-solver, Theory and applications of satisfiability testing, pp.502-518, 2004. ,
Automatic sat-compilation of planning problems, IJCAI, 1997. ,
Declarative versus Imperative Process Modeling Languages: The Issue of Understandability, Enterprise, Business-Process and Information Systems Modeling, 2009. ,
DOI : 10.1145/177492.177726
Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability, Business Process Management Workshops, 2010. ,
DOI : 10.1007/978-3-642-12186-9_45
Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1972. ,
DOI : 10.1016/0004-3702(71)90010-5
Usability analysis of visual programming environments: a " cognitive dimensions " framework. Visual Languages & Computing, 1996. ,
Automating first-order relational logic, In ACM SIGSOFT Software Engineering Notes. ACM, 2000. ,
DOI : 10.1145/355045.355063
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8507
Software Abstractions: logic, language and analysis, 2011. ,
The guided improvement algorithm for exact, general-purpose, many-objective combinatorial optimization, 2009. ,
Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987. ,
DOI : 10.1145/41625.41635
Specifying real-time properties with metric temporal logic. Real-time systems, pp.255-299, 1990. ,
Communicating and mobile systems: the pi calculus, 1999. ,
Towards data-aware constraints in declare, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, 2013. ,
DOI : 10.1145/2480362.2480624
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Constraint-based workflow management systems: shifting control to users, 2008. ,
DECLARE: Full Support for Loosely-Structured Processes, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007. ,
DOI : 10.1109/EDOC.2007.14
Constraint-Based Workflow Models: Change Made Easy, On the Move to Meaningful Internet Systems, 2007. ,
DOI : 10.1007/978-3-540-76848-7_7
A Declarative Approach for Flexible Business Processes Management, Business Process Management Workshops, pp.169-180, 2006. ,
DOI : 10.1007/11837862_18
Workflow simulation for operational decision support, Data & Knowledge Engineering, vol.68, issue.9, pp.834-850, 2009. ,
DOI : 10.1016/j.datak.2009.02.014
Process Flexibility: A Survey of Contemporary Approaches, Advances in Enterprise Engineering I, pp.16-30, 2008. ,
DOI : 10.1007/978-3-540-68644-6_2
DecSerFlow: Towards a Truly Declarative Service Flow Language, 2006. ,
DOI : 10.1007/11841197_1
Declarative workflows: Balancing between flexibility and support, Computer Science - Research and Development, vol.66, issue.3, pp.99-113, 2009. ,
DOI : 10.1007/s00450-009-0057-9
Business Process Management: A Survey, 2003. ,
DOI : 10.1007/3-540-44895-0_1
Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.179, issue.6, pp.333-363, 2011. ,
DOI : 10.1007/s00165-010-0161-4
The Declarative Approach to Business Process Execution: An Empirical Test, Advanced Information Systems Engineering, pp.470-485, 2009. ,
DOI : 10.1145/605610.605618
Looking into the Future, OTM. 2012 ,
DOI : 10.1007/978-3-642-33606-5_16
The Impact of Testcases on the Maintainability of Declarative Process Models, Enterprise, Business-Process and Information Systems Modeling, 2011. ,
DOI : 10.1007/11575771_11