| 题名: | a model-based framework for adapting interaction mismatches of time-aware web services |
| 作者: | Zhang Guangquan
; Wang Sheng
; Rong Mei
; Li Qingchun
|
| 会议文集: | Proceedings - 2010 International Conference on Service Science, ICSS 2010
|
| 会议名称: | 2010 International Conference on Service Sciences, ICSS 2010
|
| 会议日期: | 43963
|
| 出版日期: | 2010
|
| 会议地点: | Hangzhou, China
|
| 关键词: | Intelligent control
; Model checking
; Quality of service
; Web services
|
| 出版地: | United States
|
| 收录类别: | ei
|
| ISBN: | 9780770000000
|
| 部门归属: | (1) School of Computer Science and Technology, Soochow University, Suzhou 215006, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Science, Beijing 100080, China; (3) Shenzhen Tourism College, Jinan University, Shenzhen 518053, China
|
| 主办者: | International Business Machines China Company Limited (IBM); Zhejiang University (ZJU); Institute of Software, Chinese Academy of Sciences (ISCAS)
|
| 英文摘要: | Service composition is becoming a central aspect in the new paradigm SaaS. In practice, most web services can not be integrated directly into applications because there are some mismatches in their interfaces. These mismatches may arise at different interoperability levels: technical, signature, behavioral, quality of service and semantic. In this paper, we present a model-based framework for generating adaptor protocol for a set of participating behavioral mismatching web services, which also have the ability to deal with time-related issues in QoS level. In order to detect interaction mismatches of time-aware web services, we introduce a formalism, called timed service protocol, to capture timed behavior of time-aware web services and implement automatic mismatch detection via model checker UPPAAL. Building upon this formalization, we present a mechanism to automatically generate adaptor protocol if interaction protocols of the participating time-aware web services are partial compatible. Meanwhile, we illustrate our framework with the help of order management system case study. © 2010 IEEE. |
| 语种: | 英语
|
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8614
|
| Appears in Collections: | 中科院软件所图书馆_2010软件所会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| a model based framework for adapting interaction mismatches of time aware web services.pdf（320KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Zhang Guangquan,Wang Sheng,Rong Mei,et al. a model-based framework for adapting interaction mismatches of time-aware web services[C]. 见:2010 International Conference on Service Sciences, ICSS 2010. Hangzhou, China. 43963.
|
|
|
