|
|||||
|
|
| UML活动图的形式语义及分析 | |
| 引用本文： | 梁义芝,王延章,缪旭东,刘云飞.UML活动图的形式语义及分析[J].计算机工程与应用,2003,39(18):28-30,44. |
| 作者姓名： | 梁义芝 王延章 缪旭东 刘云飞 |
| 作者单位： | 1. 大连理工大学信息与决策技术研究所,大连,116024;大连舰艇学院作战软件研究中心,大连,116018 2. 大连理工大学信息与决策技术研究所,大连,116024 3. 大连舰艇学院作战软件研究中心,大连,116018 4. 大连舰艇学院教育技术中心,大连,116018 |
| 基金项目： | 国家自然科学基金资助项目(编号:70271045) |
| 摘 要： | UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。 |
| 关 键 词： | UML活动图 形式语义 系统分析 |
| 文章编号： | 1002-8331-(2003)18-0028-03 |
The Formal Semantics of UML Activity Diagram and Analysis |
|
| Liang Yizhi , Wang Yanzhang Miao Xudong Liu Yunfei.The Formal Semantics of UML Activity Diagram and Analysis[J].Computer Engineering and Applications,2003,39(18):28-30,44. | |
| Authors: | Liang Yizhi Wang Yanzhang Miao Xudong Liu Yunfei |
| Affiliation: | Liang Yizhi 1,2 Wang Yanzhang 1 Miao Xudong 2 Liu Yunfei 31 |
| Abstract: | UML activity diagram is lack of strictly defined formal dynamic semantics,it is difficult to do formal analy-sis,verification and assertation on the systems discribed by it.In this paper,the authors adopt the method of Petri Net and defined a formal semantics of UML activity diagram containning object flow state,then they analyze the representa-tive flow of UML activity diagram and the correctness of the dynamic systems discribed by it.The formal semantics difined here is able to deal with most of the features of UML activity diagram,and establish the foundation of describ-ing and analysis of work flow. |
| Keywords: | UML activity diagram formal semantics system analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |