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

C. Li, M.U. Reichert, Andreas Wombacher

Research output: Book/ReportReportOther research output

6 Downloads (Pure)

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.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages19
Publication statusPublished - 2009

Keywords

  • SCS-Services
  • EWI-17071

Cite this

Li, C., Reichert, M. U., & Wombacher, A. (2009). Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms. Enschede: Centre for Telematics and Information Technology (CTIT).
Li, C. ; Reichert, M.U. ; Wombacher, Andreas. / Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms. Enschede : Centre for Telematics and Information Technology (CTIT), 2009. 19 p.
@book{5f451a37d3124f9287b9e30743f8ece1,
title = "Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms",
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.",
keywords = "SCS-Services, EWI-17071",
author = "C. Li and M.U. Reichert and Andreas Wombacher",
year = "2009",
language = "Undefined",
publisher = "Centre for Telematics and Information Technology (CTIT)",
address = "Netherlands",

}

Li, C, Reichert, MU & Wombacher, A 2009, 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.

Enschede : Centre for Telematics and Information Technology (CTIT), 2009. 19 p.

Research output: Book/ReportReportOther 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 -

Li C, Reichert MU, Wombacher A. Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms. Enschede: Centre for Telematics and Information Technology (CTIT), 2009. 19 p.