中文摘要：

利用基于模型理论的代数规约形式语言对可重用软构件进行形式描述，利用基于指称语义的程序设计语言对可重用软构件进行程序实现。在利用图形描述技术对软构件进行需求描述的基础上，研究软构件形式开发的细化方法及其正确性证明方法。通过对软构件的程序实现，结合实例给出软构件程序规约细化方法，并利用机器定理证明技术给出该细化方法中的正确性证明。在应用研究方面，对基于软构件几个重要应用领域的构件框架做进一步研究，提出一种基于CORBA体系结构的软构件开发方法；利用统一建模语言UML对分布环境下Web构件进行描述。对基于软构件的分布式框架体系结构在电子商务系统构建中的应用作了初步研究。作为案例开发了软构件开发与质量保证支持平台实例Co-Works系统，完成Co-Works平台的系统分析工作，并提出了该系统的体系结构框架。该项目的研究成果，为设计开发基于软构件技术的大型软件系统提供技术和方法支持，对缩短软件产品开发周期、降低成本、提高软件产品质量及可靠性都具有实际意义。