Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
A meta modelng approach to workflow management systems supporting exception handling
Information Systems - Special issue on meta-modelling and methodology engineering
Formal aspects of a generic model of trust for electronic commerce
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Automatic Control of Workflow Processes Using ECA Rules
IEEE Transactions on Knowledge and Data Engineering
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Specification and validation of process constraints for flexible workflows
Information Systems
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
A static compliance-checking framework for business process models
IBM Systems Journal
Data & Knowledge Engineering
On managing business processes variants
Data & Knowledge Engineering
Process Materialization Using Templates and Rules to Design Flexible Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
Pattern-based design and validation of business process compliance
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Hi-index | 0.00 |
An adaptive process management system APMS allows for flexible, dynamic, and even ad hoc adaptation of processes based on case data, context, and events. These processes may arise in various domains such as business, healthcare, etc. In knowledge-intensive environments, it is important that APMS technology ensures error-free process execution and compliance with semantic constraints. However, most process design tools handle only syntactic constraints. This restricts their value in real-world applications considerably. This paper proposes a novel approach to check the compliance of process models against semantic constraints and the validity of process change operations using mixed-integer programming MIP. The MIP formulation allows us to describe existential, dependency, ordering, and various other relationships among tasks along with business policies in a standard way. In addition to incorporating the semantic constraint specifications into an MIP formulation, we introduce three novel ideas in this paper: 1 the notion of degree of compliance of processes to constraints based on a penalty function, 2 the concepts of full and partial validity of change operations, and 3 the idea of compliance by compensation. Thus, compensation operations derived from compliance degree can transform a noncompliant process into a compliant one both at design and execution time. We illustrate our approach in the context of a healthcare workflow as a way to reduce medical errors and argue that it is more elegant and superior to a pure logic-based approach. Complex scenarios with multiple concurrent processes and constraints across them for a single patient are also considered.