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 desc...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.展开更多
The enhancement of computing power,the maturity of learning algorithms,and the richness of application scenarios make Artificial Intelligence(AI)solution increasingly attractive when solving Geo-spatial Information Sc...The enhancement of computing power,the maturity of learning algorithms,and the richness of application scenarios make Artificial Intelligence(AI)solution increasingly attractive when solving Geo-spatial Information Science(GSIS)problems.These include image matching,image target detection,change detection,image retrieval,and for generating data models of various types.This paper discusses the connection and synthesis between AI and GSIS in block adjustment,image search and discovery in big databases,automatic change detection,and detection of abnormalities,demonstrating that AI can integrate GSIS.Moreover,the concept of Earth Observation Brain and Smart Geo-spatial Service(SGSS)is introduced in the end,and it is expected to promote the development of GSIS into broadening applications.展开更多
基金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.
基金This work was supported in part by the National key R and D plan on strategic international scientific and technological innovation cooperation special project[grant number 2016YFE0202300]the National Natural Science Foundation of China[grant number 61671332,41771452,51708426,41890820,41771454]+1 种基金the Natural Science Fund of Hubei Province in China[grant number 2018CFA007]the Independent Research Projects of Wuhan University[grant number 2042018kf0250].
文摘The enhancement of computing power,the maturity of learning algorithms,and the richness of application scenarios make Artificial Intelligence(AI)solution increasingly attractive when solving Geo-spatial Information Science(GSIS)problems.These include image matching,image target detection,change detection,image retrieval,and for generating data models of various types.This paper discusses the connection and synthesis between AI and GSIS in block adjustment,image search and discovery in big databases,automatic change detection,and detection of abnormalities,demonstrating that AI can integrate GSIS.Moreover,the concept of Earth Observation Brain and Smart Geo-spatial Service(SGSS)is introduced in the end,and it is expected to promote the development of GSIS into broadening applications.
