| UML2.0顺序图的时序描述逻辑语义 |
| |
| 引用本文： | 张其文,童格明,李明.UML2.0顺序图的时序描述逻辑语义[J].计算机工程,2011,37(3):52-54. |
| |
| 作者姓名： | 张其文 童格明 李明 |
| |
| 作者单位： | 兰州理工大学计算机与通信学院,兰州,730050 |
| |
| 摘 要： | 针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题，提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展，得到可表示动态和时序语义的形式化规范——时序描述逻辑，根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段，通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明，该方法具有可行性。
|
| 关 键 词： | UML2.0顺序图 时序描述逻辑 形式化 描述逻辑 |
Semantics of UML2.0 Sequence Diagram in TDLs |
| |
| ZHANG Qi-wen,TONG Ge-ming,LI Ming.Semantics of UML2.0 Sequence Diagram in TDLs[J].Computer Engineering,2011,37(3):52-54. |
| |
| Authors: | ZHANG Qi-wen TONG Ge-ming LI Ming |
| |
| Affiliation: | (School of Computer and Communication,Lanzhou University of Technology,Lanzhou 730050,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
