基于形式化验证的构件组装研究  

Component Composition Research Based on Formal Validation

作　　者：崔天伟 娄健[2] 何欣枫[3] 

机构地区：[1]中国移动通信集团河北有限公司保定分公司,河北保定071051 [2]河北大学计算中心,河北保定071002 [3]河北大学数学与计算机学院,河北保定071002

出　　处：《大众科技》2011年第10期27-29,共3页Popular Science & Technology

基　　金：河北省自然科学基金(F2011201039)

摘　　要：提出了一种基于形式化验证的构件组装方法。该方法根据应用系统的功能需求及现有构件的功能特性,生成软件配置单(SCL);然后以EBNF描述的多组组装规则为依据,采用属性文法定义及YACC对SCL进行推导验证,只有验证通过才说明组装成功。整个推导验证过程均采用形式化方法,通用性强,提高了构件组装的自动化程度,适用于多种领域的应用系统组装。A approach of component composition based on formal validation is presented. Firstly, a Software Configuration List （SCL） is generated in the approach based on the function requirements of an application system and the existed components. Then, the SCL is validated by an attribute grammar definition and the YACC tools, which follows several sets of composition formulas described by EBNF. The composition process is successfully achieved, only if the validation is passed. The process of validation is completely based on formal method and can accommodate itself to the most of condition. It can improve the automatization of component composition and can be introduced to the application system composition in varied domains.

关 键 词：构件组装 软件配置单(SCL) 组装规则 组装验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]