电脑开发与应用
電腦開髮與應用
전뇌개발여응용
COMPUTER DEVELOPMENT & APPLICATIONS
2011年
5期
58-60
,共3页
统一建模语言%化学抽象机%状态图%CHAM
統一建模語言%化學抽象機%狀態圖%CHAM
통일건모어언%화학추상궤%상태도%CHAM
面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述.利用和改进原有的CHAM建模语言,使其能够对UML状态图进行形式化描述.
麵嚮對象模型的形式化是形式化研究的重點,UML是一種得到承認的標準建模語言,CHAM是一種廣汎用于異步併行計算和繫統體繫結構建模的語言,它適閤對繫統的狀態變化進行動態的描述.利用和改進原有的CHAM建模語言,使其能夠對UML狀態圖進行形式化描述.
면향대상모형적형식화시형식화연구적중점,UML시일충득도승인적표준건모어언,CHAM시일충엄범용우이보병행계산화계통체계결구건모적어언,타괄합대계통적상태변화진행동태적묘술.이용화개진원유적CHAM건모어언,사기능구대UML상태도진행형식화묘술.