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 journal › Article › peer-review

5 Citations (Scopus)
9 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

Keywords

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

Access to Document

  • Validating Process Refinement with Ontologies

    Paper released under the Open Data Commons Attribution License (ODC-BY 1.0). You are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data as long as you attribute any public use of the data, or works produced from the data, in the manner specified in the license. Read the full ODC-BY 1.0 license text for the exact terms that apply. The ODC-BY 1.0 license is courtesy of the Open Knowledge Foundation.

    Final published version, 437 KB

Other files and links

    Fingerprint

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

    Cite this