中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
需求驱动的web服务建模及其验证一个基于本体的方法 期刊论文
中国科学e辑技术科学, 2006, 卷号: 36, 期号: 10, 页码: 1189
作者:  侯丽珊;  金芝;  吴步丹
收藏  |  浏览/下载：97/0  |  提交时间：2020/01/10
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文
中国科学E辑:信息科学, 2006, 页码: 1189-1219
作者:  侯丽珊;  金芝;  吴步丹
收藏  |  浏览/下载：94/0  |  提交时间：2021/01/14
Web服务  环境本体  自动组合  π演算  形式化验证  
FECT: A modelling framework for automatically composing Web services 期刊论文
ADVANCES IN WEB-AGE INFORMATION MANAGEMENT, PROCEEDINGS, 2005, 卷号: 3739, 页码: 320-332
作者:  Hou, LS;  Jin, Z
收藏  |  浏览/下载：59/0  |  提交时间：2018/07/30