CSpace

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
Capability description and discovery of Internetware entity 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 4, 页码: 685-703
Authors:  Wang PuWei;  Jin Zhi;  Liu HongYan
Favorite  |  View/Download:47/0  |  Submit date:2018/07/30
Internetware  capability description  domain environment ontology  tree-like hierarchical state machine  
Building toward capability specifications of Web services based on an environment ontology 期刊论文
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2008, 卷号: 20, 期号: 4, 页码: 547-561
Authors:  Wang, Puwei;  Jin, Zhi;  Liu, Lin;  Cai, Guangjun
Favorite  |  View/Download:64/0  |  Submit date:2018/07/30
Web services  capability specification  environment ontology  hierarchical state machine  
Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820
Authors:  Hou Lishan;  Jin Zhi;  Wu Budan
Favorite  |  View/Download:49/0  |  Submit date:2018/07/30
web service  environment ontology  automatic composition  pi calculus  formal verification  
On constructing environment ontology for semantic Web services 期刊论文
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2006, 卷号: 4092, 页码: 490-503
Authors:  Wang, Puwei;  Jin, Zhi;  Liu, Lin
Favorite  |  View/Download:39/0  |  Submit date:2018/07/30