| UML活动图的操作语义 |
| |
| 引用本文： | 王聪,王智学.UML活动图的操作语义[J].计算机研究与发展,2007,44(10):1801-1807. |
| |
| 作者姓名： | 王聪 王智学 |
| |
| 作者单位： | 1. 解放军理工大学通信工程学院,南京,210007
2. 解放军理工大学指挥自动化学院,南京,210007 |
| |
| 摘 要： | 越来越多的系统采用UML（unified model language,统一建模语言）作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.
|
| 关 键 词： | UML活动图 操作语义 格局 变迁 加标记的变迁系统 |
| 修稿时间： | 2006年11月29 |
An Operational Semantics for UML Activity Diagrams |
| |
| Wang Cong,Wang Zhixue.An Operational Semantics for UML Activity Diagrams[J].Journal of Computer Research and Development,2007,44(10):1801-1807. |
| |
| Authors: | Wang Cong Wang Zhixue |
| |
| Abstract: | |
| |
| Keywords: | UML activity diagram operational semantics configuration transition LTS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
