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

Research output: Contribution to journalConference articlepeer-review


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
Publication statusPublished - 1 Dec 2009
Event22nd International Workshop on Description Logics, DL 2009 - Oxford, United Kingdom
Duration: 27 Jul 200930 Jul 2009 (Link to Official Website)


Dive into the research topics of 'Validating process refinement with ontologies'. Together they form a unique fingerprint.

Cite this