Ebook: Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

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.

---

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.

---

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.
Content:
Front Matter....Pages -
Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds....Pages 1-1
Model-Based Auto Coding of Embedded Control Software with Full Semantics....Pages 2-2
Modeling End-Users as Contributors in Human Computation Applications....Pages 3-15
Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces....Pages 16-30
Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences....Pages 31-42
An MDE-Based Synthesis of Aircraft Safety Models....Pages 43-54
Integrating a Formal Development for DSLs into Meta-modeling....Pages 55-66
Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy....Pages 67-78
Modular Ontological Warehouse for Adaptative Information Search....Pages 79-90
Ontological Re-classification of Individuals: A Multi-viewpoints Approach....Pages 91-102
Transformation and Validation with SWRL and OWL of ODM-Based Models....Pages 103-115
Context-Based Query Using Dependency Structures Based on Latent Topic Model....Pages 116-128
Decision Tree Selection in an Industrial Machine Fault Diagnostics....Pages 129-140
Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis....Pages 141-152
Inductive UML....Pages 153-161
Formal Software Verification at Model and at Source Code Levels....Pages 162-169
Enterprise Ontology Learning for Heterogeneous Graphs Extraction....Pages 170-177
Toward Propagating the Evolution of Data Warehouse on Data Marts....Pages 178-185
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds....Pages 1-1
Model-Based Auto Coding of Embedded Control Software with Full Semantics....Pages 2-2
Modeling End-Users as Contributors in Human Computation Applications....Pages 3-15
Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces....Pages 16-30
Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences....Pages 31-42
An MDE-Based Synthesis of Aircraft Safety Models....Pages 43-54
Integrating a Formal Development for DSLs into Meta-modeling....Pages 55-66
Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy....Pages 67-78
Modular Ontological Warehouse for Adaptative Information Search....Pages 79-90
Ontological Re-classification of Individuals: A Multi-viewpoints Approach....Pages 91-102
Transformation and Validation with SWRL and OWL of ODM-Based Models....Pages 103-115
Context-Based Query Using Dependency Structures Based on Latent Topic Model....Pages 116-128
Decision Tree Selection in an Industrial Machine Fault Diagnostics....Pages 129-140
Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis....Pages 141-152
Inductive UML....Pages 153-161
Formal Software Verification at Model and at Source Code Levels....Pages 162-169
Enterprise Ontology Learning for Heterogeneous Graphs Extraction....Pages 170-177
Toward Propagating the Evolution of Data Warehouse on Data Marts....Pages 178-185
Back Matter....Pages -
....