| 基于事件序的UML序列图语义规范 |
| |
| 引用本文： | 李景峰,李琰,陈平.基于事件序的UML序列图语义规范[J].长安大学学报(自然科学版),2002,22(6):92-94. |
| |
| 作者姓名： | 李景峰 李琰 陈平 |
| |
| 作者单位： | 1. 西安电子科技大学,软件工程研究所,陕西,西安,710071
2. 上海贝尔有限公司研发部,上海,200092 |
| |
| 基金项目： | 国家"十五"军事预研项目(413150501) |
| |
| 摘 要： | UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对UML序列图,给出了形式定义、基于事件序的语义规范及其消息间关系;并定义了基本序列图,证明其具有全序的消息关系的性质,为序列图的语义分析与验证提供了基础。
|
| 关 键 词： | UML 统一建模语言 序列图 语义规范 事件序 语义分析 动态模型 面向对象 |
| 文章编号： | 1671-8879(2002)06-0092-03 |
| 修稿时间： | 2002年1月22日 |
Event order-based semantic specification of UML (unified modeling language) sequence diagram |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
