软件构件的精化、组合和粘合理论研究

项目名称： 软件构件的精化、组合和粘合理论研究

项目编号： No.60970031

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 詹乃军

作者单位： 中国科学院软件研究所

项目金额： 30万元

中文摘要： 基于构件和对象方法被认为是解决开发大型复杂软件的有效方法，并已经在软件工程中获得巨大成功。然而，基于构件和对象方法缺乏坚实的理论基础，例如，人们还不能完整地定义对象语言的语义；也没能给出UML一个标准的形式语义，虽然UML已经在工业界广泛使用。上述理论缺陷导致构件的理论和方法不支持面向对象设计和实现，而面向对象的理论未提供接口的模型来支持黑箱组合。对象本身不支持组合。为了解决构件和对象系统理论问题，何积丰和刘志明等使用Hoare和何积丰的统一程序理论（UTP）给出构件和对象系统一个语义模型，叫rCOS。rCOS已在国内外获得好评。然而rCOS理论缺乏一个关于构件组合、精化 及协调的完整理论,不能有效地处理粘合代码；rCOS的语义亦不能表达实时等一些非功能性需求等。本项目将重点研究这些问题，从而建立一个构件和对象系统的理论基础。

中文关键词： 基于构件；面向对象；形式模型；精化；

英文摘要：

英文关键词： component-based；object-oriented；formal model；refinement；