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/Territory | Germany |
City | Berlin |
Period | 2/12/13 → 5/12/13 |
Bibliographical note
Acknowledgement.This work was partially supported by the European Union’s Seventh Framework Programme under grant agreement 604123 (FIspace).