UML活动图的一种逻辑语义

• 作者: 林添荣 蒋建民
• 来源期刊: 福建师范大学学报（自然科学版）
• 学科: 工学
• 关键词: UML活动图 软件过程 形式语义 Hoare逻辑
• 年，卷（期）: 2010,（3）
• 页码范围: 26-30,39
• 分类号: TP311.5
• 字数: 6085字
• 语种: 中文

摘要

为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋建民	福建师范大学数学与计算机科学学院	10	11	2.0	3.0
2	林添荣	福建师范大学数学与计算机科学学院	1	3	1.0	1.0