Skip to main content
SpringerLink
Log in

Model-Driven Engineering Languages and Systems

17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Juergen Dingel

    1. Queen’s University, Kingston, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfram Schulte

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Isidro Ramos

    1. Universitat Politècnica de València, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Silvia Abrahão

    1. Universitat Politècnica de València, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Emilio Insfran

    1. Universitat Politècnica de València, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8767)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MODELS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Cloud, Mobile and Web Computing

    1. Model-Driven Development of Mobile Applications Allowing Role-Driven Variants

      • Steffen Vaupel, Gabriele Taentzer, Jan Peer Harries, Raphael Stroh, René Gerlach, Michael Guckert
      Pages 1-17

    2. A Model-Based System to Automate Cloud Resource Allocation and Optimization

      • Yu Sun, Jules White, Sean Eade
      Pages 18-34

    3. An Evaluation of the Effectiveness of the Atomic Section Model

      • Sunitha Thummala, Jeff Offutt
      Pages 35-49

  3. Model Transformation 1

    1. Parsing in a Broad Sense

      • Vadim Zaytsev, Anya Helene Bagge
      Pages 50-67

    2. Streaming Model Transformations By Complex Event Processing

      • István Dávid, István Ráth, Dániel Varró
      Pages 68-83

    3. On the Use of Signatures for Source Incremental Model-to-text Transformation

      • Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos
      Pages 84-98

  4. Behavioral Modeling

    1. Modeling Systemic Behavior by State-Based Holonic Modular Units

      • Luca Pazzi
      Pages 99-115

    2. Semantic Model Differencing Utilizing Behavioral Semantics Specifications

      • Philip Langer, Tanja Mayerhofer, Gerti Kappel
      Pages 116-132

    3. Formalizing Execution Semantics of UML Profiles with fUML Models

      • Jérémie Tatibouët, Arnaud Cuccuru, Sébastien Gérard, François Terrier
      Pages 133-148

  5. MDE: Past, Present and Future

    1. Who Knows/Uses What of the UML: A Personal Opinion Survey

      • Gianna Reggio, Maurizio Leotta, Filippo Ricca
      Pages 149-165

    2. Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain

      • Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson
      Pages 166-182

    3. The Relevance of Model-Driven Engineering Thirty Years from Now

      • Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet et al.
      Pages 183-200

  6. Formal Semantics, Specification and Verification

    1. Model-Driven Verifying Compilation of Synchronous Distributed Applications

      • Sagar Chaki, James Edmondson
      Pages 201-217

    2. Environment-Centric Contracts for Design of Cyber-Physical Systems

      • Jonas Westman, Mattias Nyberg
      Pages 218-234

    3. Removing Redundancies and Deducing Equivalences in UML Class Diagrams

      • Azzam Maraee, Mira Balaban
      Pages 235-251

  7. Models at Runtime

    1. A Native Versioning Concept to Support Historized Models at Runtime

      • Thomas Hartmann, Francois Fouquet, Gregory Nain, Brice Morin, Jacques Klein, Olivier Barais et al.
      Pages 252-268

    2. Modelling Adaptation Policies as Domain-Specific Constraints

      • Hui Song, Xiaodong Zhang, Nicolas Ferry, Franck Chauvel, Arnor Solberg, Gang Huang
      Pages 269-285

    3. Scalable Armies of Model Clones through Data Sharing

      • Erwan Bousse, Benoit Combemale, Benoit Baudry
      Pages 286-301

  8. Feature and Variability Modeling

    1. Three Cases of Feature-Based Variability Modeling in Industry

      • Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wąsowski
      Pages 302-319
Back to top

Other volumes

  1. Model-Driven Engineering Languages and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

Editors and Affiliations

  • Queen’s University, Kingston, Canada

    Juergen Dingel

  • Microsoft Research, Redmond, USA

    Wolfram Schulte

  • Universitat Politècnica de València, Spain

    Isidro Ramos, Silvia Abrahão, Emilio Insfran

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation