¹Laboratorio DEI., Dpto. de Informática, Escuela Politécnica Superior, Universidad Carlos III de Madrid, Av. Universidad 30, Madrid, Spain

Correspondence: Susana Montero, DEI Laboratory, Computer Science Department, Escuela Politécnica Superior, Universidad Carlos III, Av. Universidad 30, Leganés, Madrid 28911, Spain. Tel: +34 91 624 9499; E-mail: smontero@inf.uc3m.es

Received 28 November 2006; Revised 27 April 2007; Accepted 27 July 2007.

Abstract

Model-Driven Development (MDD) is an appropriate paradigm for web development since interoperability and flexibility are required to cope with implementation technologies and functionalities that are in permanent evolution. In this paper, we describe and illustrate the MDD process of the ADM (Ariadne Development Method) hypermedia/web engineering method. The two cornerstones of the ADM are the Labyrinth++ meta-meta-model, which formalizes the core constructs used within all the design meta-models, and the meta-meta-model specification as an ontology that provides semantics and reasoning not only for model transformations but also for consistency checking and model validation. These features have been essential in the development of a CASE tool, called AriadneTool that supports the different abstract levels of modeling, model transformations as well as the generation of light prototypes in different web implementation technologies.