MoDELS 2011: Wellington, New Zealand

Keynote 1

• Marian Petre:
  The Value in Muddling Around Modelling. 1
  

Model Transformations 1

• Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola:
  Towards Quality Driven Exploration of Model Transformation Spaces. 2-16
  
• Gerd Kainz, Christian Buckl, Alois Knoll:
  Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. 17-31
  
• Massimo Tisi, Salvador Martinez Perez, Frédéric Jouault, Jordi Cabot:
  Lazy Execution of Model-to-Model Transformations. 32-46
  

Model Complexity

• Joanna Chimiak-Opoka:
  Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework. 47-61
  
• Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux:
  Modeling Model Slicers. 62-76
  
• Javier Espinazo-Pagán, Jesús Sánchez Cuadrado, Jesús García Molina:
  Morsa: A Scalable Approach for Persisting and Accessing Large Models. 77-92
  

Aspect-Oriented Modeling

• Johan Fabry, Arturo Zambrano, Silvia E. Gordillo:
  Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain. 93-107
  
• Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege:
  An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. 108-122
  
• Wisam Al Abed, Jörg Kienzle:
  Aspect-Oriented Modelling for Distributed Systems. 123-137
  

Analysis and Comprehension of Models

• Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero:
  A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. 138-152
  
• Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
  Semantically Configurable Consistency Analysis for Class and Object Diagrams. 153-167
  
• Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus:
  Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension. 168-182
  

Domain-Specific Modeling

• Frank Alexander Kraemer:
  Engineering Android Applications Based on UML Activities. 183-197
  
• Jim Steel, Robin Drogemuller:
  Domain-Specific Model Transformation in Building Quantity Take-Off. 198-212
  
• Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel:
  Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks. 213-227
  

Models for Embedded Systems

• Michael Lettner, Michael Tschernuth, Rene Mayrhofer:
  A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice. 228-242
  
• Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier:
  Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. 243-257
  
• Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel:
  Semantic Clone Detection for Model-Based Development of Embedded Systems. 258-272
  

Model Synchronization

• Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei:
  Instant and Incremental QVT Transformation for Runtime Models. 273-288
  
• Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France:
  Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. 289-303
  
• Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas:
  From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. 304-318
  

Model-Based Resource Management

• Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos:
  Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. 319-333
  
• Kenneth Lind, Rogardt Heldal:
  A Model-Based and Automated Approach to Size Estimation of Embedded Software Components. 334-348
  
• Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais:
  MDE to Manage Communications with and between Resource-Constrained Systems. 349-363
  

Analysis of Class Diagrams

• Maged Elaasar, Yvan Labiche:
  Diagram Definition: A Case Study with the UML Class Diagram. 364-378
  
• Ingo Feinerer, Gernot Salzer, Tanja Sisel:
  Reducing Multiplicities in Class Diagrams. 379-393
  

Keynote 2

• Mark Sagar:
  Creating Models for Simulating the Face. 394
  

Verification and Validation 1

• Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo:
  EUnit: A Unit Testing Framework for Model Management Tasks. 395-409
  
• Yann Moffett, Alain Beaulieu, Jürgen Dingel:
  Verifying UML-RT Protocol Conformance Using Model Checking. 410-424
  
• Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr:
  Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. 425-439
  

Refactoring Models

• Friedrich Steimann:
  Constraint-Based Model Refactoring. 440-454
  
• Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki:
  Supporting Design Model Refactoring for Improving Class Responsibility Assignment. 455-469
  

Modeling Visions

• Dmitrijs Zaparanuks, Matthias Hauswirth:
  Vision Paper: The Essence of Structural Models. 470-479
  
• Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann:
  Vision Paper: Towards Model-Based Energy Testing. 480-489
  
• Uli Fahrenberg, Axel Legay, Andrzej Wasowski:
  Vision Paper: Make a Difference! (Semantically). 490-500
  

Logics and Modeling

• Andres J. Ramirez, Betty H. C. Cheng:
  Automatic Derivation of Utility Functions for Monitoring Software Requirements. 501-516
  
• Mira Balaban, Michael Kifer:
  Logic-Based Model-Level Software Development with F-OML. 517-532
  
• Kurt Stenzel, Nina Moebius, Wolfgang Reif:
  Formal Verification of QVT Transformations for Code Generation. 533-547
  

Development Methods

• Mehdi Iraqi-Houssaini, Mathias Kleiner, Lionel Roucoules:
  Model-Based (Mechanical) Product Design. 548-562
  
• Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang:
  Applying a Model-Based Approach to IT Systems Development Using SysML Extension. 563-577
  
• Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar:
  Early Experience with Agile Methodology in a Model-Driven Approach. 578-590
  

Keynote 3

• Wolfram Schulte, Ethan K. Jackson:
  Finding Models in Model-Based Development - (Abstract). 591
  

Model Transformations 2

• Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
  CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. 592-607
  
• Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France:
  Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? 608-622
  
• Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault:
  Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
  

Verification and Validation 2

• Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey:
  Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. 638-652
  
• Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
  Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. 653-667
  
• Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong:
  Correctness of Model Synchronization Based on Triple Graph Grammars. 668-682
  

Model Integration and Collaboration

• Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson:
  A Toolchain for the Detection of Structural and Behavioral Latent System Properties. 683-698
  
• Arnaud Cuccuru, Sébastien Gérard, François Terrier:
  Defining MARTE's VSL as an Extension of Alf. 699-713
  
• Rixin Zhang, Ajay Krishnan:
  Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models. 714-728
  

Last update Fri May 25 08:27:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page