DBIS EPub

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.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
256Kb

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
ID Code:395
Deposited By: Prof. Dr. Manfred Reichert
BibTex Export:BibTeX
Deposited On:27 May 2008 18:19
Last Modified:14 Oct 2011 10:26

Repository Staff Only: item control page