| 可视化UML模型验证环境研究 |
| |
| 引用本文： | 付茂洺,王悠. 可视化UML模型验证环境研究[J]. 电子科技大学学报(社会科学版), 2010, 0(2) |
| |
| 作者姓名： | 付茂洺 王悠 |
| |
| 作者单位： | 中国民航飞行学院计算机学院;中国民航飞行学院航空工程学院; |
| |
| 基金项目： | 国家自然科学基金(60879022/F01) |
| |
| 摘 要： | 针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。
|
| 关 键 词： | 对象约束语言 规约 UML模型 验证 |
Research on Visual UML Model Verification Environment |
| |
| FU Mao-ming , WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China(Social Sciences Edition), 2010, 0(2) |
| |
| Authors: | FU Mao-ming WANG You |
| |
| Affiliation: | 1.Department of Computer;Civil Aviation Flight University of China Guanghan Sichuan 618307;2.Aeronautical Engineering Institute;Civil Aviation Flight University of China Guanghan Sichuan 618307 |
| |
| Abstract: | Aiming at the problem of inaccurate and discordant arithmetic caused by informal software specification,this paper puts forward an OUVE(OCL-based UML verification environment) setting which is based on Object Constraint Language.OUVE can verify whether the constraints and relationship among classes correspond with practical requirements before coding.Comparing with traditional method,OUVE reduces the cost of modification caused by improper design and programming fault. |
| |
| Keywords: | object constraint language specification unified modeling language verification |
| 本文献已被 CNKI 等数据库收录！ |
