| UML顺序图的结构化操作语义研究 |
| |
| 引用本文： | 黄陇,于洪敏,陈致明.UML顺序图的结构化操作语义研究[J].计算机应用,2005,25(2):359-361. |
| |
| 作者姓名： | 黄陇 于洪敏 陈致明 |
| |
| 作者单位： | 解放军军械工程学院 |
| |
| 摘 要： | UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。
|
| 关 键 词： | UML用 顺序图用 结构化操作语义 |
| 文章编号： | 1001-9081(2005)02-0359-03 |
Research on structured operational semantics of UML sequence diagram |
| |
| HUANG Long,YU Hong-min,CHEN Zhi-ming.Research on structured operational semantics of UML sequence diagram[J].journal of Computer Applications,2005,25(2):359-361. |
| |
| Authors: | HUANG Long YU Hong-min CHEN Zhi-ming |
| |
| Affiliation: | Ordnance Engineering College |
| |
| Abstract: | |
| |
| Keywords: | UML sequence diagram structured operational semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
