MDE (Model Driven Engineering) is an emerging software engineering paradigm that relies on models as primary artifacts to build complex software and hardware systems. It basically aims at overcoming the inability of third-generation languages to alleviate the complexity of platforms and express domain concepts effectively. One particular vision of MDE was proposed by OMG (Object Management Grou...

Resumen La aparición de la MDA (Model-Driven Architecture) y, en general, del MDD (ModelDriven Development) ha dado un nuevo impulso a la investigación acerca de la generación automática del código de una aplicación a partir de su especificación. En este artículo se estudia el soporte ofrecido por los métodos y herramientas actuales para la generación automática de las restricciones de integrid...

During the last decade, data warehousing has reached a high maturity and is a well-accepted technology in decision support systems. Nevertheless, development and maintenance are still tedious tasks since the systems grow over time and complex architectures have been established. The paper at hand adopts the concepts of Model Driven Architecture (MDA) and Architecture Driven Modernization (ADM) ...

Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this methodology is being built at the moment. It allows modeling of business processes and uses Model Driven Software Development (MDSD) technologies to transform the business process models to a mathematical specifications....

This article deals with the transformation of a relational database to an object database. It suggests a new solution based on database and model-driven engineering integration. In the first part it is discussed in general issues of relational database transformation into object one, some problematic areas are identified. Subsequently, depending on detailed analyze of the database reverse engin...

Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language with side-effects? At the meta-level (M2), queries, views and transformations are subjects that will be vital to the success of the OMG’s Mode...

Safety-critical applications have to fulfill stringent requirements, both functional and nonfunctional. These requirements have to be coherent with each other and must be preserved throughout the software development process. In this context, a design-driven development approach can play a critical role. However existing design-driven development approaches are often general purpose, providing ...

We argue that existing OS designs are ill-suited for the needs of Internet service applications. These applications demand massive concurrency (supporting a large number of requests per second) and must be well-conditioned to load (avoiding degradation of performance and predictability when demand exceeds capacity). The transparency and virtualization provided by existing operating systems lead...

The correctness of model transformation is an import research field in model-driven architecture. Syntactic correctness and semantic consistency are hot topics in the field of model transformation. Syntactic correctness has many mature solutions. However the validation of semantic consistency has some problems. Therefore, how to validate semantic consistency of model transformation is a major p...

Proactive Event-Driven Computing is a new paradigm, in which a decision is not made due to explicit users' requests nor is it made as a response to past events. Rather, the decision is autonomously triggered by forecasting future states. Proactive event-driven computing requires a departure from current event-driven architectures to ones capable of handling uncertainty and future events, and re...