Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Time prediction based on process mining
Information Systems
Product-based workflow support
Information Systems
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Modeling and verification of a protocol for operational support using coloured petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
An iterative approach for business process template synthesis from compliance rules
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Pattern-based modeling and formalizing of business process quality constraints
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
FlexCon: robust context handling in human-oriented pervasive flows
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
An artifact-centric approach to dynamic modification of workflow execution
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Runtime verification of LTL-Based declarative process models
RV'11 Proceedings of the Second international conference on Runtime verification
Aggregating individual models of decision-making processes
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Efficient discovery of understandable declarative process models from event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Patterns for a log-based strengthening of declarative compliance models
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
M3D: a tool for the model driven development of web applications
Proceedings of the twelfth international workshop on Web information and data management
OWL-DL domain-models as abstract workflows
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Data management perspectives on business process management: tutorial overview
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Towards data-aware constraints in declare
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Benchmarking smart spaces through autonomous virtual agents
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Synthesizing daily life logs through gaming and simulation
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
Dealing with uncertainty: Robust workflow navigation in the healthcare domain
ACM Transactions on Intelligent Systems and Technology (TIST) - Survey papers, special sections on the semantic adaptive social web, intelligent systems for health informatics, regular papers
Discovering data-aware declarative process models from event logs
BPM'13 Proceedings of the 11th international conference on Business Process Management
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
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
Product and Production Process Modeling and Configuration
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured pro- cesses. Furthermore, flexibility in contemporary WFMSs usually comes at a certain cost, such as lack of support for users, lack of methods for model analysis, lack of methods for analysis of past executions, etc. DECLARE is a proto- type of a WFMS that uses a constraint-based process mod- eling language for the development of declarative models describing loosely-structured processes. In this paper we show how DECLARE can support loosely-structured pro- cesses without sacrificing important WFMSs features like user support, model verification, analysis of past execu- tions, changing models at run-time, etc.