%0 Journal Article
%T uml状态机模型元素的rsl形式化定义
%A 郭艳燕？
%A 刘惊雷？
%J 计算机科学
%D 2013
%X uml状态机作为uml动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的uml动态语义缺乏准确的形式化描述。首先将uml状态机抽象成图；再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于uml状态机的有穷自动机；然后用raise规约语言rsl对扩展后的自动机进行形式化定义,使uml状态机中的模型元素的语义更加清晰、精确,为后期的uml状态机的操作语义形式化研究打下基础。
%K 统一建模语言(uml)
%K 状态机
%K 形式化方法
%K 有穷自动机
%K raise规约语言(rsl)
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20130543&flag=1