题目：基于用例的支持AOSM的模型完整性和一致性检查

软件模型在软件开发中越来越重要，正在逐渐发展成为软件开发的核心。随着模型驱动开发理论、技术和工具的不断进步，模型对于软件开发而言，正在从指导开发演变为自动生成软件系统。而此时模型的完整性和一致性问题也凸显重要。模型在软件开发中是一个被不断迭代的工件，在不同的阶段和开发任务中，模型具有不同的结构和表现形式。需求模型和分析模型的完整性以及它们内部和之间的一致性并不常被人们所重视，但这却是保持整个软件模型体系正确性的基础。用例分析技术在需求领域占据着主导地位，而正在兴起的面向方面分析模型则解决了面向对象模型的若干问题，具有一定的优势。因此，本论文着眼于用例需求模型和面向方面分析模型，研究各自的模型结构，在理论研究和实践总结的基础上，基于模型结构定义出确保模型完整和一致的规则，并定义规则的形式化元模型，使得规则具有一定的灵活性。设计并实现一个模型检查工具用于帮助保证用例模型和面向方面分析模型的完整性与一致性。最后，对工作进行了总结和展望。