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 proceedingConference contribution

Abstract / Description of output

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, Berlin, Germany, December 2-5, 2013, Proceedings
EditorsSamik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages9
ISBN (Electronic)978-3-642-45005-1
ISBN (Print)978-3-642-45004-4
Publication statusPublished - 27 Nov 2013
Event11th International Conference on Service Oriented Computing (ICSOC 2013)
- Berlin, Germany
Duration: 2 Dec 20135 Dec 2013
Conference number: 11

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Conference on Service Oriented Computing (ICSOC 2013)
Abbreviated titleICSOC 2013
Internet address


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

Cite this