Validating process refinement with ontologies

Y. Ren, G. Groener, J. Lemcke, T. Rahmani, A. Friesen, Y. Zhao, J.Z. Pan, S. Staab

Research output: Contribution to journalArticle

5 Citations (Scopus)
5 Downloads (Pure)

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 with respect to either an abstract model or a 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 can be validated by concept satisfiability checking.
Original languageEnglish
Pages (from-to)1-15
Number of pages15
JournalCEUR Workshop Proceedings
Volume524
Publication statusPublished - 1 Jan 2009

Fingerprint

Ontology
Semantics

Keywords

  • abstract modeling
  • behaviour models
  • in-process
  • process descriptions
  • process refinement
  • satisfiability checking
  • set semantics

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, 524, 1-15.

Validating process refinement with ontologies. / Ren, Y.; Groener, G.; Lemcke, J.; Rahmani, T.; Friesen, A.; Zhao, Y.; Pan, J.Z.; Staab, S.

In: CEUR Workshop Proceedings, Vol. 524, 01.01.2009, p. 1-15.

Research output: Contribution to journalArticle

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. 524, pp. 1-15.
Ren Y, Groener G, Lemcke J, Rahmani T, Friesen A, Zhao Y et al. Validating process refinement with ontologies. CEUR Workshop Proceedings. 2009 Jan 1;524:1-15.
Ren, Y. ; Groener, G. ; Lemcke, J. ; Rahmani, T. ; Friesen, A. ; Zhao, Y. ; Pan, J.Z. ; Staab, S. / Validating process refinement with ontologies. In: CEUR Workshop Proceedings. 2009 ; Vol. 524. pp. 1-15.
@article{7b3e6b664ad7420bb1d89beed55332ce,
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 with respect to either an abstract model or a 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 can be validated by concept satisfiability checking.",
keywords = "abstract modeling, behaviour models, in-process, process descriptions, process refinement, satisfiability checking, set semantics",
author = "Y. Ren and G. Groener and J. Lemcke and T. Rahmani and A. Friesen and Y. Zhao and J.Z. Pan and S. Staab",
year = "2009",
month = "1",
day = "1",
language = "English",
volume = "524",
pages = "1--15",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

TY - JOUR

T1 - Validating process refinement with ontologies

AU - Ren, Y.

AU - Groener, G.

AU - Lemcke, J.

AU - Rahmani, T.

AU - Friesen, A.

AU - Zhao, Y.

AU - Pan, J.Z.

AU - Staab, S.

PY - 2009/1/1

Y1 - 2009/1/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 with respect to either an abstract model or a 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 can be 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 with respect to either an abstract model or a 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 can be validated by concept satisfiability checking.

KW - abstract modeling

KW - behaviour models

KW - in-process

KW - process descriptions

KW - process refinement

KW - satisfiability checking

KW - set semantics

UR - http://www.scopus.com/inward/record.url?scp=78649851443&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:78649851443

VL - 524

SP - 1

EP - 15

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -