Format:
Online-Ressource (PDF-Datei: 16 S., 340 kB)
,
graph. Darst.
Series Statement:
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 47
Content:
Business process models are abstractions of concrete operational procedures that occur in the daily business of organizations. To cope with the complexity of these models, business process model abstraction has been introduced recently. Its goal is to derive from a detailed process model several abstract models that provide a high-level understanding of the process. While techniques for constructing abstract models are reported in the literature, little is known about the relationships between process instances and abstract models. In this paper we show how the state of an abstract activity can be calculated from the states of related, detailed process activities as they happen. The approach uses activity state propagation. With state uniqueness and state transition correctness we introduce formal properties that improve the understanding of state propagation. Algorithms to check these properties are devised. Finally, we use behavioral profiles to identify and classify behavioral inconsistencies in abstract process models that might occur, once activity state propagation is used.
Additional Edition:
ISBN 9783869561301
Additional Edition:
Erscheint auch als Druck-Ausgabe Smirnov, Sergey State propagation in abstracted business processes Potsdam : Universitätsverlag Potsdam, 2011 ISBN 9783869561301
Language:
German
Keywords:
Forschungsbericht
URN:
urn:nbn:de:kobv:517-opus-51480
