MODELS 2011

Workshops

Sun
16/10
W1 VARY Variability for You
W2 MPM Multi-Paradigm Modeling
Mon
17/10
W3 EESSMod Experiences and Empirical Studies in Software Modelling
W4 Models@run.time Models At Runtime
W5 MoDeVVa Model-Driven Engineering, Verification and Validation
Tue
18/10
W6 CMA Comparing Modeling Approaches
W7 ME Models and Evolution
W8 ACES MB Model-Based Architecting and Construction of Embedded Systems

Click on workshop abbreviations or workshop headings below to get to the respective workshop website.

Variability for You

Organisers

  • Øystein Haugen (SINTEF, Norway)
  • Krzysztof Czarnecki (University of Waterloo, Canada)
  • Jean-Marc Jézéquel (INRIA, France)
  • Birger Møller-Pedersen (University of Oslo, Norway)
  • Andrzej Wąsowski (IT University of Copenhagen, Denmark)

Outline

"Variability for You" is intended to be a workshop to discuss how variability modeling can be made most useful for everyone in the modeling community. The workshop will influence the ongoing standardization efforts within OMG to establish a Common Variability Language, where the organizers of this workshop are also participating in the consolidated submission team. Furthermore, we want the workshop to improve the awareness of product line modeling and to show example of said modeling.

Multi-Paradigm Modeling

Organisers

  • Vasco Amaral (Universidade Nova de Lisboa, Portugal)
  • Peter Bunus (Linköping University, Sweden)
  • Cécile Hardebolle (Supelec, France)
  • László Lengyel (Budapest University of Technology and Economy, Hungary)

Outline

Multi-Paradigm Modelling (MPM) is a research field focused on solving the challenge of combining, coupling, and integrating rigorous models of some reality, at different levels of abstraction and views, using adequate modelling formalisms and semantic domains, with the goal to simulate (for optimization) or realize systems that may be physical, software or a combination of both. The key challenges are finding adequate Model Abstractions, Multi-formalism modelling, Model Transformation and the application of MPM techniques and tools to Complex Systems. MPM theories/methods/technologies have been successfully applied in the field of software architectures, control system design, model integrated computing, and tool interoperability. The fifth Workshop on Multi-Paradigm Modelling: Concepts and Tools (MPM) is aimed at furthering the state-of-the-art as well as to define future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop.

Experiences and Empirical Studies in Software Modelling

Organisers

  • Michel Chaudron (University of Leiden, The Netherlands)
  • Marcela Genero (University of Castilla-La Mancha, Spain)
  • Silvia Abrahao (Universitat Politècnica de València, Spain)
  • Parastoo Mohagheghi (SINTEF-ICT and Norwegian University of Science and Technology, Norway)
  • Lars Pareto (Chalmers | University of Gothenburg)

Outline

This workshop aims at bringing together professionals and researchers interested in software modelling to discuss in which way software modelling techniques may be evaluated, share experiences of performing such evaluations and discuss ideas for further research in this area. The workshop accepts both experience reports of applying software modelling in industry and research papers that describe more rigorous empirical studies performed in industry or academia.

Models At Runtime

Organisers

  • Nelly Bencomo (INRIA, France)
  • Gordon Blair (Lancaster University, UK)
  • Betty Cheng (Michigan State University, USA)
  • Robert France (Colorado State University, USA)
  • Cedric Jeanneret (University of Zurich, Switzerland)

Outline

Many distributed systems operate in heterogeneous and rapidly changing environments. Such systems are required to be adaptable, flexible, reconfigurable and, increasingly, self-managing. The use of model-driven techniques for validating and monitoring runtime behavior of these systems can yield significant benefits, as models provide a rich semantic base for runtime decision-making related to system adaptation and other runtime concerns. The workshop aims at exploring this promising direction by investigating issues related to the creation, maintenance and use of models at runtime.

Model-Driven Engineering, Verification and Validation

Organisers

  • Harald Cichos (Technische Universität Darmstadt, Germany)
  • Frédéric Fondement (Université de Haute Alsace, France)
  • Levi Lúcio (Université du Luxembourg, Luxembourg)
  • Stephan Weißleder (Fraunhofer FIRST, Germany)

Outline

Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. Its aim is to decrease the complexity of software engineering to a minimum by creating and maintaining only the necessary information at each stage and abstraction level in the software engineering process. Because of the rapidly moving developments in the context of MDE, there is a crucial need for effective verification and validation techniques (V&V). The objective of this workshop on model-driven engineering, verification and validation (MoDeVVa) is to offer a forum for researchers and practitioners who are developing new approaches to V&V in the context of MDE. We seek contributions that reflect on how can MDE improve V&V and how can V&V leverage the techniques around MDE. In particular, we are interested in V&V of model transformations, V&V of the (meta-)models, and the use of (meta-)models for V&V.

Comparing Modeling Approaches

Organisers

  • Geri Georg (Colorado State University, USA)
  • Gunter Mussbacher (Carleton University, Canada)
  • Ana Moreira (Universidade Nova de Lisboa, Portugal)
  • Betty Cheng (Michigan State University, USA)
  • Robert France (Colorado State University, USA)

Outline

The Comparing Modeling Approaches (CMA) workshop brings together practitioners of different aspect-oriented modeling (AOM) and object-oriented modeling (OOM) approaches to discuss and evaluate their various approaches in the context of a focused case study and provided comparison criteria, both developed at the 2011 AOM Bellairs Workshop. The focused case study defines a simple Crisis Management System and offers the choice of modeling either a single system or a software product line. The collection of criteria is designed to compare AOM approaches along with more traditional OOM approaches.

Models and Evolution

Organisers

  • Dirk Deridder (Vrije Universiteit Brussel, Belgium)
  • Bernhard Schätz (fortiss GmbH, Germany)
  • Dalila Tamzalit (University of Nantes, France)
  • Alfonso Pierantonio (University of L'Aquila, Italy)
  • Jonathan Sprinkle (University of Arizona, USA)

Outline

Model-Driven Engineering (MDE) is an approach to software design and development in which models are the primary artifacts. Increasingly, models experience the same issues as traditional software artifacts, i.e., being subject to many kinds of changes, which range from rapidly evolving platforms to the evolution of the functionalitites provided by the applications developed. These modifications include changes at all levels, from requirements through architecture and design, to executable models, documentation and test suites. Besides evolution on the level of models themselves, the issues of evolution on the level of the metamodels becomes an increasingly pressing issue. Core tasks of MDE are the manipulation and transformation of models conforming to metamodels, thus providing base technologies to manage software evolution. Model (co-)evolution and consistency management become crucial activities to cope with the natural changes of applications as well as application domains. As a result, there is an increasing need for more disciplined techniques and engineering tools to support a wide range of model evolution activities, including model differencing, model comparison, model refactoring, model inconsistency management, model versioning and merging, and (co-)evolution of models.

Model-Based Architecting and Construction of Embedded Systems

Organisers

  • Huascar Espinoza (Tecnalia, Spain)
  • Sebastien Gerard (CEA - LIST/LISE, France)
  • Ileana Ober (IRIT, France)
  • Iulian Ober ( IRIT, France)
  • Stefan Van Baelen (K.U.Leuven - DistriNet, Belgium)
  • Thomas Weigert (Missouri University of Science and Technology, Rolla, Missouri, USA)

Outline

The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for example, real-time deadlines and to platform parameters like energy consumption or memory footprint. The last few years have seen an increased interest in using model-based engineering (MBE) techniques to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models in a layered construction of systems. The objective of this workshop is to bring together researchers and practitioners interested in model-based engineering to explore the frontiers of architecting and construction of embedded systems.

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