计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2009年
7期
1678-1680,1715
,共4页
申利民%马川%王建龙%牛景春%彭思维
申利民%馬川%王建龍%牛景春%彭思維
신이민%마천%왕건룡%우경춘%팽사유
体系结构%形式化%上下文相关%构件%求精
體繫結構%形式化%上下文相關%構件%求精
체계결구%형식화%상하문상관%구건%구정
为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程.最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型.
為瞭提高軟件體繫結構求精的精確性與可追溯性,使處于不同抽象層次之間的體繫結構之間形成規範的映射體繫,引入瞭形式化方法,定義瞭一種基于上下文相關文法的形式化的求精文法,併將該文法應用到體繫結構求精中,給齣瞭基于構件的體繫結構形式化求精過程.最後,基于體繫結構求精方法建立瞭相應的用于指導軟件開髮的模型.
위료제고연건체계결구구정적정학성여가추소성,사처우불동추상층차지간적체계결구지간형성규범적영사체계,인입료형식화방법,정의료일충기우상하문상관문법적형식화적구정문법,병장해문법응용도체계결구구정중,급출료기우구건적체계결구형식화구정과정.최후,기우체계결구구정방법건립료상응적용우지도연건개발적모형.
