基于UML顺序图规约的一致性验证算法实现与分析开题报告

1. 研究目的与意义

统一建模语言（uml）是面向对象的标准建模语言。

可用于表达复杂系统的关系和构造。

uml顺序图反应了系统中并发对象之间的消息交互与顺序。

2. 国内外研究现状分析

国外例：捕捉时间方面的软件组件接口。

即通过使用一个基于自动机的语言来捕捉两个输入顺序中的一个组成部分以此来保证输入的顺序。

以此验证uml顺序图规约的一致性国内例：采用接口自动机实现基于组件软件开发的验证算法。

3. 研究的基本内容与计划

内容：抽取uml顺序图规约中的事件序列，并针对接口自动机所描述的系统模型验证规约与模型的一致性计划：1.认真全面了解基于uml顺序图规约一致性验证算法的相关技术背景，以及国内外相关研究的最新发展趋势与成果，同时总结项目的重难点及创新点。

计划用时约2-4周2.选定使用java作为编程语言，认真进行学习，选择合适的开发环境，初步搭建设计开发环境。

计划用时约1-2周3.设计合理的程序构架，完成软件内部代码；实现完成既定的功能，并进行测试通过。

4. 研究创新点

本论文首先，总结研究了先前一些参考文献对于UML顺序图规约一致性算法研究的实现分析，以此为基础比较中外研究的异同点，分析其中一些方法的不足和缺陷；其次，对于基于UML顺序图规约的一致性验证算法进行研究实现，并进行详细的叙述说明；最后，利用以上总结经验探讨该方法对UML顺序图规约一致性实现的可行性，并对其提出自己的看法。