Skip to main content
SpringerLink
Log in

Modelling Foundations and Applications

8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Antonio Vallecillo

    1. Universidad de Málaga, ETSI Informâtica, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juha-Pekka Tolvanen

    1. MetaCase, Jyväskylä, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ekkart Kindler

    1. Department of Informatics and Mathematical Modelling, Technical University of Denmark, Kgs. Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Harald Störrle

    1. Department of Informatics and Mathematical Modelling, Technical University of Denmark, Kgs. Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Dimitris Kolovos

    1. Department of Computer Science, University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: ECMFA 2012.

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 (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Executable UML: From Multi-domain to Multi-core

    • Ed Seidewitz
    Pages 1-1

  3. Models Meeting Automotive Design Challenges

    • Henrik Lönn
    Pages 2-3

  4. A Commutative Model Composition Operator to Support Software Adaptation

    • Sébastien Mosser, Mireille Blay-Fornarino, Laurence Duchien
    Pages 4-19

  5. Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings

    • Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig
    Pages 20-31

  6. Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations

    • Mirco Kuhlmann, Martin Gogolla
    Pages 32-48

  7. Model Interchange Testing: A Process and a Case Study

    • Maged Elaasar, Yvan Labiche
    Pages 49-61

  8. An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters

    • Thomas Goldschmidt, Wolfgang Mahnke
    Pages 62-73

  9. Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing

    • Lionel Briand, Yvan Labiche, Yanhua Liu
    Pages 74-89

  10. Model Transformations for Migrating Legacy Models: An Industrial Case Study

    • Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel
    Pages 90-101

  11. Derived Features for EMF by Integrating Advanced Model Queries

    • István Ráth, Ábel Hegedüs, Dániel Varró
    Pages 102-117

  12. A Lightweight Approach for Managing XML Documents with MDE Languages

    • Dimitrios S. Kolovos, Louis M. Rose, James Williams, Nicholas Matragkas, Richard F. Paige
    Pages 118-132

  13. Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies

    • Tao Yue, Shaukat Ali
    Pages 133-145

  14. Badger: A Regression Planner to Resolve Design Model Inconsistencies

    • Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens
    Pages 146-161

  15. Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines

    • Gefei Zhang
    Pages 162-177

  16. TexMo: A Multi-language Development Environment

    • Rolf-Helge Pfeiffer, Andrzej Wąsowski
    Pages 178-193

  17. On-the-Fly Emendation of Multi-level Models

    • Colin Atkinson, Ralph Gerbig, Bastian Kennel
    Pages 194-209

  18. Specifying Refinement Relations in Vertical Model Transformations

    • Jan Rieke, Oliver Sudmann
    Pages 210-225

  19. Model-Based Automated and Guided Configuration of Embedded Software Systems

    • Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel Briand
    Pages 226-243

  20. Lightweight String Reasoning for OCL

    • Fabian Büttner, Jordi Cabot
    Pages 244-258
Back to top

Other volumes

  1. Modelling Foundations and Applications

Keywords

About this book

This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012.
The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field.

Editors and Affiliations

  • Universidad de Málaga, ETSI Informâtica, Málaga, Spain

    Antonio Vallecillo

  • MetaCase, Jyväskylä, Finland

    Juha-Pekka Tolvanen

  • Department of Informatics and Mathematical Modelling, Technical University of Denmark, Kgs. Lyngby, Denmark

    Ekkart Kindler, Harald Störrle

  • Department of Computer Science, University of York, York, United Kingdom

    Dimitris Kolovos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation