Semantic Correctness in Adaptive Process Management Systems Export

@incollection{citeulike:2522422, abstract = {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. Keywords: Semantic Correctness, Semantic Process Verification, Semantic Constraints, Adaptive Process Management Systems.}, author = {Ly, Linh and Rinderle, Stefanie and Dadam, Peter}, citeulike-article-id = {2522422}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11841760_14}, doi = {10.1007/11841760_14}, journal = {Business Process Management}, keywords = {applying, changes, conflicts, detect, semantic, when}, pages = {193--208}, posted-at = {2008-03-12 20:11:20}, priority = {2}, title = {Semantic Correctness in Adaptive Process Management Systems}, url = {http://dx.doi.org/10.1007/11841760_14}, year = {2006} }

TY - CHAP ID - citeulike:2522422 L3 - citeulike-article-id:2522422 N2 - 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. Keywords: Semantic Correctness, Semantic Process Verification, Semantic Constraints, Adaptive Process Management Systems. JF - Business Process Management EP - 208 TI - Semantic Correctness in Adaptive Process Management Systems SP - 193 KW - applying KW - changes KW - conflicts KW - detect KW - semantic KW - when AU - Ly, Linh AU - Rinderle, Stefanie AU - Dadam, Peter PY - 2006/// UR - http://dx.doi.org/10.1007/11841760_14 ER -