Book Volume 7602 2012

Model and Data Engineering

2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

Editors:

ISBN: 978-3-642-33608-9 (Print) 978-3-642-33609-6 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. Invited Speakers

    1. No Access

      Chapter and Conference Paper

      Pages 1-1

      Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds

    2. No Access

      Chapter and Conference Paper

      Pages 2-2

      Model-Based Auto Coding of Embedded Control Software with Full Semantics

  3. Session 1: Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution (I)

    1. No Access

      Chapter and Conference Paper

      Pages 3-15

      Modeling End-Users as Contributors in Human Computation Applications

    2. No Access

      Chapter and Conference Paper

      Pages 16-30

      Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces

    3. No Access

      Chapter and Conference Paper

      Pages 31-42

      Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences

  4. Session 2: Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution (II)

    1. No Access

      Chapter and Conference Paper

      Pages 43-54

      An MDE-Based Synthesis of Aircraft Safety Models

    2. No Access

      Chapter and Conference Paper

      Pages 55-66

      Integrating a Formal Development for DSLs into Meta-modeling

    3. No Access

      Chapter and Conference Paper

      Pages 67-78

      Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy

  5. Session 3: Ontology Based Modelling, Role of Ontologies in Modelling Activities

    1. No Access

      Chapter and Conference Paper

      Pages 79-90

      Modular Ontological Warehouse for Adaptative Information Search

    2. No Access

      Chapter and Conference Paper

      Pages 91-102

      Ontological Re-classification of Individuals: A Multi-viewpoints Approach

    3. No Access

      Chapter and Conference Paper

      Pages 103-115

      Transformation and Validation with SWRL and OWL of ODM-Based Models

  6. Session 4: Miscelanea

    1. No Access

      Chapter and Conference Paper

      Pages 116-128

      Context-Based Query Using Dependency Structures Based on Latent Topic Model

    2. No Access

      Chapter and Conference Paper

      Pages 129-140

      Decision Tree Selection in an Industrial Machine Fault Diagnostics

    3. No Access

      Chapter and Conference Paper

      Pages 141-152

      Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis

  7. Short Papers

    1. No Access

      Chapter and Conference Paper

      Pages 153-161

      Inductive UML

    2. No Access

      Chapter and Conference Paper

      Pages 162-169

      Formal Software Verification at Model and at Source Code Levels

    3. No Access

      Chapter and Conference Paper

      Pages 170-177

      Enterprise Ontology Learning for Heterogeneous Graphs Extraction

    4. No Access

      Chapter and Conference Paper

      Pages 178-185

      Toward Propagating the Evolution of Data Warehouse on Data Marts

  8. Back Matter

    Pages -