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

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
PublisherSpringer-Verlag
Pages515-523
Number of pages9
ISBN (Electronic)9783642450051
ISBN (Print)9783642450044
DOIs
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)
PublisherSpringer
Volume8274
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Service-Oriented Computing, ICSOC 2013
CountryGermany
CityBerlin
Period2/12/135/12/13

Fingerprint

Process engineering
Ontology
Refinement
Reasoning
Productivity
Semantics
Decomposition
Engineering
Decompose

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Ren, Y., Gröner, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., ... Staab, S. (2013). Process Refinement Validation and Explanation with Ontology Reasoning. In S. Basu, C. Pautasso, L. Zhang, & X. Fu (Eds.), Service-Oriented Computing: 11th International Conference, ICSOC 2013, Proceedings (pp. 515-523). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8274). Heidelberg: Springer-Verlag. https://doi.org/10.1007/978-3-642-45005-1_41

Process Refinement Validation and Explanation with Ontology Reasoning. / Ren, Yuan; Gröner, Gerd; Lemcke, Jens; Rahmani, Tirdad; Friesen, Andreas; Zhao, Yuting; Pan, Jeff Z.; Staab, Steffen.

Service-Oriented Computing: 11th International Conference, ICSOC 2013, Proceedings. ed. / Samik Basu; Cesare Pautasso; Liang Zhang; Xiang Fu. Heidelberg : Springer-Verlag, 2013. p. 515-523 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8274).

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

Ren, Y, Gröner, G, Lemcke, J, Rahmani, T, Friesen, A, Zhao, Y, Pan, JZ & Staab, S 2013, Process Refinement Validation and Explanation with Ontology Reasoning. in S Basu, C Pautasso, L Zhang & X Fu (eds), Service-Oriented Computing: 11th International Conference, ICSOC 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8274, Springer-Verlag, Heidelberg, pp. 515-523, 11th International Conference on Service-Oriented Computing, ICSOC 2013, Berlin, Germany, 2/12/13. https://doi.org/10.1007/978-3-642-45005-1_41
Ren Y, Gröner G, Lemcke J, Rahmani T, Friesen A, Zhao Y et al. Process Refinement Validation and Explanation with Ontology Reasoning. In Basu S, Pautasso C, Zhang L, Fu X, editors, Service-Oriented Computing: 11th International Conference, ICSOC 2013, Proceedings. Heidelberg: Springer-Verlag. 2013. p. 515-523. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-45005-1_41
Ren, Yuan ; Gröner, Gerd ; Lemcke, Jens ; Rahmani, Tirdad ; Friesen, Andreas ; Zhao, Yuting ; Pan, Jeff Z. ; Staab, Steffen. / Process Refinement Validation and Explanation with Ontology Reasoning. Service-Oriented Computing: 11th International Conference, ICSOC 2013, Proceedings. editor / Samik Basu ; Cesare Pautasso ; Liang Zhang ; Xiang Fu. Heidelberg : Springer-Verlag, 2013. pp. 515-523 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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’s Seventh Framework Programme under grant agreement 604123 (FIspace).",
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",

}

TY - GEN

T1 - Process Refinement Validation and Explanation with Ontology Reasoning

AU - Ren, Yuan

AU - Gröner, Gerd

AU - Lemcke, Jens

AU - Rahmani, Tirdad

AU - Friesen, Andreas

AU - Zhao, Yuting

AU - Pan, Jeff Z.

AU - Staab, Steffen

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

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84892412143&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-45005-1_41

DO - 10.1007/978-3-642-45005-1_41

M3 - Conference contribution

AN - SCOPUS:84892412143

SN - 9783642450044

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 515

EP - 523

BT - Service-Oriented Computing

A2 - Basu, Samik

A2 - Pautasso, Cesare

A2 - Zhang, Liang

A2 - Fu, Xiang

PB - Springer-Verlag

CY - Heidelberg

ER -