| Title: | a model-based framework for adapting interaction mismatches of time-aware web services |
| Author: | Zhang Guangquan
; Wang Sheng
; Rong Mei
; Li Qingchun
|
| Source: | Proceedings - 2010 International Conference on Service Science, ICSS 2010
|
| Conference Name: | 2010 International Conference on Service Sciences, ICSS 2010
|
| Conference Date: | 43963
|
| Issued Date: | 2010
|
| Conference Place: | Hangzhou, China
|
| Keyword: | Intelligent control
; Model checking
; Quality of service
; Web services
|
| Publish Place: | United States
|
| Indexed Type: | ei
|
| ISBN: | 9780770000000
|
| Department: | (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
|
| Sponsorship: | International Business Machines China Company Limited (IBM); Zhejiang University (ZJU); Institute of Software, Chinese Academy of Sciences (ISCAS)
|
| English Abstract: | 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. |
| Language: | 英语
|
| Content Type: | 会议论文
|
| 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.
|
|
|
