Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter (2006) Semantic Correctness in Adaptive Process Management Systems. In: Proc. 4th Int'l conf. on Business Process Management (BPM'06), Vienna, Austria.
Download (760kB)
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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Subjects: | DBIS Research > Publications |
Divisions: | Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Research > Publications |
Depositing User: | Eva Mader |
Date Deposited: | 04 Apr 2008 09:01 |
Last Modified: | 14 Oct 2011 10:23 |
URI: | http://dbis.eprints.uni-ulm.de/id/eprint/106 |