图 书 馆
语义Web服务编排:契约和制定Semantic Web Service Choreography: Contracting and Enactment |
|
| 课程网址: | http://videolectures.net/iswc08_roman_swsc/ |
| 主讲教师: | Dumitru Roman |
| 开课单位: | STI国际公司 |
| 开课时间: | 2008-11-24 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | The emerging paradigm of service-oriented computing requires novel techniques for various service-related tasks. Along with automated support for service discovery, selection, negotiation, and composition, support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Many problems in this area involve reasoning, and a number of logic-based methods to handle these problems have emerged in the field of Semantic Web Services. In this paper, we build upon our previous work where we used Concurrent Transaction Logic (CTR) to model and reason about service contracts. We significantly extend the modeling power of the previous work by allowing iterative processes in the specification of service contracts, and we extend the proof theory of CTR to enable reasoning about such contracts. With this extension, our logic-based approach is capable of modeling general services represented using languages such as WS-BPEL. |
| 关 键 词: | 面向服务计算; 自动化; 服务契约; 服务环境; 人机交互; 并发事务逻辑; 建模推理 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-07-29：yumf |
| 阅读次数: | 70 |