Models and metamodels play a cornerstone role in Model-Driven Software Development. Although several notations have been proposed to specify them, the kind of formal and tool support they provide is quite limited. In this paper we explore the use of Maude as a formal notation for describing models and metamodels. Maude is an executable rewriting logic language specially well suited for the specication of object-oriented open and distributed systems. We show how Maude oers a simple, natural, and accurate way of specifying models and metamodels, and oers good tool support for reasoning about them. In particular, we show how some basic operations on models, such as model subtyping, type inference, and metric evaluation, can be easily specied and implemented in Maude, and made available in development environments such as Eclipse.
Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.
About the authors
Cite this article as follows:Cite this document as follows: J. Raul Romero, Jose E. Rivera, Francisco Duran, Antonio Vallecillo: "Formal and Tool Support for Model Driven Engineering with Maude", in Journal of Object Technology, vol. 6, no. 9, Special Issue: TOOLS EUROPE 2007, October 2007, pages 187- 207, http://www.jot.fm/issues/issue_2007_10/paper10/