基于UML活动图的软件过程建模合理性问题的研究

被引：4

作者：

田浩

施海虎

柳军飞

机构：

[1] 中国科学院软件研究所

[2] 中国科学院软件研究所北京

[3] 北京

来源：

关键词：

软件过程; 软件过程建模; 软件过程模型; UML活动图; 合理性检测;

D O I：

10.16208/j.issn1000-7024.2005.02.068

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。分析了使用活动图进行软件过程建模的原理,给出了软件过程模型的4种基本结构和一个过程模型实例。讨论了建模过程中需要考虑的合理性问题的3 个方面,在此基础上提出了检验模型正确性和完整性的静态、动态和整体规则。

引用

页码：482 / 485

页数：4