电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2009年
z1期
106-111,105
,共7页
模型驱动开发%协同系统%软件体系结构%形式化语义
模型驅動開髮%協同繫統%軟件體繫結構%形式化語義
모형구동개발%협동계통%연건체계결구%형식화어의
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.
針對模型驅動的協同應用繫統開髮,將範疇理論、代數規範和進程代數相結閤,為軟件體繫結構模型提齣瞭一種新的語義描述方法.該方法在構件規約描述的基礎上,用態射錶示構件之間的關繫,態射類型蘊含瞭構件關繫的不同語義,從而用類型範疇圖錶來描述軟件體繫結構模型,用函子描述體繫結構模型之間的映射關繫.體繫結構模型的形式化描述可用于判斷一箇轉換是否滿足某些特性或約束.以一箇協同編著繫統為例說明瞭該方法的應用.
침대모형구동적협동응용계통개발,장범주이론、대수규범화진정대수상결합,위연건체계결구모형제출료일충신적어의묘술방법.해방법재구건규약묘술적기출상,용태사표시구건지간적관계,태사류형온함료구건관계적불동어의,종이용류형범주도표래묘술연건체계결구모형,용함자묘술체계결구모형지간적영사관계.체계결구모형적형식화묘술가용우판단일개전환시부만족모사특성혹약속.이일개협동편저계통위례설명료해방법적응용.