可视化建模工具中模型一致性问题研究

论文摘要

伴随着软件技术的发展,可视化建模技术受到越来越多的关注。可视化建模技术带来的好处是:有利于开发人员把握理解整个系统,提高系统设计的可重用性和灵活性。但是这也带来了不可避免的问题——可视化建模过程中的模型一致性问题。解决模型一致性问题是正确表达模型,正确理解模型和正确执行模型的基础。对模型的一致性问题进行检查,可以将错误消灭在系统开发的初期,最大限度减少人力,资金以及时间上的损失。近年来,模型的一致性分析都是一个非常突出和重要的研究课题,对于这一课题的研究主要集中在对UML模型和企业模型研究上。目前大多数模型一致性检测通过人工方式或者集成于建模工具的检测工具或者第三方工具进行检测,这些方式都存在一定的不足,因此从哪些方面进行一致性检测是一个值得探讨的问题。本文详细分析了模型一致性问题的产生原因和目前解决模型一致性问题的方法,通过对零码软件生产平台模型的分析和形式化描述,总结出平台模型一致性问题的产生原因和平台中视图间一致性关联。通过分析平台建模工具的特点,提出了解决此平台中模型一致性问题的方法并给出了系统地实现框架。该方法独立于建模工具,利用模型转换技术和XML向数据库映射的技术,将模型映射到关系型数据库中,使对模型的一致性检测转换为对关系型数据库记录的查询,从一定程度上提高了模型的检测效率。以零码软件生产平台为基础提出的MSS模型一致性检测的方法,具有灵活性和可扩展性,但是目前还有很多不足,对于如何提高模型一致性检测效率,解决多用户协同建模中一致性的检测等问题有待进一步的研究。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 引言
• 1.2 与课题相关的国内外研究进展及成果
• 1.3 论文主要工作
• 1.4 论文的组织结构
• 第2章 可视化建模工具MSS概述
• 2.1 相关背景
• 2.1.1 需求工程
• 2.1.2 领域与领域工程
• 2.1.3 面向目标的开发方法
• 2.2 零码软件生产平台介绍
• 2.3 零码软件生产平台开发版介绍
• 2.4 本章小结
• 第3章 模型一致性研究
• 3.1 模型一致性问题
• 3.1.1 模型
• 3.1.2 一致性问题产生的原因
• 3.2 模型的一致性检测方法
• 3.2.1 相关技术
• 3.2.2 一致性检测方法
• 3.3 本章小结
• 第4章 MSS模型一致性问题研究
• 4.1 MSS模型研究
• 4.1.1 MSS模型的核心要素
• 4.1.2 MSS模型的形式化描述
• 4.2 MSS模型一致性问题的产生原因
• 4.3 MSS模型一致性分析
• 4.4 本章小结
• 第5章 MSS模型一致性检测方法的设计
• 5.1 MSS模型一致性检测方法
• 5.2 MSS模型的形式化
• 5.2.1 MSS模型到XML模型的转换
• 5.2.2 XML到数据库的映射
• 5.3 一致性规则的配置
• 5.3.1 一致性规则构建
• 5.3.2 一致性检测范围设置
• 5.4 一致性检测机制
• 5.5 影响MSS模型一致性检测的因素
• 5.5.1 模型的定义
• 5.5.2 建模方法
• 5.6 本章小结
• 结论
• 参考文献
• 攻读硕士学位期间发表的论文和取得的科研成果
• 致谢