Validating process refinement with ontologies

Yuan Ren; Gerd Groener; Jens Lemcke; Tirdad Rahmani; Andreas Friesen; Yuting Zhao; Jeff Z. Pan; Steffen Staab

Validating process refinement with ontologies

Yuan Ren^*
, Gerd Groener
, Jens Lemcke
, Tirdad Rahmani
, Andreas Friesen
, Yuting Zhao
, Jeff Z. Pan
, Steffen Staab

^*Corresponding author for this work

Computing Science

University of Koblenz-Landau
SAP Research

Research output: Contribution to journal › Conference article › peer-review

5 Citations (Scopus)

Abstract

A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or with respect to component's principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the refinement is represented and validated by concept satisfiability checking.

Original language	English
Pages (from-to)	1-12
Number of pages	12
Journal	CEUR Workshop Proceedings
Volume	477
Publication status	Published - 1 Dec 2009
Event	22nd International Workshop on Description Logics, DL 2009 - Oxford, United Kingdom Duration: 27 Jul 2009 → 30 Jul 2009 http://www.cs.ox.ac.uk/DL2009/ (Link to Official Website)

Access to Document

http://ceur-ws.org/Vol-477/paper_59.pdfLicence: Unspecified

Cite this

@article{6a86a47de31e41b5a753e2639d13760b,

title = "Validating process refinement with ontologies",

abstract = "A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or with respect to component's principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the refinement is represented and validated by concept satisfiability checking.",

author = "Yuan Ren and Gerd Groener and Jens Lemcke and Tirdad Rahmani and Andreas Friesen and Yuting Zhao and Pan, \{Jeff Z.\} and Steffen Staab",

year = "2009",

month = dec,

day = "1",

language = "English",

volume = "477",

pages = "1--12",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "22nd International Workshop on Description Logics, DL 2009 ; Conference date: 27-07-2009 Through 30-07-2009",

url = "http://www.cs.ox.ac.uk/DL2009/",

}

TY - JOUR

T1 - Validating process refinement with ontologies

AU - Ren, Yuan

AU - Groener, Gerd

AU - Lemcke, Jens

AU - Rahmani, Tirdad

AU - Friesen, Andreas

AU - Zhao, Yuting

AU - Pan, Jeff Z.

AU - Staab, Steffen

PY - 2009/12/1

Y1 - 2009/12/1

N2 - A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or with respect to component's principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the refinement is represented and validated by concept satisfiability checking.

AB - A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is either with respect to an abstract model or with respect to component's principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are described in an ontology in which the refinement is represented and validated by concept satisfiability checking.

UR - https://www.scopus.com/pages/publications/84872973662

M3 - Conference article

SN - 1613-0073

VL - 477

SP - 1

EP - 12

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 22nd International Workshop on Description Logics, DL 2009

Y2 - 27 July 2009 through 30 July 2009

ER -

Validating process refinement with ontologies

Abstract

Access to Document

Other files and links

Fingerprint

Cite this