An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Freeflow: mediating between representation and action in workflow systems
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Languages and machines: an introduction to the theory of computer science
Languages and machines: an introduction to the theory of computer science
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Data & Knowledge Engineering - Special issue on ER '96
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Model checking
Aris--Business Process Modeling
Aris--Business Process Modeling
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Worklets: a service-oriented implementation of dynamic flexibility in workflows
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Data & Knowledge Engineering
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Flexibility in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
On managing business processes variants
Data & Knowledge Engineering
The Declarative Approach to Business Process Execution: An Empirical Test
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Interacting services: From specification to execution
Data & Knowledge Engineering
Declarative workflows to efficiently manage flexible and advanced business processes
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
Self-adjusting recommendations for people-driven ad-hoc processes
BPM'10 Proceedings of the 8th international conference on Business process management
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Product-based workflow support
Information Systems
Similarity of business process models: Metrics and evaluation
Information Systems
COMPRO: a methodological approach for business process contextualisation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Better algorithms for analyzing and enacting declarative workflow languages using LTL
BPM'11 Proceedings of the 9th international conference on Business process management
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
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Declarative enhancement framework for business processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Patterns for a log-based strengthening of declarative compliance models
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Goals and Requirements for Supporting Controlled Flexibility in Software Processes
Information Resources Management Journal
Empirical Evaluation of Test Driven Modeling
International Journal of Information System Modeling and Design
A State-Based Intention Driven Declarative Process Model
International Journal of Information System Modeling and Design
Exformatics declarative case management workflows as DCR graphs
BPM'13 Proceedings of the 11th international conference on Business Process Management
International Journal of Web Services Research
Service subscription and consumption for personal web applications
The Personal Web
A survey of change management in service-based environments
Service Oriented Computing and Applications
Computational Coordination Mechanisms: A tale of a struggle for flexibility
Computer Supported Cooperative Work
Hi-index | 0.00 |
The degree of flexibility of workflow management systems heavily influences the way business processes are executed. Constraint-based models are considered to be more flexible than traditional models because of their semantics: everything that does not violate constraints is allowed. Although constraint-based models are flexible, changes to process definitions might be needed to comply with evolving business domains and exceptional situations. Flexibility can be increased by run-time support for dynamic changes - transferring instances to a new model - and ad-hoc changes - changing the process definition for one instance. In this paper we propose a general framework for a constraint-based process modeling language and its implementation. Our approach supports both ad-hoc and dynamic change, and the transfer of instances can be done easier than in traditional approaches.