Issue No. 03 - May/June (1993 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.210602
<p>The knowledge-representation and compilation techniques used in a model-based, automatic software synthesis environment are discussed. The environment was used to build Caddmus, a system with more than 250 cooperating processes. The real-time execution environment automatically generates a macro-dataflow computation from declarative models. Central to the approach is the Multigraph Architecture, which provides the framework for model-based synthesis in real-time, parallel-computing environments. Application of Caddmus to analysis of all data related to testing new and redesigned turbine engines is described.</p>
knowledge compilation; knowledge-representation; automatic software synthesis environment; Caddmus; real-time execution environment; macro-dataflow computation; Multigraph Architecture; model-based synthesis; parallel-computing; turbine engines; application generators; automatic programming; knowledge representation
T. Bapty, B. Abbott, G. Karsai, J. Sztipanovits and C. Biegl, "Model-Based Software Synthesis," in IEEE Software, vol. 10, no. , pp. 42-52, 1993.