Previous paper

Next paper

---

Formal and Tool Support for Model Driven Engineering with Maude J. Rául Romero, Dept. Informática y Anáalisis Numérico, Universidad de Córdoba, Spain José E. Rivera, Francisco Durán, Antonio Vallecillo, Dept. Lenguages y Ciencias de la Computación, Universidad de Málaga, Spain

REFEREED PAPER PDF Version

Abstract

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 specication 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 specied 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

		José Rául Romero is currently an Assistant Professor at the Departament of Computer Science of the University of Córdoba. He has worked as IT consultant for important consulting and technology companies for several years. His current research interests include model driven software development and the industrial use of formal methods. He can be reached at jrromero@uco.es or at http://www.jrromero.net.
		José E. Rivera received the MSc degree in Computer Science from the University of Málaga. He is currently a PhD Student at the Departament of Computer Science of the University of Málaga. His research interests include model-driven software development and its application to the industrial environment. Contact him at rivera@lcc.uma.es.
		Francisco Durán is an Associate Professor at the Department of Computer Science of the University of Málaga, Spain. His research interests include the application of formal methods to software engineering, reflection and metaprogramming, componentbased software development, open distributed programming, and software composition. Contact him at duran@lcc.uma.es. See also http://www.lcc.uma.es/~duran.
		Antonio Vallecillo is Associate Professor at the Department of Computer Science of the University of Mlaga, Spain. His research interests include model-driven software development, componentware, open distributed processing, and the industrial use of formal methods. Contact him at av@lcc.uma.es. See also http://www.lcc.uma.es/~av.

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/