| UML活动图的一种逻辑语义 |
| |
| 引用本文： | 林添荣,蒋建民.UML活动图的一种逻辑语义[J].福建师范大学学报(自然科学版),2010,26(3). |
| |
| 作者姓名： | 林添荣 蒋建民 |
| |
| 作者单位： | 福建师范大学数学与计算机科学学院,福建,福州350108 |
| |
| 摘 要： | 为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.
|
| 关 键 词： | UML活动图 软件过程 形式语义 Hoare逻辑 |
A Logic Semantic for UML Activity Diagrams |
| |
| LIN Tian-rong,JIANG Jian-min.A Logic Semantic for UML Activity Diagrams[J].Journal of Fujian Teachers University(Natural Science),2010,26(3). |
| |
| Authors: | LIN Tian-rong JIANG Jian-min |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
