Semantic Correctness in Adaptive Process Management Systems

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.

[1]  Amit P. Sheth,et al.  IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions , 2004, Distributed and Parallel Databases.

[2]  Frederick Hayes-Roth,et al.  The state of knowledge-based systems , 1994, CACM.

[3]  Vasant Honavar,et al.  Ontology-Extended Component-Based Workflows : A Framework for Constructing Complex Workflows from Semantically Heterogeneous Software Components , 2004, SWDB.

[4]  Stefanie Rinderle-Ma,et al.  Schema Evolution in Process Management Systems , 2004, Encyclopedia of Database Systems.

[5]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[6]  Klaus A. Kuhn,et al.  Improving pathway compliance and clinician performance by using information technology , 2007, Int. J. Medical Informatics.

[7]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[8]  Boudewijn F. van Dongen,et al.  Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.

[9]  Silvana Quaglini,et al.  Guideline-based careflow systems , 2000, Artif. Intell. Medicine.

[10]  Christoph Bussler,et al.  Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers , 2005, SWDB.

[11]  Stefanie Rinderle-Ma,et al.  Integrating Process Learning and Process Evolution - A Semantics Based Approach , 2005, Business Process Management.

[12]  Omolola Ogunyemi,et al.  GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines , 2004, J. Biomed. Informatics.

[13]  Y. Gil,et al.  A Knowledge-Based Approach to Interactive Workflow Composition , 2004 .

[14]  CreditCardType,et al.  Automatic Composition of Semantic Web Services , 2007 .

[15]  Wil M. P. van der Aalst,et al.  Adaptive Workflow-On the Interplay between Flexibility and Support , 1999, ICEIS.

[16]  Bertram Ludäscher,et al.  On integrating scientific resources through semantic registration , 2004, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004..

[17]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[18]  Jonathan M. Teich,et al.  Application of Information Technology: Automating Complex Guidelines for Chronic Disease: Lessons Learned , 2003, J. Am. Medical Informatics Assoc..

[19]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[20]  Peter Dadam,et al.  Flexible Support of Team Processes by Adaptive Workflow Systems , 2004, Distributed and Parallel Databases.

[21]  Mathias Weske,et al.  Flexible modeling and execution of workflow activities , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[22]  Erhard Rahm,et al.  Adaptive Guideline-based Treatment Workflows with AdaptFlow , 2004, CGP.

[23]  Peter Dadam,et al.  On the Modeling of Correct Service Flows with BPEL4WS , 2004, EMISA.

[24]  Marc Spraragen,et al.  An intelligent assistant for interactive workflow composition , 2004, IUI '04.

[25]  Peter Dadam,et al.  Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications , 2004, CoopIS/DOA/ODBASE.

[26]  Peter Dadam,et al.  On Dealing with Structural Conflicts between Process Type and Instance Changes , 2004, Business Process Management.

[27]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[28]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[29]  Erhard Rahm,et al.  AGENTWORK: a workflow system supporting rule-based workflow adaptation , 2004, Data Knowl. Eng..

[30]  ReichertManfred,et al.  Adept _flex Supporting Dynamic Changes of Workflows Without Losing Control , 1998 .

[31]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[32]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[33]  Mathias Weske,et al.  Formal foundation and conceptual design of dynamic adaptations in a workflow management system , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.