Skip to main content
  • Conference proceedings
  • © 2014

Model-Driven Engineering Languages and Systems

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

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

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

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2014.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-11653-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (41 papers)

  1. Front Matter

  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. 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. Semantic Model Differencing Utilizing Behavioral Semantics Specifications

      • Philip Langer, Tanja Mayerhofer, Gerti Kappel
      Pages 116-132
    2. 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. Environment-Centric Contracts for Design of Cyber-Physical Systems

      • Jonas Westman, Mattias Nyberg
      Pages 218-234
  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

Other Volumes

  1. Model-Driven Engineering Languages and Systems

    17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

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.

Keywords

  • Web applications
  • android
  • automatic code generation
  • cloud computing
  • component-based modeling
  • context-aware
  • domain-specific language
  • embedded systems
  • genetic programming
  • graph transformations
  • model checking
  • model driven software development
  • model transformation
  • model-driven engineering
  • resource optimization
  • software product lines
  • variability models
  • virtual testing
  • visual notation

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

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-11653-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)