基于主动对象模型的面向对象软件开发方法及其支撑系统

本项目基于对象语义的研究，建立了可描述主动对象行为特征的对象模型，提出了基于上述对象模型的OO开发方法，实现了一个支持上述对象模型及开发方法的支撑系统。主要研究成果是：出版了一部学术专著，发表了三篇学术论文，开发了一个支撑系统。其中的主要创新点为；使面向对象的分析与设计方法可以用最基本的OO概念自然而有效地解决其他方法中依靠扩充概念才能解决的复杂问题，使模型与源程序有更强的对应性；分析、设计模型可以描述对象的主动行为和系统的并发性；模型语义的详细说明更有利于程序自动生成和软件复用；支撑系统对OO开发形成了一体化的支持。