@inproceedings{c2411df423e04c4886f14547d6c15d6e,
title = "Process Refinement Validation and Explanation with Ontology Reasoning",
abstract = "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.",
author = "Yuan Ren and Gerd Gr{\"o}ner and Jens Lemcke and Tirdad Rahmani and Andreas Friesen and Yuting Zhao and Pan, {Jeff Z.} and Steffen Staab",
note = "Acknowledgement. This work was partially supported by the European Union{\textquoteright}s Seventh Framework Programme under grant agreement 604123 (FIspace).; 11th International Conference on Service-Oriented Computing, ICSOC 2013 ; Conference date: 02-12-2013 Through 05-12-2013",
year = "2013",
doi = "10.1007/978-3-642-45005-1_41",
language = "English",
isbn = "9783642450044",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "515--523",
editor = "Samik Basu and Cesare Pautasso and Liang Zhang and Xiang Fu",
booktitle = "Service-Oriented Computing",
}