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, Berlin, Germany, December 2-5, 2013, Proceedings |
| Editors | Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu |
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer |
| Pages | 515-523 |
| Number of pages | 9 |
| ISBN (Electronic) | 978-3-642-45005-1 |
| ISBN (Print) | 978-3-642-45004-4 |
| DOIs | |
| Publication status | Published - 27 Nov 2013 |
| Event | 11th International Conference on Service Oriented Computing (ICSOC 2013) - Berlin, Germany Duration: 2 Dec 2013 → 5 Dec 2013 Conference number: 11 https://icsoc2013.servtech.info/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer, Berlin, Heidelberg |
| Volume | 8274 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 11th International Conference on Service Oriented Computing (ICSOC 2013) |
|---|---|
| Abbreviated title | ICSOC 2013 |
| Country/Territory | Germany |
| City | Berlin |
| Period | 2/12/13 → 5/12/13 |
| Internet address |