| 基于UML活动图的软件过程建模合理性问题的研究 |
| |
| 引用本文： | 田浩,施海虎,柳军飞.基于UML活动图的软件过程建模合理性问题的研究[J].计算机工程与设计,2005,26(2):482-485. |
| |
| 作者姓名： | 田浩 施海虎 柳军飞 |
| |
| 作者单位： | 中国科学院,软件研究所,北京,100080 |
| |
| 摘 要： | x阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。分析了使用活动图进行软件过程建模的原理，给出了软件过程模型的4种基本结构和一个过程模型实例。讨论了建模过程中需要考虑的合理性问题的3个方面，在此基础上提出了检验模型正确性和完整性的静态、动态和整体规则。
|
| 关 键 词： | 软件过程模型 UML活动图 建模过程 正确性 完整性 规则 使用 性问题 研究 分析 |
| 文章编号： | 1000-7024(2005)02-0482-04 |
Research on model checking of software process based on UML activity graph |
| |
| TIAN Hao,SHI Hai-hu,LIU Jun-fei.Research on model checking of software process based on UML activity graph[J].Computer Engineering and Design,2005,26(2):482-485. |
| |
| Authors: | TIAN Hao SHI Hai-hu LIU Jun-fei |
| |
| Abstract: | The problems of software process model rationality checking based on UML activity graph are discussed. Then the principles of software process modeling using UML activity graph are analyzed, and four basic process patterns and a model instance are given. Based on the three aspects of the rationality checking problem during the modeling, three types of rules are formally defined: static rules, dynamic rules and integrated rules. |
| |
| Keywords: | software process modelmg software process software process model UML activity graph rationality checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
