| Description |
1 online resource (xx, 730 pages) |
| Series |
Lecture notes in computer science, 0302-9743 ; 6981 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6981.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Machine generated contents note: Keynote 1 -- Value in Muddling Around Modelling (Abstract) / Marian Petre -- Model Transformations -- Towards Quality Driven Exploration of Model Transformation Spaces / Raffaela Mirandola -- Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation / Alois Knoll -- Lazy Execution of Model-to-Model Transformations / Jordi Cabot -- Model Complexity -- Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework / Joanna Chimiak-Opoka -- Modeling Model Slicers / Olivier Beaudoux -- Morsa: A Scalable Approach for Persisting and Accessing Large Models / Jesus Garcia Molina -- Aspect-Oriented Modeling -- Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain / Silvia Gordillo -- Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms / Suneth Walawege -- Aspect-Oriented Modelling for Distributed Systems / Jorg Kienzle -- Analysis and Comprehension of Models -- Precise Style for Business Process Modelling: Results from Two Controlled Experiments / Gabriella Dodero -- Semantically Configurable Consistency Analysis for Class and Object Diagrams / Bernhard Rumpe -- Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension / Jose Antonio Cruz-Lemus -- Domain-Specific Modeling -- Engineering Android Applications Based on UML Activities / Frank Alexander Kraemer -- Domain-Specific Model Transformation in Building Quantity Take-Off / Robin Drogemuller -- Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks / Jean-Michel Bruel -- Models for Embedded Systems -- Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice / Rene Mayrhofer |
|
Note continued: Designing Heterogeneous Component Based Systems: Evaluation of Marte Standard and Enhancement Proposal / Francois Terrier -- Semantic Clone Detection for Model-Based Development of Embedded Systems / Benjamin Hummel -- Model Synchronization -- Instant and Incremental QVT Transformation for Runtime Models / Hong Mei -- Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior / Robert B. France -- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case / Fernando Orejas -- Model-Based Resource Management -- Enforcing S & D Pattern Design in RCES with Modeling and Formal Approaches / Nicolas Desnos -- Model-Based and Automated Approach to Size Estimation of Embedded Software Components / Rogardt Heldal -- MDE to Manage Communications with and between Resource-Constrained Systems / Olivier Barais -- Analysis of Class Diagrams -- Diagram Definition: A Case Study with the UML Class Diagram / Yvan Labiche -- Reducing Multiplicities in Class Diagrams / Tanja Sisel -- Keynote 2 -- Creating Models for Simulating the Face (Abstract) / Mark Sagar -- Verification and Validation 1 -- EUnit: A Unit Testing Framework for Model Management Tasks / Inmaculada Medina-Bulo -- Verifying UML-RT Protocol Conformance Using Model Checking / Juergen Dingel -- Model-Based Coverage-Driven Test Suite Generation for Software Product Lines / Andy Schurr -- Refactoring Models -- Constraint-Based Model Refactoring / Friedrich Steimann -- Supporting Design Model Refactoring for Improving Class Responsibility Assignment / Motoshi Saeki -- Modeling Visions -- Vision Paper: The Essence of Structural Models / Matthias Hauswirth -- Vision Paper: Towards Model-Based Energy Testing / Uwe Aßmann -- Vision Paper: Make a Difference! (Semantically) / Andrzej Wasowski -- Logics and Modeling |
|
Note continued: Automatic Derivation of Utility Functions for Monitoring Software Requirements / Betty H.C. Cheng -- Logic-Based Model-Level Software Development with F-OML / Michael Kifer -- Formal Verification of QVT Transformations for Code Generation / Wolfgang Reif -- Development Methods -- Model-Based (Mechanical) Product Design / Lionel Roucoules -- Applying a Model-Based Approach to IT Systems Development Using SysML Extension / Jianwen Xiang -- Early Experience with Agile Methodology in a Model-Driven Approach / Uday Ramteerthkar -- Keynote 3 -- Finding Models in Model-Based Development (Abstract) / Ethan K. Jackson -- Model Transformations 2 -- CD2Alloy: Class Diagrams Analysis Using Alloy Revisited / Bernhard Rumpe -- Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? / Robert B. France -- Towards a General Composition Semantics for Rule-Based Model Transformation / Frederic Jouault -- Verification and Validation 2 -- Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible / Franck Fleurey -- Reasoning about Metamodeling with Formal Specifications and Automatic Proofs / Daniel Balasubramanian -- Correctness of Model Synchronization Based on Triple Graph Grammars / Yingfei Xiong -- Model Integration and Collaboration -- Toolchain for the Detection of Structural and Behavioral Latent System Properties / Edward C. Nelson -- Defining Marte's VSL as an Extension of Alf / Francois Terrier -- Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models / Ajay Krishnan |
| Summary |
This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration |
| Analysis |
Computer science |
|
Computer network architectures |
|
Software engineering |
|
Information Systems |
|
Programming Techniques |
|
Software Engineering/Programming and Operating Systems |
|
Programming Languages, Compilers, Interpreters |
|
Computer System Implementation |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
| Subject |
Computer software -- Development -- Congresses
|
|
Model-integrated computing -- Congresses
|
|
UML (Computer science) -- Congresses
|
|
Computer simulation -- Congresses
|
|
Computer programming.
|
|
computer programming.
|
|
Informatique.
|
|
Computer simulation
|
|
Computer software -- Development
|
|
Model-integrated computing
|
|
UML (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Whittle, Jon, 1972-
|
|
Clark, Tony (College teacher)
|
|
Kühne, Thomas.
|
| ISBN |
9783642244858 |
|
3642244858 |
|
9783642244841 |
|
364224484X |
|
