Abstract:The development of object oriented techniques causes a great changes to traditional method of application software design. The authors of this paper propose a new development model for object oriented software construction, in which software is a composition of object modules, and software design is a construction of objects through process controls. This paper contributes to a brief description of the approaches, including semantic model, specification, design methodology and support environment etc.

Abstract:A new approach of acquiring requirement information based on domain knowledge is proposed. PROMIS, the corresponding MIS development environment, has been applied to several application domains successfully.

Abstract:In order to solve the under generalization to object dynamic behaviors in passive objects models，this paper presents an active objects model which abstracts active behaviors of objects．In this active objects model with events，an active object could probe whether an event happens outside，and then automatic determines its own action．Active objects class is discussed，which could give abstract description of those active objects having the same properties．Computing objects are introduced to coordinate other objects．A computing object might be an agent of a running system．

Abstract:This paper presents some of the existing problems for ODP (open distributed processing),analyzes the traditional client/server model in the view of ODP s goal. A MultiServer oriented distributed computing model MSOM is proposed, through which the authors can get better distribution transparency, scalebility and fault tolerance.

Abstract:This paper divides analogical reasoning process into four subprocesses, it i. e., reminding, elaboration, match and transfer.After giving the principles it follows,the model of each subprocess is discussed in detail.

Abstract:In this paper, human language is regarded as consisting of nature language and body language, the conception of body language and the construction of human language are introduced, then the fusion model of body language and nature language is put forward. Based on the model, the framework of a multiple functional perceptive system is designed using agent oriented technology and expressed as an ARD (agent relation diagram), and an implementation of prototype system for body language perception is given.

Abstract:This paper discusses the kernel program of an induction inference system the automatic generator of induction schema. Starting from the definition of a recursive function, the system generates the induction template automatically. Starting from the theorem to be proved, it can also automatically produce candidate induction schema and formula by using the template. The system has been implemented on microcomputers.

Abstract:This paper introduces an implementation of process migration in PVM system using checkpointing and modifying the process communication mechanism of PVM.

Abstract:An effective automatic parallelizer is critical for users to exploit the resources of parallel computer. This paper introduces AFT(automatic Fortran transformer), an automatic parallelizer which the authors developed on the background of the situation of the past and present of such kind systems. The characteristics of AFT and the advanced techniques it adopted are described in detail. Test result shows AFT is notably more capable of the parallelization than the conventional systems.

Abstract:This paper proposes a framework for rigorous software development, which is based on stepwise design by refinement and composition by software reuse. In this framework, the authors integrate logic-and transition system-based formal method with visual formalisms,and get a reasonable compromise between creativity and calculus in software development.A set of computer aided tools has been built to support the approach in this paper.