TY - GEN
T1 - Semantic correctness in adaptive process management systems
AU - Ly, Linh Thao
AU - Rinderle, Stefanie
AU - Dadam, Peter
PY - 2006
Y1 - 2006
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.
AB - 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.
KW - Adaptive Process Management Systems
KW - Semantic Constraints
KW - Semantic Correctness
KW - Semantic Process Verification
UR - http://www.scopus.com/inward/record.url?scp=33750019247&partnerID=8YFLogxK
U2 - 10.1007/11841760_14
DO - 10.1007/11841760_14
M3 - Conference contribution
AN - SCOPUS:33750019247
SN - 3540389016
SN - 9783540389019
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 193
EP - 208
BT - Business Process Management - 4th International Conference, BPM 2006, Proceedings
PB - Springer Verlag
T2 - 4th International Conference on Business Process Management, BPM 2006
Y2 - 5 September 2006 through 7 September 2006
ER -