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 | |
| 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 | Germany |
| City | Berlin |
| Period | 2/12/13 → 5/12/13 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
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 proceeding › Conference contribution
}
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 -