-
题名软件模型代数性质的程序化验证
- 1
-
-
作者
赵会群
黄榆涵
-
机构
北方工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第11期240-245,共6页
-
基金
国家自然科学基金(61370051)资助
-
文摘
软件模型代数的思想是通过引入进程代数来对软件体系结构进行建模。它将构件解释为变量,将连接子抽象为代数运算,并针对软件的特性建立了软件体系结构代数模型。在代数模型的基础上,讨论分析获得一系列能指导软件演化的代数性质。但是,上述研究都只对模型的代数性质进行了理论证明,实际上并无程序能够证明这些代数性质的正确性,同时也未给出这些性质的应用方法,使其缺乏可操作性。采用程序化验证的方法对代数性质进行了验证,并对这些性质的应用算法进行了研究,进一步丰富了软件的建模理论,也使得软件演化从理论研究转化为实际应用成为可能。
-
关键词
代数模型
代数性质
程序化验证
软件演化
-
Keywords
Algebraic model , Algebraic property, Program verification, Software evolution
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-