The state of knowledge-based systems
Communications of the ACM
Freeflow: mediating between representation and action in workflow systems
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Workflow and Process Synchronization with Interaction Expressions and Graphs
Proceedings of the 17th International Conference on Data Engineering
Specifying and Reasoning about Workflows with Path Constraints
ICSC '99 Proceedings of the 5th International Computer Science Conference on Internet Applications
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences - Volume 1
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
An intelligent assistant for interactive workflow composition
Proceedings of the 9th international conference on Intelligent user interfaces
Tucupi: a flexible workflow system based on overridable constraints
Proceedings of the 2004 ACM symposium on Applied computing
Enhancement of workflow flexibility by composing activities at run-time
Proceedings of the 2004 ACM symposium on Applied computing
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
Specification and validation of process constraints for flexible workflows
Information Systems
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
Semantic correctness in adaptive process management systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Guideline-based careflow systems
Artificial Intelligence in Medicine
A semantic repository approach to improve the government to business relationship
Data & Knowledge Engineering
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Flexibility in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Research and Application on Business Rules for One-Stop Administrative Permit System
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Maintaining Compliance in Customizable Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
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
Cross-layer adaptation and monitoring of service-based applications
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Autonomic internet-scale workflows
Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond
Ensuring compliance with semantic constraints in process adaptation with rule-based event processing
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
Adaptation of service-based systems
Service research challenges and solutions for the future internet
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Discovering business rules from business process models
Proceedings of the 12th International Conference on Computer Systems and Technologies
CLAM: cross-layer adaptation manager for service-based applications
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Extended ontology-based process management architecture
CDVE'11 Proceedings of the 8th international conference on Cooperative design, visualization, and engineering
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Achieving life-cycle compliance of service-oriented architectures: open issues and challenges
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
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
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
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
Compliance checking of integrated business processes
Data & Knowledge Engineering
Retrieval and clustering for supporting business process adjustment and analysis
Information Systems
Information and Software Technology
How to guarantee compliance between workflows and product lifecycles?
Information Systems
Hi-index | 0.00 |
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary process changes at the syntactical level (e.g., avoiding inconsistencies such as deadlocks or missing input parameters after a process change). However, errors may be still caused at the semantical level (e.g., violation of business rules). Therefore, the integration and verification of domain knowledge will flag a milestone in the development of adaptive 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 domain knowledge on the one hand and are still manageable concerning the effort for maintenance and semantic process verification on the other hand. This can be used to detect semantic conflicts (e.g., drug incompatibilities) when modeling process templates, applying ad hoc changes at process instance level, and propagating process template modifications to already running process instances, even if they have been already individually modified themselves; i.e., we present techniques to ensure semantic correctness for single and concurrent changes which are, in addition, minimal regarding the set of semantic constraints to be checked. Together with further optimizations of the semantic checks based on certain process meta model properties this allows for efficiently verifying processes. Altogether, the framework presented in this paper provides the basis for process management systems which are adaptive and semantic-aware at the same time.