论文部分内容阅读
提出了一种基于形式化验证的构件组装方法。该方法根据应用系统的功能需求及现有构件的功能特性，生成软件配置单（SCL）；然后以EBNF描述的多组组装规则为依据，采用属性文法定义及YACC对SCL进行推导验证，只有验证通过才说明组装成功。整个推导验证过程均采用形式化方法，通用性强，提高了构件组装的自动化程度，适用于多种领域的应用系统组装。