基于模型的网构软件可达性检测方法研究

摘要：

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上来;通过建立网构空间到线性空间映射,把网构线性相关判定问题转化成齐次线性方程组非零解的判定上来.转换过程把线性相关的网构进行压缩,从而有效地抑制了状态空间的增长.给出了可达性检测算法,并讨论了该方法的实际应用.

关键词：网构软件、软件可达性、进程代数、线性代数

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61070030,61111130121;北京市市属高校学术创新团队项目PHR201107107

在线出版日期：2011-10-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1001-1011