Communications of the ACM
The state of knowledge-based systems
Communications of the ACM
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
Enterprise information systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions
Distributed and Parallel Databases
Flexible Modeling and Execution of Workflow Activities
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
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
Semantic E-Workflow Composition
Journal of Intelligent Information Systems
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
On Integrating Scientific Resources through Semantic Registration
SSDBM '04 Proceedings of the 16th International Conference on Scientific and Statistical Database Management
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines
Journal of Biomedical Informatics
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Integrating process learning and process evolution – a semantics based approach
BPM'05 Proceedings of the 3rd international conference on Business Process Management
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Guideline-based careflow systems
Artificial Intelligence in Medicine
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
On the specification of parameterizable business components
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after arbitrary process changes at the syntactical level. However, still errors may be caused at the semantical level. Therefore, the integration of application knowledge will flag a milestone in the development of process management technology. In this paper, we introduce a framework for defining semantic constraints over processes in such a way that they can express real-world application knowledge. On the other hand, these constraints are still manageable concerning the effort for maintenance and semantic process verification. This can be used, for example, to detect semantic conflicts when applying process changes (e.g., drug incompatibilities). In order to enable the PMS to deal with such semantic conflicts we also introduce a notion of semantic correctness and discuss how to (efficiently) verify semantic correctness in the context of process changes.