This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Model-Based Software Synthesis
May/June 1993 (vol. 10 no. 3)
pp. 42-52

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.

Index Terms:
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
Citation:
Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits, "Model-Based Software Synthesis," IEEE Software, vol. 10, no. 3, pp. 42-52, May-June 1993, doi:10.1109/52.210602
Usage of this product signifies your acceptance of the Terms of Use.