Metamodeling Languages and Metaprogrammable Tools [chapter]

Janos Sztipanovits, Sandeep Neema, Matthew Emerson
2007 Chapman & Hall/CRC Computer & Information Science Series  
The convergence of control systems and software engineering is one of the most profound trends in technology today. Control engineers build on computing and communication technology to design robust, adaptive and distributed control systems for operating plants with partially known nonlinear dynamics. Systems engineers face the problem of designing and integrating large scale systems where networked embedded computing is increasingly taking over the role of "universal system integrator".
more » ... e engineers need to design and build software that needs to satisfy requirements that are simultaneously physical and computational. This trend drives the widespread adoption of model-based design techniques for computer-based systems. The use of models on different levels of abstraction have been a fundamental approach in control and systems engineering. Lately, model-based software engineering methods, such as OMG's Model-Driven Architecture (MDA) [13][7] have gained significant momentum in the software industry, as well. The confluence of these factors has led to the emergence of model-driven engineering (MDE) that opens up the opportunity for the fusion of traditionally isolated disciplines. Model-Integrated Computing (MIC), one practical manifestation of the general MDE vision, is a powerful model-based design approach and tool suite centered on the specification and use of semantically-rich, Published in the Handbook of Real-Time and Embedded Systems, Ed. Insup Lee, Joseph Leung, Sang H. Son, CRC Press, 2006 [14] with OCL constraints [17] . Ecore is similar to the EMOF flavor of the pending MOF 2 specification currently being revised by OMG. It serves as the metamodeling language of the Eclipse Modeling Framework (EMF) [9] . Every Ecore metamodel may be equivalently represented through an Ecore dialect of XMI [18] or as Java source code. EMF was initially released in 2003 by IBM. The Domain Model Definition (DMD 1 ) language will be the metamodeling language supported by Microsoft's forthcoming Visual Studio Domain-Specific Language Toolkit. This toolkit realizes the Software 1 The DMD label is not standardized by Microsoft, but we adopt here for lack of a better short-hand name for Microsoft's forthcoming metamodeling language.
doi:10.1201/9781420011746.ch33 fatcat:h6gvy6cwp5d6fmwvrocpjgb4cu