AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee |
| |
Authors: | JinPeng Huai Ting Deng XianXian Li ZongXia Du HuiPeng Guo |
| |
Affiliation: | HUAI JinPeng1,2,DENG Ting1,LI XianXian1,DU ZongXia1,2 & GUO HuiPeng1,2 1 National Laboratory of Software Development Environment,Beihang University,Beijing 100191,China,2 School of Computer Science & Engineering |
| |
Abstract: | How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadlock and unspecified reception,and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design,which makes the composition process both complex and time-consuming. In th... |
| |
Keywords: | business protocol synthesis composite service correctness constraints L* algorithm |
本文献已被 CNKI 维普 SpringerLink 等数据库收录! |
|