UML状态机视图的RSL形式描述

• 作者: Bernhard K Aichernig 孙猛 张乃孝
• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: UML 状态机 RAISE 形式化
• 年，卷（期）: 2005,（3）
• 页码范围: 344-357
• 页数: 14页
• 分类号: TP311.5
• 字数: 909字
• 语种: 中文
• DOI: 10.3321/j.issn:0479-8023.2005.03.003

摘要

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张乃孝	北京大学数学科学学院	11	118	7.0	10.0
2	孙猛	北京大学数学科学学院	4	52	2.0	4.0
3	Bernhard K Aichernig	澳门联合国大学国际软件技术研究所	1	15	1.0	1.0