Automated Multi-level Modeling

Abstract

Nearly all steps of a typical engineering process can be reliably automated. Software tools such as Mathematica^TM, Coq, and BLAST can solve almost arbitrarily intricate equations, demonstrate complex theorems, and prove the correctness of algorithms. Machine tools and 3D printers can construct simple or complex objects based on a CAD model, with virtually no human intervention. Whenever a process can be broken into a set of relatively systematic and formal recipes, there is room for automation. Following this line of reasoning, and assuming that the MLMM provides such recipes, this chapter explores the opportunity of automating the generation of models at multiple abstraction levels. In particular, we refine and extend the MLMM by introducing a methodological and computational framework, called the M³ framework, which provides a consistent set of theoretical and computational tools targeted to the automated construction of models of SMPs at multiple abstraction levels.