MODELS 2011

Programme

Satellite Events
Conference Programme
Panel

For a schedule with times and room allocations, please consult the Conference Handbook (your bag will contains a printed copy).

Satellite Events

Sunday, 16/10
am W1
VARY
W2
MPM
T1
Generating Systems from UML
T3
Theory and Practice...
pm W1
VARY
W2
MPM
T2
SysML vs. UML2: A Detailed...
T3
Theory and Practice...

Monday, 17/10
am W3
EESSMod
W4
M@RT
W5
MoDeVVa
T4
Applying Model Driven...
DS
Doctoral
Symposium
pm W3
EESSMod
W4
M@RT
W5
MoDeVVa
T5
Formal Modeling with FORMULA...
DS
Doctoral
Symposium

Tuesday, 18/10
am W6
CMA
W7
ME
W8
ACES MB
T6
Formal Visual Modelling
ES
Educators'
Symposium
pm W6
CMA
W7
ME
W8
ACES MB
T7
Mathematics and Metamodelling
ES
Educators'
Symposium

Conference

Wednesday, 19/10
S1.a
Model Transformations

Chair: Zinovy Diskin
S1.b
Model Complexity

Chair: Ivan Porres
S1.c
Aspect Oriented Modelling

Chair: Gunter Mussbacher
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of Model Transformation Spaces (FT) Joanna Chimiak-Opoka: Measuring UML Models using Metrics defined in OCL within the SQUAM Framework (FT) Johan Fabry, Arturo Zambrano, Silvia Gordillo: Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (AT)
Gerd Kainz, Christian Buckl, Alois Knoll: Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (FT) Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux: Modeling Model Slicers (FT) Shaukat Ali, Lionel C Briand, Andrea Arcuri, Suneth Walawege: An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (AT)
Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot: Lazy Execution of Model-to-Model Transformations. (FT) Javier Espinazo-Pagán, Jesús Sánchez Cuadrado , Jesús García Molina: Morsa: a scalable approach for persisting and accessing large models (FT) Wisam Al Abed, Jörg Kienzle: Aspect-Oriented Modelling for Distributed Systems (FT)
S2.a
Analysis & Comprehension of Models

Chair: Vinay Kulkarni
S2.b
Domain Specific Modelling

Chair: Geri Georg
S2.c
Models for Embedded Systems

Chair: Rob Pettit
Gianna Reggio, Filippo Ricca, Francesco Di Cerbo, Gabriella Dodero, Giuseppe Scanniello: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (FT) Frank Alexander Kraemer: Engineering Android Applications with UML Activities (FT) 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 (AT)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: Semantically Configurable Consistency Analysis for Class and Object Diagrams (FT) Jim Steel, Robin Drogemuller: Domain-Specific Model Transformation in Building Quantity Takeoff (AT) Ali Koudri, Arnaud Cuccuru, Sébastien Gérard, François Terrier: Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AT)
Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José Antonio Cruz-Lemus: Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (FT) 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 (AT) Bernhard Schätz, Bakr Al-Batran, Benjamin Hummel: Semantic Clone Detection for Model-Based Development of Embedded Systems (FT)
S3.a
Model Synchronization

Chair: Jörg Kienzle
S3.b
Model Based Resource Management

Chair: Shahar Maoz
S3.c
Analysis of Class Diagrams

Chair: Hiroshi Miyazaki
Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Hong Mei: Instant Bidirectional QVT Transformation for Runtime Models (FT) Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (FT) Maged Elaasar, Yvan Labiche: Diagram Definition: a Case Study with the UML Class Diagram (AT)
Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France: Service-oriented Architecture Modeling: Bridging the Gap Between Structure and Behavior (FT) Kenneth Lind, Rogardt Heldal: A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (AT) Ingo Feinerer, Gernot Salzer, Tanja Sisel: Reducing Multiplicities in Class Diagrams (FT)
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas: From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case (FT) Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais: MDE to Manage Communications with and between Resource-Constrained Systems. (FT)  

Thursday, 20/10
S4.a
Modeling Visions (Invited)

Chair: Jon Whittle
S4.b
Verification & Validation

Chair: Gregor Engels
S4.c
Refactoring Models

