| 基于模型的网构软件可达性检测方法研究 |
| |
| 引用本文： | 赵会群,孙晶,魏莹,王文文,郭峰.基于模型的网构软件可达性检测方法研究[J].计算机学报,2011,34(6):1001-1011. |
| |
| 作者姓名： | 赵会群 孙晶 魏莹 王文文 郭峰 |
| |
| 作者单位： | 北方工业大学计算机科学与技术系,北京,100144 |
| |
| 基金项目： | 国家自然科学基金，北京市市属高校学术创新团队项目 |
| |
| 摘 要： | 针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...
|
| 关 键 词： | 网构软件 软件可达性 进程代数 线性代数 |
Study on the Method of Checking the Reachability of Internet Ware Based on Model |
| |
| ZHAO Hui-Qun,SUN Jing,WEI Ying,WANG Wen-Wen,GUO Feng.Study on the Method of Checking the Reachability of Internet Ware Based on Model[J].Chinese Journal of Computers,2011,34(6):1001-1011. |
| |
| Authors: | ZHAO Hui-Qun SUN Jing WEI Ying WANG Wen-Wen GUO Feng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
