Rinderle-Ma, Stefanie and Reichert, Manfred and Weber, Barbara (2008) On the Formal Semantics of Change Patterns in Process-aware Information Systems. In: Proc. 27th Int'l Conference on Conceptual Modeling (ER'08), October 2008, Barcelona, Spain.
Download (262kB)
Abstract
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAIS) which are able to support changes at different levels and of different process aspects. As for process modeling languages, a multitude of approaches, paradigms, and systems for realizing adaptive processes have emerged. This variety makes it difficult for PAIS engineers to choose the adequate technology. Therefore we introduced a set of commonly used process change patterns which facilitate the comparison between different approaches and tools. In this paper, we provide the formal semantics of these change patterns to ground pattern implementation and pattern-based analysis of PAIS on a solid basis. As challenge, we want to describe the formal semantics of change patterns independent of a certain process meta model. Altogether, our formalization will enable unambiguous and systematic comparison of adaptive PAIS.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Uncontrolled Keywords: | process change, process change pattern, trace equivalence, dynamic change, ADEPT |
Subjects: | DBIS Research > Publications |
Depositing User: | Prof. Dr. Manfred Reichert |
Date Deposited: | 27 May 2008 18:19 |
Last Modified: | 14 Oct 2011 10:26 |
URI: | http://dbis.eprints.uni-ulm.de/id/eprint/395 |