大众科技
大衆科技
대음과기
DAZHONG KEJI
2011年
10期
27-29
,共3页
构件组装%软件配置单(SCL)%组装规则%组装验证
構件組裝%軟件配置單(SCL)%組裝規則%組裝驗證
구건조장%연건배치단(SCL)%조장규칙%조장험증
component composition%software configuration list （SCL）%composition formula%composition validation
提出了一种基于形式化验证的构件组装方法。该方法根据应用系统的功能需求及现有构件的功能特性，生成软件配置单（SCL）；然后以EBNF描述的多组组装规则为依据，采用属性文法定义及YACC对SCL进行推导验证，只有验证通过才说明组装成功。整个推导验证过程均采用形式化方法，通用性强，提高了构件组装的自动化程度，适用于多种领域的应用系统组装。
提齣瞭一種基于形式化驗證的構件組裝方法。該方法根據應用繫統的功能需求及現有構件的功能特性，生成軟件配置單（SCL）；然後以EBNF描述的多組組裝規則為依據，採用屬性文法定義及YACC對SCL進行推導驗證，隻有驗證通過纔說明組裝成功。整箇推導驗證過程均採用形式化方法，通用性彊，提高瞭構件組裝的自動化程度，適用于多種領域的應用繫統組裝。
제출료일충기우형식화험증적구건조장방법。해방법근거응용계통적공능수구급현유구건적공능특성，생성연건배치단（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.
