Abstract:This paper presents a complete suit of systematic optimizing methods which may be used in parallelizing compilers for multicomputers or computer clusters. In the compilation scheme, two strategy are adopted. One is trading off parallelism and communication cost and the other is reducing and hiding communication overhead. Through analyzing the properties of data communication required for the program partition approach based on affine functions, the authors find a method to exploit parallelism in serial programs satisfying the special requirements of distributed memory machines. In order to minimize the total of data needing to be communicated, they invent a global optimization program partition method based on solving linear equations. In order to optimize the organization of communication codes and generate more efficient node programs, they invent a more practical method based on linear inequalities to perform communication optimization and node programs generation.

Abstract:OMS(object management system) serves as the kernel part of SCOP component software. This paper outlines the design and implementation of OMS, including memory object management, disk storage management and concurrent object base based on client/server architecture.

Abstract:Based on the new characteristics of nested transactions of OODBMS, this paper proposes an algorithm for detecting deadlock the extended edge chasing algorithm. Furthermore, an example which the authors have fulfilled in MIDS prototype system is also provided.

Abstract:This paper outline the design and implementation of the PCLAgenda.PCLAgenda is a process-centered software engineering environment provided by SCOP system.Its functionality includes defining the software development process,guiding,controlling and aytomating the steps of software development,and supporting the cooperative work among individuals and teams.The kernel of PCLAgenda is the activity-cen-tered process model based on SCOP software development methodology.

Abstract:This paper outlines the design and implementation of the PCLAgenda. PCLAgenda is a process centered software engineering environment provided by SCOP system. Its functionality includes defining the software development process, guiding, controlling and automating the steps of software development, and supporting the cooperative work among individuals and teams. The kernel of PCLAgenda is the activity centered process model based on SCOP software development methodology.

Abstract:It divides the twenty years of the theory of test data selection into three periods formation period, development period, perfectness period, gives representive research results and characters of each period, and discusses the application of the theory in software engineering.

Abstract:SCOP is the component software that supports object-oriented composition software engineering.OOAnalysis is a tool in SCOP.This paper introduces the design and implementation of OOAnalysis.This tool adapts the parallel/recursive object-oriented analysis method,combining the bottom-up object construction and the top-down object reification together and emphasizing multi-level abstraction,parallel work and recursive modeling.It is an automatic tool with visualization effects in multi-level way.