On the Formal Semantics of Change Patterns in Process-aware Information Systems

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.

[thumbnail of ER_Paper54.pdf]
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (262kB)


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

Actions (login required)

View Item
View Item