10.3969/j.issn.1008-1151.2011.10.012
基于形式化验证的构件组装研究
提出了一种基于形式化验证的构件组装方法。该方法根据应用系统的功能需求及现有构件的功能特性,生成软件配置单(SCL);然后以EBNF描述的多组组装规则为依据,采用属性文法定义及YACC对SCL进行推导验证,只有验证通过才说明组装成功。整个推导验证过程均采用形式化方法,通用性强,提高了构件组装的自动化程度,适用于多种领域的应用系统组装。
构件组装、软件配置单(SCL)、组装规则、组装验证
TP311(计算技术、计算机技术)
河北省自然科学基金F2011201039
2012-04-21(万方平台首次上网日期,不代表论文的发表时间)
共3页
27-29