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

doi:10.1007/978-3-642-45005-1_41

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

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

1 Citation (Scopus)

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 language	English
Title of host publication	Service-Oriented Computing
Subtitle of host publication	11th International Conference, ICSOC 2013, Proceedings
Editors	Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu
Place of Publication	Heidelberg
Publisher	Springer-Verlag
Pages	515-523
Number of pages	9
ISBN (Electronic)	9783642450051
ISBN (Print)	9783642450044
DOIs	https://doi.org/10.1007/978-3-642-45005-1_41
Publication status	Published - 2013
Event	11th International Conference on Service-Oriented Computing, ICSOC 2013 - Berlin, Germany Duration: 2 Dec 2013 → 5 Dec 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	8274
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Service-Oriented Computing, ICSOC 2013
Country/Territory	Germany
City	Berlin
Period	2/12/13 → 5/12/13

Access to Document

10.1007/978-3-642-45005-1_41Licence: Unspecified

Cite this

Ren, Y., Gröner, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., Pan, J. Z., & 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). 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 et al.

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 proceeding › Published conference 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 et al. / 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{\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",

}

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 - Published 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

T2 - 11th International Conference on Service-Oriented Computing, ICSOC 2013

Y2 - 2 December 2013 through 5 December 2013

ER -

Process Refinement Validation and Explanation with Ontology Reasoning

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this