长沙航空职业技术学院学报
長沙航空職業技術學院學報
장사항공직업기술학원학보
JOURNAL OF CHANGSHA AERONAUTICAL VOCATIONAL AND TECHNICAL COLLEGE
2014年
3期
72-77,86
,共7页
软件产品线%可追溯性%特征模型%软件架构%形式概念分析
軟件產品線%可追溯性%特徵模型%軟件架構%形式概唸分析
연건산품선%가추소성%특정모형%연건가구%형식개념분석
基于形式概念分析技术,提出了一种验证特征模型和软件架构之间具有可追溯性的方法.该方法分析了特征的组成,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则.与一般的模型可追溯性验证方法相比,该方法更适用于复杂度高的模型,最后通过实例研究说明了方法的有效性.
基于形式概唸分析技術,提齣瞭一種驗證特徵模型和軟件架構之間具有可追溯性的方法.該方法分析瞭特徵的組成,定義瞭特徵模型和軟件架構的功能錶達式,構造瞭概唸格併提齣瞭兩箇模型之間的映射規則.與一般的模型可追溯性驗證方法相比,該方法更適用于複雜度高的模型,最後通過實例研究說明瞭方法的有效性.
기우형식개념분석기술,제출료일충험증특정모형화연건가구지간구유가추소성적방법.해방법분석료특정적조성,정의료특정모형화연건가구적공능표체식,구조료개념격병제출료량개모형지간적영사규칙.여일반적모형가추소성험증방법상비,해방법경괄용우복잡도고적모형,최후통과실례연구설명료방법적유효성.
