Modeling and verifying Web services driven by requirements:An ontology-based approach  

作　　者：HOU Lishan1,3,JIN ZHi1,2 & WU Budan1,4 1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China 2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China 3. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China 4. Graduate University of Chinese Academy of Sciences, Beijing 100049, China 

出　　处：《Science in China(Series F)》2006年第6期792-820,共29页中国科学（F辑英文版）

基　　金：This work was partly supported by the National Natural Science Foundation of China （Grant Nos. 60233010 and 60496324）; the National Key Research and Development Program of China （Grant No. 2002CB312004）; the Knowledge Innovation Program of the Chinese Academy of Sciences and MADIS of the Chinese Academy of Sciences.

摘　　要：Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关 键 词：Web service environment ontology automatic composition π calculus formal verification. 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]