文献类型：期刊文章

作　　者：孙猛[1] 张乃孝[1] Bernhard K Aichernig[2]

机构地区：[1]北京大学数学科学学院,北京100871 [2]澳门联合国大学国际软件技术研究所

出　　处：《北京大学学报（自然科学版）》

基　　金：国家自然科学基金资助项目 (6 0 2 730 0 1和 6 0 4 730 5 6 )

年　　份：2005

卷　　号：41

期　　号：3

起止页码：344-357

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CAS、CSCD、CSCD2011_2012、EI(收录号：2005249161260)、INSPEC、JST、MR、RSC、SCOPUS、ZGKJHX、ZMATH、ZR、核心刊

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

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

分 类 号：TP311.5]