UML活动图的正确性检测

作     者：陈慧峰 余晓菲 蒋建民 CHEN Huifeng;YU Xiaofei;JIANG Jianmin

作者机构：福建师范大学数学与信息学院福建福州350007 

基　　金：国家自然基金(61772004) 国家自然基金(61361136002) 福建省自然基金(2018J01777) 

出 版 物：《软件工程》 (Software Engineering)

年 卷 期：2018年第21卷第3期

页      码：5-9,4页

摘      要：UML(统一建模语言)活动图广泛用于软件开发过程,然而它是半形式化的模型,不能进行推理,无法保证其正确性。为了保证它的正确性,必须先把它转化为形式化模型再进行检测。现有工作已将活动图转换成变迁系统、进程代数、Petri网等模型,需要增加或丢失大量信息。本文提出一种新的方法,该方法直接将活动图转换成被称为依赖结构的形式化模型,不会增加或减少活动图的任何信息。基于依赖结构模型我们首先讨论了检测活动图的正确性方法,然后介绍相应的工具;最后用一个实例来详细说明检测过程。该工作有助于软件工程师正确地使用UML活动图对软件系统进行分析和设计。

主 题 词：活动图 形式化模型 正确性 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19644/j.cnki.issn2096-1472.2018.03.002

馆 藏 号：203285591...