MULTIGRAPH: An Architecture for Model-Based Programming. Model-Based ProgramSynthesis for Parallel Computing. PREMOS: Programming Environment for Model-Based Program Synthesis. Version 01.00.00

摘要

This presentation consists of three presentations related to model-based softwaresynthesis. The first presentation by Professor Janos Sztipanovits of Vanderbilt University provides an overview of the MULTIGRAPH Architecture (MGA), which is used as a generic framework for model-based programming. Evolution of the architecture has been driven by the requirements of specific applications. Characteristics of these application domains and their impact on the basic design of MGA are discussed. In the second presentation, Ben Abbott of Vanderbilt University discusses Model-Based Program Synthesis for Parallel Computing, Automatic program synthesis is one of the prime disciplines that can contribute to the advancement of the software engineering of reactive systems. To illustrate, Mr. Abbott presents a large, high-performance parallel instrumentation system used for analysis of turbine engine strain gauge signals produced during altitude testing. The system is called the Computer Assisted Dynamic Data Analysis and Monitoring System (CADDMAS). In the third presentation Dr. Hubertus Franke of the T.J.Watson Research Center presents Programming Environment for Model-Based Program Synthesis. The development of model-based programming environments is driven by two opposite forces: specialization and Standardization. Mr. Franke's presentation addresses the design and implementation of tools which satisfy both above-mentioned forces. In order to overcome this dilemma, the MULTIGRAPH Architecture uses meta-tools. This presentation focuses on the design and implementation of meta-tools and their coordination to form a harmonic environment.