期刊文献+

从UML状态图到PVS规范的自动转换、验证 被引量:8

Automatic Transform UML Statechart into PVS
下载PDF
导出
摘要 将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则. Formalizing UML diagrams is an effective way to get a precise UML semantics and extend the usage of formal meth-ods.PVS is a higher-order logic based general formal specification langugae with strong expressiveness and foraml analysis tools support. By compring with other formal methods,the advantages of PVS are given in formalizing UML. A hierarchical automata model and algorithms are provided for transforming UML Statechart to PVS specification.
出处 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2122-2125,共4页 Acta Electronica Sinica
基金 国家自然科学基金(No.69973032)
关键词 UML状态图 PVS规范 自动转换 层次自动机模型 模型验证 统一建模语言 statechart PVS hierarchical automata model checking
  • 相关文献

参考文献1

  • 1Diego Latella,Istvan Majzik,Mieke Massink. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker[J] 1999,Formal Aspects of Computing(6):637~664

同被引文献53

  • 1周欣,魏生民.基于B语言的UML形式化方法[J].计算机工程,2004,30(12):62-64. 被引量:9
  • 2朱雪阳,唐稚松.UML活动图的时序逻辑语义[J].计算机研究与发展,2005,42(9):1478-1484. 被引量:13
  • 3杨静,张明义,刘志明.精化UML模型[J].计算机科学,2007,34(3):250-253. 被引量:3
  • 4Hoare C A R, He Jifeng. Unifying Theories of Programming[M]. [S. l.]: Prentice-Hall, 1998.
  • 5FowlerM.UML精粹[M].3版.徐家福,译.北京:清华大学出版社,2005.
  • 6Liu Zhiming, Li Xiaoshan, Liu Jing, et al. Integrating and Refining UML Models[R]. Macao, China: The United Nations University, Tech. Report: No.295, 2004.
  • 7Li Xiaoshan, Liu Zhiming, He Jifeng. A Formal Semantics of UML Sequence Diagrams[R]. Macao, China: The United Nations University, Tech. Report: No.292, 2004.
  • 8Lilius J, Paltor IP. vUML: A Tool for Verifying UML Models[A]. The 14th IEEE International. Conference on Automated Software Engineering, Washington, DC, 1999.
  • 9J R Abrial. The B-Book-Assigning Programs to Meanings[m]. Cambridge University Press, 1996.
  • 10B-Toolkit User's Manual(Release3.2)[m]. B-Core(UK) Ltd,Oxford (UK), 1996.

引证文献8

二级引证文献33

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部