Validating process refinement with ontologies

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

Research output: Contribution to journalConference article

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 languageEnglish
Pages (from-to)1-12
Number of pages12
JournalCEUR Workshop Proceedings
Volume477
Publication statusPublished - 1 Dec 2009
Event22nd International Workshop on Description Logics, DL 2009 - Oxford, United Kingdom
Duration: 27 Jul 200930 Jul 2009
http://www.cs.ox.ac.uk/DL2009/ (Link to Official Website)

Fingerprint

Ontology
Semantics

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Ren, Y., Groener, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., ... Staab, S. (2009). Validating process refinement with ontologies. CEUR Workshop Proceedings, 477, 1-12.

Validating process refinement with ontologies. / Ren, Yuan; Groener, Gerd; Lemcke, Jens; Rahmani, Tirdad; Friesen, Andreas; Zhao, Yuting; Pan, Jeff Z.; Staab, Steffen.

In: CEUR Workshop Proceedings, Vol. 477, 01.12.2009, p. 1-12.

Research output: Contribution to journalConference article

Ren, Y, Groener, G, Lemcke, J, Rahmani, T, Friesen, A, Zhao, Y, Pan, JZ & Staab, S 2009, 'Validating process refinement with ontologies' CEUR Workshop Proceedings, vol. 477, pp. 1-12.
Ren Y, Groener G, Lemcke J, Rahmani T, Friesen A, Zhao Y et al. Validating process refinement with ontologies. CEUR Workshop Proceedings. 2009 Dec 1;477:1-12.
Ren, Yuan ; Groener, Gerd ; Lemcke, Jens ; Rahmani, Tirdad ; Friesen, Andreas ; Zhao, Yuting ; Pan, Jeff Z. ; Staab, Steffen. / Validating process refinement with ontologies. In: CEUR Workshop Proceedings. 2009 ; Vol. 477. pp. 1-12.
@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 = "12",
day = "1",
language = "English",
volume = "477",
pages = "1--12",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",

}

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 - http://www.scopus.com/inward/record.url?scp=84872973662&partnerID=8YFLogxK

M3 - Conference article

VL - 477

SP - 1

EP - 12

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -