Sciweavers

DKE
2008

Integration and verification of semantic constraints in adaptive process management systems

13 years 11 months ago
Integration and verification of semantic constraints in adaptive process management systems
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 i...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where DKE
Authors Linh Thao Ly, Stefanie Rinderle, Peter Dadam
Comments (0)