计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2010年
10期
2727-2729,2734
,共4页
邓建波%张立臣%邓惠敏%徐碧红
鄧建波%張立臣%鄧惠敏%徐碧紅
산건파%장립신%산혜민%서벽홍
UML2.0序列图%形式语义%组合碎片包%通信序列进程
UML2.0序列圖%形式語義%組閤碎片包%通信序列進程
UML2.0서렬도%형식어의%조합쇄편포%통신서렬진정
UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证.为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则,实现了UML序列图的形式化,为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法.最后通过ATM实例说明UML序列图这一过程的正确性.
UML2.0序列圖是一種描述對象之間動態協作和事件髮展時間關繫的視圖,但是UML序列圖缺乏精確的形式化語義,所以不利于對其所描述的繫統進行形式化驗證.為此,根據UML2.0語義文檔及組閤碎片包概唸,基于通信序列進程(CSP)給齣瞭UML序列圖的基本元素和消息跡的形式化定義及生成規則,實現瞭UML序列圖的形式化,為UML序列圖在描述繫統準確性和有效性方麵提供瞭形式化的檢驗方法.最後通過ATM實例說明UML序列圖這一過程的正確性.
UML2.0서렬도시일충묘술대상지간동태협작화사건발전시간관계적시도,단시UML서렬도결핍정학적형식화어의,소이불리우대기소묘술적계통진행형식화험증.위차,근거UML2.0어의문당급조합쇄편포개념,기우통신서렬진정(CSP)급출료UML서렬도적기본원소화소식적적형식화정의급생성규칙,실현료UML서렬도적형식화,위UML서렬도재묘술계통준학성화유효성방면제공료형식화적검험방법.최후통과ATM실례설명UML서렬도저일과정적정학성.
