1. 研究目的与意义
接口自动机是一种在构件化设计中用来建模软件构件接口时序特征行为的形式化语言；它描述了构件使用时对外部环境的输入假设和输出保证，包括构件向环境所提供的方法被调用的先后次序以及构件对环境输出调用信息或结果的次序。
通常我们可以使用接口自动机来对系统中构件接口的行为进行建模；由于一个构件化系统是由多个构件子系统相互交互组合而成，因此对系统全局行为的描述需要将多个表达构件子系统行为的自动机模型组合起来，才能得到整个系统的动态模型。
这就涉及到多个接口自动机之间的组合问题。
2. 国内外研究现状分析
基于组件的软件开发方法已被业界广泛采用，他带来的好处是：便携、可靠、灵活和高效。
组件的粒度可大可小，小到一个过程、一个对象或一个模块，大到一个代理、一个服务或一个应用软件包均可看作是组件。
组件仅通过接口来刻画组件的特性。
3. 研究的基本内容与计划
通过研究和探讨，初步确定主要研究内容及计划如下： 第一、二周：收集课题相关资料并进行一定的了解，在老师的指导下完成开题报告。
第三~八周：大量收集资料，理清思路并与导师进行交流；学习课题需要的相关知识，完成课题相关技术的准备工作，基本构造好论文的总体框架（其中第一步： 定义接口自动机的xml文件存储结构，实现对记录接口自动机相关信息的xml文件进行读和写操作； 第二步： 使用面向对象的系统设计方法，分别定义接口自动机、自动机状态、自动机转换关系的数据结构；第三步： 分析接口自动机组合算法，给出组合算法（包括兼容性检查算法）的逻辑框架，并进行初步的实现；第四步：采用java面向对象程序设计语言进行算法的实现开发。
）第九~十一周：基本完成课题的内容以及论文初稿，交由导师审阅，提出建议并加以完善。
4. 研究创新点
随着IT业的飞速发展，验证的重要性越来越突出。
本设计将定义接口自动机XML文件存储结构，并实现对该XML文件的读和写操作；定义出自动机、状态、转换关系在计算机内存中的数据结构，并在实际编程中得以验证其可行性；比较深入的分析了接口自动机组合算法，并在实际编程中，实现了最基本的自动机组合，但有待进一步的深入。
