计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
5期
177-183,205
,共8页
统一建模语言(UML)%状态机%形式化方法%有穷自动机%RAISE规约语言(RSL)
統一建模語言(UML)%狀態機%形式化方法%有窮自動機%RAISE規約語言(RSL)
통일건모어언(UML)%상태궤%형식화방법%유궁자동궤%RAISE규약어언(RSL)
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述.首先将UML状态机抽象成图；再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机；然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础.
UML狀態機作為UML動態描述機製的重要組成部分,在描述繫統及模型的動態行為時扮縯著重要的角色,但已有的UML動態語義缺乏準確的形式化描述.首先將UML狀態機抽象成圖；再將圖通過傳統的有窮自動機進行語義擴展,同時增加狀態分層,形成一箇基于UML狀態機的有窮自動機；然後用RAISE規約語言RSL對擴展後的自動機進行形式化定義,使UML狀態機中的模型元素的語義更加清晰、精確,為後期的UML狀態機的操作語義形式化研究打下基礎.
UML상태궤작위UML동태묘술궤제적중요조성부분,재묘술계통급모형적동태행위시분연착중요적각색,단이유적UML동태어의결핍준학적형식화묘술.수선장UML상태궤추상성도；재장도통과전통적유궁자동궤진행어의확전,동시증가상태분층,형성일개기우UML상태궤적유궁자동궤；연후용RAISE규약어언RSL대확전후적자동궤진행형식화정의,사UML상태궤중적모형원소적어의경가청석、정학,위후기적UML상태궤적조작어의형식화연구타하기출.
