|
|||||
|
|
| 基于交际接口的Web应用模型检验 | |
| 引用本文： | 李决龙,李亮,邢建春,杨启亮.基于交际接口的Web应用模型检验[J].计算机应用研究,2011,28(1):207-210. |
| 作者姓名： | 李决龙 李亮 邢建春 杨启亮 |
| 作者单位： | 1. 海军海防工程技术管理室,北京,100841 2. 解放军理工大学,工程兵工程学院,南京,210007;解放军63926部队,北京,102206 3. 解放军理工大学,工程兵工程学院,南京,210007 |
| 摘 要： | 为了验证Web应用的质量,首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法,通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程.结果表明验证能够顺利实现,因而该方法是一种合适的Web应用验证方法. |
| 关 键 词： | Web应用 交际接口 TICC 模型检验 |
Sociable interface-based model checking for Web applications |
|
| LI Jue-long,LI Liang,XING Jian-chun,YANG Qi-liang.Sociable interface-based model checking for Web applications[J].Application Research of Computers,2011,28(1):207-210. | |
| Authors: | LI Jue-long LI Liang XING Jian-chun YANG Qi-liang |
| Affiliation: | (1.Technical Management Office of Naval Defence Engineering, Beijing 100841, China; 2.Institute of Engineering Corps, PLA University of Science & Technology, Nanjing 210007, China; 3.PLA Military Unit No. 63926, Beijing 102206, China) |
| Abstract: | |
| Keywords: | Web applications sociable interface TICC model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 | |
| 点击此处可从《计算机应用研究》下载全文 | |