Validating process refinement with ontologies

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publicationProceedings of the 5th International Workshop on Semantic Web Enabled Software Engineering (SWESE 2009)
EditorsElisa F. Kendall, Jeff Z. Pan, Marwan Sabbouh, Ljiljana Stojanovic, Yuting Zhao
PublisherCEUR-WS.org
Pages1-15
Number of pages15
Publication statusPublished - 28 Oct 2009
Event5th International Workshop on Semantic Web Enabled Software Engineering - Chantilly, United States
Duration: 26 Oct 200926 Oct 2009
Conference number: 5

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS.org
Volume524
ISSN (Electronic)1613-0073

Workshop

Workshop5th International Workshop on Semantic Web Enabled Software Engineering
Abbreviated titleSWESE 2009
Country/TerritoryUnited States
CityChantilly
Period26/10/0926/10/09

Fingerprint

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

Cite this