Unified Advanced Support System for Design and Development of Intelligent Distributed Processing Systems

点击翻译按钮获取中文摘要

In this research project, our main aim is to establish a unified design and development methodology for intelligent distributed processing systems, and to construct the unified High support system for Development of Intelligent Processing Systems (HIDIPS).For this purpose, in 1991, the first year of this project, we have focussed on specific issues and have achieved the followings based on the results so far obtained- (1) A logical refinement of intelligent systems or network systems has been done. Based on it, we have fixed a intelectural system architecture suitable for intelligent distributed processing systems. (2) A proposal has been draw up, and successfully designed, for a new specification language suitable for intelligent processing. New functions such as parallel processing, process communication, and other necessary functions have been introduced on the basis of the developed programming systems AMLOG and ATRS. (3) Support systems for system specifications and software design for intelligent distributed systems have been constructed.In the second year, 1992, based on the results obtained in the first year, we have achieved the following items - (1) Verification method of the specification language has been considered and its support system has been implemented. (2) An intelligent distributed software has been completed, so that the final system has been established.