Chair: Bernhard Rumpe
Øystein Haugen: Modeling - Back to the Future? (VT)
(slides available)
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 (FT) Friedrich Steimann: Constraint-Based Model Refactoring (FT)
Robert France: A Future Without Model-Driven Software Development (VT)
(slides available)
Yann Moffett, Alain Beaulieu, Juergen Dingel: Verifying UML-RT Protocol Conformance using Model Checking (FT) Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki: Supporting Design Model Refactoring for Improving Class Responsibility Assignment (FT)
Bran Selic: The Could Be, Should Be, and (Likely) Will Be of Model-Based Engineering (VT)
(slides available)
Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr: Model-based Coverage-driven Test Suite Generation for Software Product Lines (FT)  
S5.a
Modeling Visions

Chair: Gianna Reggio
S5.b
Logics and Modeling

Chair: Robert France
S5.c
Development Methods

Chair: Bran Selic
Dmitrijs Zaparanuks, Matthias Hauswirth: Vision Paper: The Essence of Structural Models (FT) Andres J. Ramirez, Betty H.C. Cheng: Automatic Derivation of Utility Functions for Monitoring Software Requirements (FT) Mehdi Iraqi Houssaini, Mathias Kleiner, Lionel Roucoules: Model-based (Mechanical) Product Design (AT)
Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann: Vision Paper: Towards Model-Based Energy Testing (FT) Mira Balaban, Michael Kifer: Logic-based Model Level Software Development with F-OML (FT) Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang: Applying a Model-Based Approach to IT Systems Development using SysML Extension (AT)
Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically) (FT) Kurt Stenzel, Nina Moebius, Wolfgang Reif: Formal Verification of QVT Transformations for Code Generation (FT) Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar: Early Experience with Agile Methodology in a Model-driven Approach (AT)

Friday, 21/10
S6.a
Model Transformations

Chair: Colin Atkinson
S6.b
Verification & Validation

Chair: Juergen Dingel
S6.c
Model Integration and Collaboration

Chair: Sébastien Gérard
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (FT) Martin F. Johansen, Øystein Haugen, Franck Fleurey: Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible (FT) Adam C. Jensen, Betty H.C. Cheng, Heather J. Goldsby, Edward C. Nelson: A Toolchain for the Detection of Structural and Behavioral Latent System Properties (AT)
Tomofumi Yuki, Antoine Floch, Steven Derrien, Benoît Combemale, Sanjay Rajopadhye, Robert France, Clement Guy: Model-Driven Engineering and Optimizing Compilers: A bridge too far? (AT) Ethan Jackson, Daniel Balasubramanian, Tihamér Levendovszky: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (FT) Arnaud Cuccuru, Sébastien Gérard, François Terrier: Defining MARTE's VSL as an Extension of Alf (AT)
Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a general composition semantics for rule-based model transformation (FT) Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong: Correctness of Model Synchronization Based on Triple Graph Grammars (FT) Rixin Zhang, Ajay Krishnan: Using Delta Model for Collaborative Work of Industrial Large-scaled E/E Models (AT)

Legend
VT Vision Track
FT Foundations Track
AT Applications Track

Panel

When will Code become Irrelevant?

Modelling has made significant strides since the introduction of the UML in the 1990s and now plays a role in most software engineering projects. However, it is still usually regarded as a means-to-an-end rather than an end itself, with "code" (in third generation, high level programming languages like Java) still being regarded as the primary software artefact driving software projects, especially those following "agile" development methods. The question addressed by this panel is when, if ever, will this situation change in mainstream software engineering practice and when will models taken centre stage in software projects rather than play a supporting role? In other words when will high level, 3GL "code" become irrelevant to software engineers, just as assembler code, machine code and byte code are irrelevant to them today. Another way of casting the question is "when will models become the code?" This will be the day when modelling finally fulfils its promise of raising the level of abstraction at which software systems are described, and high-level source code will simply become an internal, machine-oriented representation format.

Panelists

Moderator

News

We hope you enjoy the MODELS 2011 Image Gallery

Proceedings LNCS 6981 now online

The Programme links to a soft copy of the conference booklet

The Carter Observatory Reception featured a talk by Dr. Johnston-Hollitt

Satellite Events now include lunch! Also see the new Food Map

Subscribe to our RSS feed   Join us on LinkedIn   Find us on Facebook   Follow us on Twitter