Advertisement

Model Driven Engineering Languages and Systems

15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

  • Robert B. France
  • Jürgen Kazmeier
  • Ruth Breu
  • Colin Atkinson
Conference proceedings MODELS 2012

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

Table of contents

  1. Front Matter
    PDF

  2. Keynote

    1. Quantitative Reactive Models
      Thomas A. Henzinger
      Pages 1-2

  3. MetaModels and Domain Specific Modeling

    1. Bottom-Up Meta-Modelling: An Interactive Approach
      Jesús Sánchez-Cuadrado, Juan de Lara, Esther Guerra
      Pages 3-19
    2. FacadeMetamodel: Masking UML
      Florian Noyrit, Sébastien Gérard, Bran Selic
      Pages 20-35
    3. T□: A Domain Specific Language for Rapid Workflow Development
      Fazle Rabbi, Wendy MacCaull
      Pages 36-52

  4. Models at RunTime

    1. Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time
      Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
      Pages 53-69
    2. Dynamic Evolution of Context-Aware Systems with Models at Runtime
      Germán H. Alférez, Vicente Pelechano
      Pages 70-86
    3. An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
      François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau et al.
      Pages 87-101

  5. Model Management I

    1. Automated and Transparent Model Fragmentation for Persisting Large Models
      Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe
      Pages 102-118
    2. Formally Defining and Iterating Infinite Models
      Benoit Combemale, Xavier Thirioux, Benoit Baudry
      Pages 119-133
    3. Query-Driven Soft Interconnection of EMF Models
      Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
      Pages 134-150

  6. Modeling Methods and Tools I

    1. Modeling the Linguistic Architecture of Software Products
      Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich
      Pages 151-167
    2. Cross-Language Support Mechanisms Significantly Aid Software Development
      Rolf-Helge Pfeiffer, Andrzej Wąsowski
      Pages 168-184
    3. Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension
      Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora
      Pages 185-201

  7. Consistency Analysis

    1. Incremental Consistency Checking for Complex Design Rules and Larger Model Changes
      Alexander Reder, Alexander Egyed
      Pages 202-218
    2. Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment
      Kleinner Farias, Alessandro Garcia, Carlos Lucena
      Pages 219-234
    3. On Integrating Structure and Behavior Modeling with OCL
      Lars Hamann, Oliver Hofrichter, Martin Gogolla
      Pages 235-251

  8. Software Product Lines I

    1. Multi-perspectives on Feature Models
      Julia Schroeter, Malte Lochau, Tim Winkelmann
      Pages 252-268
    2. Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines
      Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen
      Pages 269-284
    3. Towards Business Application Product Lines
      Vinay Kulkarni, Souvik Barat, Suman Roychoudhury
      Pages 285-301

  9. Foundations of Modeling

    1. Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines
      Azzam Maraee, Mira Balaban
      Pages 302-318
    2. The Coroutine Model of Computation
      Chris Shaver, Edward A. Lee
      Pages 319-334
    3. Assume-Guarantee Scenarios: Semantics and Synthesis
      Shahar Maoz, Yaniv Sa’ar
      Pages 335-351

  10. Model Management II

    1. An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development
      Adrian Kuhn, Gail C. Murphy, C. Albert Thompson
      Pages 352-367
    2. A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software
      Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou
      Pages 368-382
    3. Managing Related Models in Vehicle Control Software Development
      Rick Salay, Shige Wang, Vivien Suen
      Pages 383-398

  11. Static Analysis Techniques

    1. Detecting Specification Errors in Declarative Languages with Constraints
      Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner
      Pages 399-414
    2. From UML and OCL to Relational Logic and Back
      Mirco Kuhlmann, Martin Gogolla
      Pages 415-431
    3. On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers
      Fabian Büttner, Marina Egea, Jordi Cabot
      Pages 432-448

  12. Model Testing and Simulation

    1. ATLTest: A White-Box Test Generation Approach for ATL Transformations
      Carlos A. González, Jordi Cabot
      Pages 449-464
    2. Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis
      Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
      Pages 465-479
    3. Seeing Errors: Model Driven Simulation Trace Visualization
      El Arbi Aboussoror, Ileana Ober, Iulian Ober
      Pages 480-496

  13. Software Product Lines II

    1. A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data
      Razieh Behjati, Tao Yue, Lionel Briand
      Pages 497-513
    2. Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System
      Yihan Wu, Gang Huang, Hui Song, Ying Zhang
      Pages 514-530
    3. Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines
      Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner
      Pages 531-545

  14. Model Transformation

    1. Generation of Operational Transformation Rules from Examples of Model Transformations
      Hajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
      Pages 546-561
    2. Using Feature Model to Build Model Transformation Chains
      Vincent Aranega, Anne Etien, Sebastien Mosser
      Pages 562-578
    3. A Generic Approach Simplifying Model-to-Model Transformation Chains
      Gerd Kainz, Christian Buckl, Alois Knoll
      Pages 579-594

  15. Model Matching, Tracing and Synchronization

    1. An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling
      Gunnar Schulze, Joanna Chimiak-Opoka, Jim Arlow
      Pages 595-608
    2. Model Matching for Trace Link Generation in Model-Driven Software Development
      Birgit Grammel, Stefan Kastenholz, Konrad Voigt
      Pages 609-625
    3. Matching Business Process Workflows across Abstraction Levels
      Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Küster, Hagen Völzer
      Pages 626-641

  16. Modeling Methods and Tools II

    1. Experiences of Applying UML/MARTE on Three Industrial Projects
      Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand
      Pages 642-658
    2. Cost Estimation for Model-Driven Engineering
      Sagar Sunkle, Vinay Kulkarni
      Pages 659-675
    3. Evaluating the Effort of Composing Design Models: A Controlled Experiment
      Kleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez, Carlos Lucena
      Pages 676-691

  17. Modeling Practices and Experience I

    1. Transition to Model-Driven Engineering
      Jorge Aranda, Daniela Damian, Arber Borici
      Pages 692-708
    2. Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions
      Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig
      Pages 709-725
    3. A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study
      Shaukat Ali, Tao Yue, Lionel Briand, Suneth Walawege
      Pages 726-742

  18. Model Analysis

    1. Sensitivity Analysis in Model-Driven Engineering
      James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack
      Pages 743-758
    2. Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
      Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel Briand
      Pages 759-775

  19. Modeling Practices and Experience II

    1. Weaving-Based Configuration and Modular Transformation of Multi-layer Systems
      Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker
      Pages 776-792

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012.
The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

Keywords

OCL UML models large-scale software development model-driven development software modeling languages

Editors and affiliations

  • Robert B. France
    • 1
  • Jürgen Kazmeier
    • 2
  • Ruth Breu
    • 3
  • Colin Atkinson
    • 4
  1. 1.Department of Computer ScienceColorado State UniversityFort CollinsUSA
  2. 2.Healthcare Services International, Managed ServicesSiemens AGErlangenGermany
  3. 3.Institute of Computer ScienceUniversity of InnsbruckInnsbruckAustria
  4. 4.Software Engineering Group, A5, 6University of MannheimMannheimGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33666-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33665-2
  • Online ISBN 978-3-642-33666-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering