QQ客服 官方微博 反馈留言

浏览/检索结果: 共16条，第1-10条 帮助 限定条件 专题：暨南大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于XYZ/ADL的Web服务组合描述与验证 期刊论文 2011, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 86 作者:  张广泉[1,2];  戎玫[3];  朱雪阳[2];  何亚丽[1];  石慧娟[1] 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/03 Web服务组合  XYZ/ADL  XYZ/RE  时间自动机  精化检验  模型检测   Specification and verification of web service composition based on XYZ/ADL 期刊论文 2011, 卷号: 39, 期号: 3 A, 页码: 86 作者:  Zhang, Guang-Quan[1,2];  Rong, Mei[3];  Zhu, Xue-Yang[2];  He, Ya-Li[1];  Shi, Hui-Juan[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17 基于XYZ／ADL的异步Web服务组合描述与验证 期刊论文 2011, 卷号: 38, 期号: 12, 页码: 139 作者:  石慧娟[1];  戎玫[2];  张广泉[1,3];  朱稷涵[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/06 Web服务组合  XYZ/ADL  异步通信  时间属性  模型检测   一种基于UPPAAL的Web服务组合模型检测方法 期刊论文 2010, 卷号: 37, 期号: 11, 页码: 122 作者:  何亚丽[1];  戎玫[2];  张广泉[1,3] 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/06 Web服务组合  模型检测  XYZ/ADL  XYZ/RE  UPPAAL   面向方面的软件体系结构描述语言AO-ADL 期刊论文 2008, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 80 作者:  杨敬中[1];  戎玫[2];  张广泉[1,3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03 面向方面编程  软件体系结构  XYZ/ADL语言  AO-ADL语言   一种基于体系结构的Web服务组合描述方法 期刊论文 2008, 卷号: 30, 期号: 12, 页码: 5 作者:  魏慧[1];  戎玫[2];  张广泉[1] 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/06 Web服务  服务组合  体系结构描述语言  XYZ/ADL   UML与软件体系结构描述语言之间的转换机制研究 期刊论文 2007, 卷号: 34, 期号: [db:dc_citation_issue], 页码: 262 作者:  张广泉[1];  戎玫[2];  陈琳琳[1] 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/03 软件体系结构描述  XYZ/ADL  UML  转换   体系结构描述语言XYZ／ADL到UML的映射 期刊论文 2006, 卷号: 26, 期号: [db:dc_citation_issue], 页码: 468 作者:  陈琳琳[1];  戎玫[2];  张广泉[1,3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/03 软件体系结构  形式化描述  可视化描述  XYZ/ADL  UML   A MAPPING FROM SOFTWARE ARCHITECTURAL DESCRIPTION LANGUAGE XYZ/ADL TO UML2.0 会议论文 开封, 2008年1月1日 作者:  RONG MEI[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/10 SOFTWARE ARCHITECTURE  FORMAL DESCRIPTION  VISUAL DESCRIPTION  XYZ/ADL  UML2.0   UML与XYZ/ADL在电梯控制系统体系结构建模中的应用 会议论文 昆明, 2006年08月01日 作者:  张玲红 [1];  张广泉 [2];  朱雪阳 [3];  戎玫 [4];  何玉乾 [5] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/10 软件体系结构  UML  XYZ/ADL  建模  电梯控制系统