Model and data engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings / Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah (eds.).

Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds / Mike P. Papazoglou -- Model-Based Auto Coding of Embedded Control Software with Full Semantics / Eric Féron -- Modeling End-Users as Contributors in Human Computation Applications / Roula Karam, Piero Fraternali, Alessandro Bozzon and Luca Galli -- Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces / Diego Rodríguez-Gracia, Javier Criado, Luis Iribarne, Nicolás Padilla and Cristina Vicente-Chicote -- Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences / Carlo Batini, Marco Comerio and Gianluigi Viscusi -- An MDE-Based Synthesis of Aircraft Safety Models / Sébastien Maitrehenry, Sylvain Metge, Yamine Aït-Ameur and Pierre Bieber -- Integrating a Formal Development for DSLs into Meta-modeling / Selma Djeddai, Martin Strecker and Mohamed Mezghiche -- Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy / Emsaieb Geepalla, Behzad Bordbar and Joel Last -- Modular Ontological Warehouse for Adaptative Information Search / Nesrine Ben Mustapha, Marie-Aude Aufaure, Hajer Baazaoui Zghal and Henda Ben Ghezala -- Ontological Re-classification of Individuals: A Multi-viewpoints Approach / Meriem Djezzar, Mounir Hemam and Zizette Boufaida -- Transformation and Validation with SWRL and OWL of ODM-Based Models / Jesús M. Almendros-Jiménez and Luis Iribarne -- Context-Based Query Using Dependency Structures Based on Latent Topic Model / Takashi Yanagisawa and Takao Miura -- Decision Tree Selection in an Industrial Machine Fault Diagnostics / Nour El Islem Karabadji, Hassina Seridi, Ilyes Khelf and Lakhdar Laouar -- Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis / Fairouz Dahi and Nora Bounour -- Inductive UML / Franck Barbier and Eric Cariou -- Formal Software Verification at Model and at Source Code Levels / Anthony Fernandes Pires, Thomas Polacsek and Stéphane Duprat -- Enterprise Ontology Learning for Heterogeneous Graphs Extraction / Rania Soussi and Marie-Aude Aufaure -- Toward Propagating the Evolution of Data Warehouse on Data Marts / Saïd Taktak and Jamel Feki.

Includes bibliographical references and author index.

This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining.