|
|||||
|
|
Rule-based validation of SLA choreographies |
|
| Authors: | Irfan Ul Haq Adrian Paschke Erich Schikuta Harold Boley |
| Affiliation: | 1. Department of Knowledge and Business Engineering, University of Vienna, Vienna, Austria 2. Institute of Computer Science, Freie University Berlin, Berlin, Germany 3. Institute of Information Technology, National Research Council, Ottawa, Canada |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |