| UML状态图的形式化 |
| |
| 引用本文： | 李桂,苏一丹.UML状态图的形式化[J].广西大学学报(自然科学版),2003,28(4):318-321. |
| |
| 作者姓名： | 李桂 苏一丹 |
| |
| 作者单位： | 广西大学,计算机与信息工程学院,广西,南宁,530004 |
| |
| 摘 要： | 为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．
|
| 关 键 词： | UML状态图 形式化 语法 语义 DFA 统一建模语言 软件工程 Z语言 Object Z语言 |
| 文章编号： | 1001-7445(2003)04-0318-04 |
| 修稿时间： | 2003年5月20日 |
A formalization of UML state chart |
| |
| LIGui,SU Yi-dan.A formalization of UML state chart[J].Journal of Guangxi University(Natural Science Edition),2003,28(4):318-321. |
| |
| Authors: | LIGui SU Yi-dan |
| |
| Abstract: | There is much interest in developing a firm semantic basis for object- oriented modeling concepts. UML is a common graphical modeling language recommended by OMG.Z is a widely used formal specification language,and it suits for precisely representing the syntax and semantics of a model. In this paper,the grammar of UML state machine is described via DFA,and Z( Object- Z) is used to formally represent the UML state chart. |
| |
| Keywords: | Unified Modeling Language( UML) Z( Object- Z) state machine formalize |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
