计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
3期
238-243
,共6页
协同状态网%软件建模%模型驱动开发
協同狀態網%軟件建模%模型驅動開髮
협동상태망%연건건모%모형구동개발
软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻“银弹”式的软件建模方法.在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述.首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释.以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法.阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等.
軟件建模是軟件活動的根本任務和模型驅動開髮過程的覈心,軟件工程界一直追尋“銀彈”式的軟件建模方法.在分析現有軟件建模方法的基礎上,提齣瞭協同狀態網,以實現對軟件繫統的靜態和動態特徵描述.首先給齣瞭協同狀態網的形式化定義、圖形化錶示以及相關概唸解釋.以鍋爐控製軟件繫統為例,詳細說明瞭模型構造算法、模型可靠性分析方法.闡述瞭協同狀態網在軟件建模與實現等方麵的一些優點,如便于理解,一箇模型描述靜動態特徵,模型可分析可執行,可視化和一緻性較好等.
연건건모시연건활동적근본임무화모형구동개발과정적핵심,연건공정계일직추심“은탄”식적연건건모방법.재분석현유연건건모방법적기출상,제출료협동상태망,이실현대연건계통적정태화동태특정묘술.수선급출료협동상태망적형식화정의、도형화표시이급상관개념해석.이과로공제연건계통위례,상세설명료모형구조산법、모형가고성분석방법.천술료협동상태망재연건건모여실현등방면적일사우점,여편우리해,일개모형묘술정동태특정,모형가분석가집행,가시화화일치성교호등.