Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms

Li, Chen and Reichert, Manfred and Wombacher, Andreas (2009) Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms. Technical Report. University of Twente, Enschede, The Netherlands.

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

Abstract

In various cases we need to transform a process model into a matrix representation for further analysis. In this paper, we introduce the notion of Order Matrix, which enables unique representation of block-structured process models. We present algorithms for transforming a block-structured process model into a corresponding order matrix and vice verse. We then prove that such order matrix constitutes a unique representation of a block-structured process model; i.e., if we transform a process model into an order matrix, and then transform this matrix back into a process model, the two process models are trace equivalent; i.e., they show same behavior. Finally, we analyze algebraic properties of order matrices.

Item Type: Monograph (Technical Report)
Subjects: DBIS Research > Publications
Depositing User: Prof. Dr. Manfred Reichert
Date Deposited: 18 Dec 2009 18:21
Last Modified: 14 Oct 2011 10:28
URI: http://dbis.eprints.uni-ulm.de/id/eprint/646

Actions (login required)

View Item
View Item