UML状态机模型元素的RSL形式化定义

• 作者: 刘惊雷 郭艳燕
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 统一建模语言(UML) 状态机 形式化方法 有穷自动机 RAISE规约语言(RSL)
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 177-183,205
• 页数: 8页
• 分类号: TP301.2
• 字数: 7826字
• 语种: 中文

摘要

UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述.首先将UML状态机抽象成图；再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机；然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘惊雷	烟台大学计算机学院	63	262	8.0	13.0
2	郭艳燕	烟台大学计算机学院	27	142	8.0	10.0