CSpace

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
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:6/0  |  Submit date:2018/07/30
web service  environment ontology  automatic composition  pi calculus  formal verification  
需求驱动的web服务建模及其验证一个基于本体的方法 期刊论文
中国科学e辑技术科学, 2006, 卷号: 36, 期号: 10, 页码: 1189
Authors:  侯丽珊;  金芝;  吴步丹
Favorite  |  View/Download:10/0  |  Submit date:2020/01/10
modelingandverifyingwebservicesdrivenbyrequirementsanontologybasedapproach 期刊论文
scienceinchinaseriesfinformationsciences, 2006, 卷号: 49, 期号: 6, 页码: 792
Authors:  HOU Lishan;  JIN ZHi;  WU Budan
Favorite  |  View/Download:7/0  |  Submit date:2020/01/10
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文
中国科学E辑:信息科学, 2006, 页码: 1189-1219
Authors:  侯丽珊;  金芝;  吴步丹
Favorite  |  View/Download:1/0  |  Submit date:2021/01/14
Web服务  环境本体  自动组合  π演算  形式化验证