Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Model-Driven Engineering Languages and Systems

16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Editors:

  1. Ana Moreira

    1. Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Schätz

    1. Institut für Mathematik, fortiss / Technische Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jeff Gray

    1. Department of Computer Science, University of Alabama, Tuscaloosa, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Antonio Vallecillo

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Peter Clarke

    1. School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, Miami, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • State-of-the-art research
  • Fast-track conference proceedings

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

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 2013.

Sections

Buy it now

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

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

Table of contents (47 papers)

  1. Verification

    1. Behavioural Verification in Embedded Software, from Model to Source Code

      • Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
      Pages 320-335

    2. Formal Verification Integration Approach for DSML

      • Faiez Zalila, Xavier Crégut, Marc Pantel
      Pages 336-351

  2. Product Lines

    1. Composing Your Compositions of Variability Models

      • Mathieu Acher, Benoit Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France
      Pages 352-369

    2. Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems

      • Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan
      Pages 370-387

    3. Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement

      • Javier González-Huerta, Emilio Insfrán, Silvia Abrahão
      Pages 388-404

  3. Evolution 2

    1. Evolution of the UML Interactions Metamodel

      • Marc-Florian Wendland, Martin Schneider, Øystein Haugen
      Pages 405-421

    3. On the Complex Nature of MDE Evolution

      • Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel
      Pages 436-453

  4. Semantics

    2. Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition

      • Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits
      Pages 471-487

    3. Endogenous Metamodeling Semantics for Structural UML 2 Concepts

      • Lars Hamann, Martin Gogolla
      Pages 488-504

  5. Domain-Specific Modeling Languages

    1. Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques

      • Florian Noyrit, Sébastien Gérard, François Terrier
      Pages 505-521

    2. Towards the Notation-Driven Development of DSMLs

      • Laurent Wouters
      Pages 522-537

    3. Validation of Derived Features and Well-Formedness Constraints in DSLs

      • Oszkár Semeráth, Ákos Horváth, Dániel Varró
      Pages 538-554

  6. Models@RT

    1. Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving

      • Hui Song, Stephen Barrett, Aidan Clarke, Siobhán Clarke
      Pages 555-571

    2. Runtime Model Based Management of Diverse Cloud Resources

      • Xiaodong Zhang, Xing Chen, Ying Zhang, Yihan Wu, Wei Yao, Gang Huang et al.
      Pages 572-588

    3. The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management

      • Borislav Iordanov, Assia Alexandrova, Syed Abbas, Thomas Hilpold, Phani Upadrasta
      Pages 589-603

  7. Design and Architecture

    1. Concern-Oriented Software Design

      • Omar Alam, Jörg Kienzle, Gunter Mussbacher
      Pages 604-621

    2. Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology

      • Sagar Sunkle, Vinay Kulkarni, Suman Roychoudhury
      Pages 622-638

    3. Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies

      • Kleinner Farias, Alessandro Garcia, Jon Whittle, Carlos Lucena
      Pages 639-655
Back to top

Other Volumes

  1. Model-Driven Engineering Languages and Systems

Back to top

About this book

This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.
Back to top

Editors and Affiliations

  • Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    Ana Moreira

  • Institut für Mathematik, fortiss / Technische Universität München, München, Germany

    Bernhard Schätz

  • Department of Computer Science, University of Alabama, Tuscaloosa, USA

    Jeff Gray

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

    Antonio Vallecillo

  • School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, Miami, USA

    Peter Clarke

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation