计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
3期
945-947,1022
,共4页
统一建模语言%状态图%通信序列进程语言%并行环境%形式语义%模型检验
統一建模語言%狀態圖%通信序列進程語言%併行環境%形式語義%模型檢驗
통일건모어언%상태도%통신서렬진정어언%병행배경%형식어의%모형검험
标准UML(unified model language)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性.针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法.根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性.
標準UML(unified model language)狀態圖中缺乏對併行環境精確的動態語義,不利于對其所描述的併行環境進行形式化分析、驗證和確認,而CSP(通信序列進程)語言具有嚴格的數學定義和分析方法,可用于驗證模型的正確性.針對此特點,提齣瞭結閤CSP的UML狀態圖的形式語義,同時給齣在併行環境下UML狀態圖的閤併方法.根據形式語義對UML狀態圖在併行環境中應用的正確性(模型檢驗)進行分析,通過操作繫統進程調度在併行環境下運行實例的結果錶明瞭該形式語義的正確性.
표준UML(unified model language)상태도중결핍대병행배경정학적동태어의,불리우대기소묘술적병행배경진행형식화분석、험증화학인,이CSP(통신서렬진정)어언구유엄격적수학정의화분석방법,가용우험증모형적정학성.침대차특점,제출료결합CSP적UML상태도적형식어의,동시급출재병행배경하UML상태도적합병방법.근거형식어의대UML상태도재병행배경중응용적정학성(모형검험)진행분석,통과조작계통진정조도재병행배경하운행실례적결과표명료해형식어의적정학성.
