可重用的软构件开发方法研究

The formal descriptions of reusable software conmonents are given by using the formal algebraic specification language based on model theory. The reusable software conmonents are implemented in the programming language based on denotational semantics. For the software components, whose requirements are described in graphical description techniques, we discussed their refinement and verification methods. In the implementation of software components, a case study is given to show the refinement process of software conponents. The machine theorem proof technique is used in the correctness proofment of refinement process. In application, the frameworks of some important case studies based on software component techniques are presented. A development approach based CORBA architecture is given. We described also the Web components in distributed enviornment using UML. As case study, some issues about the application of distributed software component framework in the field of electronic commerces are discussed. Another case study called Co-Works which can be seen as a platform supporting component-based software development and software quality assurance is introduced. The requirment analysis and architecture of Co-Works are given in this work.Applying formal techniques to solve the main problems in software component development is expected to give the base theories and techniques in developing system tools for large component-based software. The techniques and approaches developed in the project will be beneficial for enshorting software development process, reducing costs, and improving the quality and reliability of software products.

应用代数规约理论和技术研究软构件的形式化开发方法；给予出软构件的形式规约设计和实现方法，利用定理证明系统对规约和程序进行正确性证明；建立可重用的软构件库存，以实例说明软构件的重用方法。为设计开发基于软构件的大型模块化软件产品提供技术和方法支持。对缩短软件产品开发周期、降低成本、提高软件产品质量及可靠性都具有实际意义。