Process Refinement Validation and Explanation with Ontology Reasoning

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

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

1 Citation (Scopus)


In process engineering, processes can be refined from simple ones to more and more complex ones with decomposition and restructuring of activities. The validation of these refinements and the explanation of invalid refinements are non-trivial tasks. This paper formally defines process refinement validation based on the execution set semantics and presents a suite of refinement reduction techniques and an ontological representation of process refinement to enable reasoning for the validation and explanation of process refinement. Results show that it significantly improves efficiency, quality and productivity of process engineering.

Original languageEnglish
Title of host publicationService-Oriented Computing
Subtitle of host publication11th International Conference, ICSOC 2013, Proceedings
EditorsSamik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu
Place of PublicationHeidelberg
Number of pages9
ISBN (Electronic)9783642450051
ISBN (Print)9783642450044
Publication statusPublished - 2013
Event11th International Conference on Service-Oriented Computing, ICSOC 2013 - Berlin, Germany
Duration: 2 Dec 20135 Dec 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Conference on Service-Oriented Computing, ICSOC 2013

Bibliographical note

This work was partially supported by the European Union’s Seventh Framework Programme under grant agreement 604123 (FIspace).


Dive into the research topics of 'Process Refinement Validation and Explanation with Ontology Reasoning'. Together they form a unique fingerprint.

Cite this