信息融合技术现已广泛应用于数学、计算机科学、自动控制、人工智能、通信技术等领域，但至今尚未形成完整的理论框架。因此信息融合仍然是一个值得关注的新兴研究课题，具有研究和应用的双重意义。 本文主要研究工作包括以下几个方面：一、在总结国内外信息融合相关研究与应用成果的基础上，对信息融合，从定义，分类到模型进行了全面分析与研究；二、根据信息融合所面临的问题，提出了信息融合通用模型；三、在模型的开发过程中，根据传统软件工程开发所存在的问题，采用面向对象和形式化相结合的方法进行开发；四、对所开发的系统使用范畴论进行系统性能分析，避免了系统要到实现时才能对其进行性能测试。 在不同的应用领域中，甚至在同一应用领域中，虽然融合的原理一样，但融合的术语、方法却模糊不清，而且不统一，局面较为混乱。这样，必然导致所研究的理论成果、开发的系统不具备通用性、互连性及可重用性，增加了信息融合系统的开发成本。导致上述现象的原因，主要是由于信息融合还是一个正在成长过程中的新技术，适用于各领域、各融合问题的广义模型、理论框架还有待于研究。 针对传统的信息融合模型的不足，论文提出了信息融合通用模型。在开发信息融合模型过程中，采用面向对象技术和形式化相结合的方法，这样既具有UML建模的直观性又保证了形式化方法的严谨性。而且，该模型与以往传统的信息融合模型相比，克服了传统模型过于抽象化、描述性的特点，有助于信息融合系统的设计。信息融合通用模型由两个部分组成：规范库和规范库管理系统。规范库提高了系统的可靠性、一致性以及可重用性。而规范库管理系统则对规范库进行组织、管理、存储、检索、插入等。 形式化的信息融合模型有助于信息融合应用系统的开发，是实现系统可重用性，提高系统可比性、可靠性的重要手段。本论文创新性的提出了将面向对象技术和形式化相结合的方法应用于融合系统的开发，这一成果能够较好地指导信息融合系统的开发实践工作，具有较高的理论和实际意义。 本文最后对系统性能进行了形式化分析。对于同一个信息融合应用系统的需求描述，必然存在多个设计方案。因此，可以依据系统性能选择一个最佳的设计方案。这样，克服了系统要到实现时才能进行系统评估，减少了开发周期和成本。