《计算机学报》文章摘要   全文下载
文章题目	基于模型的网构软件可达性检测方法研究
作者	赵会群 孙晶 魏莹 王文文 郭峰
作者单位	(北方工业大学计算机科学与技术系 北京 100144)
发表年份	2011
发表月份	6期(1001—1011)
文章摘要	摘要 针对网构软件(Internetware)可达性检测中存在状态空间“爆炸”等问题，提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型，通过引入网构相关和网构空间概念，进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系，把可达性判定转化成递归表达式(网构线性相关)判定上来；通过建立网构空间到线性空间映射，把网构线性相关判定问题转化成齐次线性方程组非零解的判定上来.转换过程把线性相关的网构进行压缩，从而有效地抑制了状态空间的增长.给出了可达性检测算法，并讨论了该方法的实际应用. 关键词 网构软件；软件可达性；进程代数；线性代数 中图法分类号 TP311 DOI号：10.3724/SP.J.1016.2011.01001