软件模型代数性质的程序化验证

• 作者: 赵会群 黄榆涵
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 代数模型 代数性质 程序化验证 软件演化
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 第六届全国软件分析测试与演化学术会议
• 页码范围: 240-245
• 页数: 6页
• 分类号: TP311
• 字数: 4667字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.11.036

摘要

软件模型代数的思想是通过引入进程代数来对软件体系结构进行建模.它将构件解释为变量,将连接子抽象为代数运算,并针对软件的特性建立了软件体系结构代数模型.在代数模型的基础上,讨论分析获得一系列能指导软件演化的代数性质.但是,上述研究都只对模型的代数性质进行了理论证明,实际上并无程序能够证明这些代数性质的正确性,同时也未给出这些性质的应用方法,使其缺乏可操作性.采用程序化验证的方法对代数性质进行了验证,并对这些性质的应用算法进行了研究,进一步丰富了软件的建模理论,也使得软件演化从理论研究转化为实际应用成为可能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵会群	北方工业大学计算机学院	79	920	14.0	28.0
2	黄榆涵	北方工业大学计算机学院	1	0	0.0	0.0