Towards Specification of Program Synthesis in Model-Integrated Computing

Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally addressed using this approach. However, the creation of model-integrated programming environments is a non-trivial task, which requires various skills on behalf of the system implementor. This paper addresses one particular issue of these environments: the specification and generation of model interpreters that are the tools responsible for translating models into components of the executable system.

[1]  Marc A. de Kruijf.  Compiler Construction , 1996, Lecture Notes in Computer Science.

[2]  Ben A. Abbott,et al.  Model-based software synthesis for large systems , 1993 .

[3]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[4]  Gabor Karsai,et al.  Model-Based Intelligent Process Control for Cogenerator Plants , 1992, J. Parallel Distributed Comput..

[5]  Michael Jackson,et al.  The World and the Machine , 1995, 1995 17th International Conference on Software Engineering.

[6]  Gabor Karsai,et al.  A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming , 1995, Computer.

[7]  Gabor Karsai,et al.  The multigraph and structural adaptivity , 1993, IEEE Trans. Signal Process..

[8]  Amy Apon,et al.  The Multigraph Modeling Tool , 1994 .

[9]  Amit Misra,et al.  Model-integrated toolset for fault detection, isolation and recovery (FDIR) , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.