|
|||||
|
|
| UML 2.0的形式化语义研究 | |
| 引用本文： | 张广泉,戎玫,黄正宝.UML 2.0的形式化语义研究[J].南京邮电大学学报(自然科学版),2007,27(3):39-43. |
| 作者姓名： | 张广泉 戎玫 黄正宝 |
| 作者单位： | 1. 苏州大学,计算机科学与技术学院,江苏,苏州,215006;重庆师范大学,数学与计算机学院,重庆,400047 2. 暨南大学,深圳旅游学院,广东,深圳,518053 3. 苏州大学,计算机科学与技术学院,江苏,苏州,215006 |
| 基金项目： | 江苏省高校自然科学基金 , 国家重点实验室基金 , 重庆市自然科学基金 |
| 摘 要： | 由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础. |
| 关 键 词： | 线性时序逻辑 形式化语义 UML2.0 顺序图 状态图 XYZ/E 形式化方法 语义研究 Semantics 交互行为 件体系结构 结合 使用 转换 模型 形式化语义 线性时序逻辑语言 语法约束 状态图 顺序图 描述 验证 分析 系统 动态视图 |
| 文章编号： | 1673-5439（2007）03-0039-05 |
| 收稿时间： | 2006-08-17 |
| 修稿时间： | 2006-08-17 |
Formal Semantics of UML 2.0 |
|
| ZHANG Guang-quan,RONG Mei,HUANG Zheng-bao.Formal Semantics of UML 2.0[J].Journal of Nanjing University of Posts and Telecommunications,2007,27(3):39-43. | |
| Authors: | ZHANG Guang-quan RONG Mei HUANG Zheng-bao |
| Institution: | 1. School of Computer Science and Technology, Soochow University, Suzhou 215006, China; 2. School of Mathematics and Computer Science, Chongqing Normal University, Chongqing 400047, China ;3. Tourism College, Jinan University, Shenzhen 518053, China |
| Abstract: | |
| Keywords: | linear temporal logic formal semantics UML 2 0 sequence diagram state diagram XYZ/E |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |