### Abstract

Original language | Undefined |
---|---|

Place of Publication | Enschede |

Publisher | Centre for Telematics and Information Technology (CTIT) |

Number of pages | 19 |

Publication status | Published - 2009 |

### Keywords

- SCS-Services
- EWI-17071

### Cite this

*Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms*. Enschede: Centre for Telematics and Information Technology (CTIT).

}

*Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms*. Centre for Telematics and Information Technology (CTIT), Enschede.

**Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms.** / Li, C.; Reichert, M.U.; Wombacher, Andreas.

Research output: Book/Report › Report › Other research output

TY - BOOK

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

AU - Li, C.

AU - Reichert, M.U.

AU - Wombacher, Andreas

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - SCS-Services

KW - EWI-17071

M3 - Report

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

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -