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

摘要：

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

关键词：UML、状态机、RAISE、形式化

所属期刊栏目：41

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金60273001,60473056

在线出版日期：2005-07-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：344-357