Accession Number : ADA315053
Title : Intermediate Architectural Representation for the KBSA-ADM.
Descriptive Note : Final rept. Sep 93-Dec 95,
Corporate Author : FLORIDA INTERNATIONAL UNIV MIAMI
Personal Author(s) : Deng, Yi ; Attle, Paul C. ; Evangelist, Michael
PDF Url : ADA315053
Report Date : JUL 1996
Pagination or Media Count : 19
Abstract : The Knowledge-Based Software Assistant (KBSA) originally assumed automatic programming fundamental support technology. The KBSA Concept Demonstration project and the last decade of research in the Knowledge-Based Software Engineerng (KBSE) community have demonstrated that practical automatic programming is much farther away than initially anticipated. The KBSA CDS showed that a complete functional specification of a system written in a high level specification language can be effectively manipulated, evaluated, verified, and executed in a single process environment. It also showed that fully automatic transformation of such a specification into efficient target code running in a distributed computing environment is still a distant vision. Many architectural and non-functional constraints that are not expressed in current KBSA functional specifications must be taken into account in the process of constructing and implementing a system. This report describes the research to partition the specification-to-code transformation process into discrete, interactive (user-assisted) stages. Each stage introduces new architectural and non-functional constraints and produces a more complete and refined system model, with the last stage producing an efficient system implementation. This research focused on the domain of real-time, distributed systems.
Descriptors : *COMPUTER PROGRAMS, *COMPUTER ARCHITECTURE, LOGISTICS SUPPORT, ENVIRONMENTS, DISTRIBUTED DATA PROCESSING, MODELS, DEMONSTRATIONS, SPECIFICATIONS, EFFICIENCY, CODING, LONG RANGE(DISTANCE), KNOWLEDGE BASED SYSTEMS, HIGH LEVEL LANGUAGES, SYNTAX, TRANSFORMATIONS, AUTOMATIC PROGRAMMING.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE