Title Date Room
W 1 ME 2012 - Models and Evolution
Sun Hall Strassburg I


W 2 OCL 2012 - Workshop on OCL and Textual Modelling
Sun Hall Stassburg II


W 3 CMA 2012 - Comparing Modeling Approaches
Sun Hall Freiburg I


W 4 ACES-MB 2012 - 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Sun Hall Freiburg II


W 5 MoDeVVa 2012 - 9th edition
Model-Driven Engineering, Verification and Validation

Sun Hall Grenoble


W 6 VARY 2012 - Variability for you – variability modeling made useful for everyone
Sun Hall New Orleans


W 7 XM 2012 - Extreme Modeling Workshop
Mon
Hall Strassburg II


W 8 MPM'12 - 6th International Workshop on Multi-Paradigm Modeling
Mon
Hall New Orleans


W 9 MDsec 2012 - Model-Driven Security
Mon
Hall Aalborg


W 10 NFSP-DSML 2012 - 4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages

Mon,
Morning

Hall Maximilian


W 11 MOTPW 2012 - Modelling of the Physical World
Mon,
Afternoon
Hall Maximilian


W 12 AMT 2012 - 1st Workshop on the Analysis of Model Transformations
Tue
Hall Strassburg II


W 13 MRT 2012 - 7th International Workshop on Models@run-time
Tue Hall New Orleans


W 14 MDHPCL 2012 - 1st International Workshop on Model-Driven Engineering for High Performance and Cloud computing
Tue Hall Aalborg


W 15 EESSMOD 2012 - Experiences and Empirical Studies in Software Modelling
Tue Hall Maximilian



W1
ME 2012 - Models and Evolution
Organizers

Bernhard Schätz
fortiss GmbH
Dalila Tamzalit
University of Nantes
Alfonso Pierantonio
University of L'Alquila
Jonathan Sprinkle
University of Arizona

Date
Sun, Sept 30, 2012
Room Hall Strassburg I
Summary

This workshop addresses the evolution of artefacts of the modelling process, as inspired by analogous evolution required by software artefacts, with input from academic as well as industrial practice. As Model-Based Development grows in popularity, the models used throughout a system's lifecycle are now core artefacts of modern software engineering processes. By raising the level of abstraction and using concepts closer to the problem and application domain (rather than the solution and technical domain), models become core assets and reusable intellectual property. Thus it is worth the effort to maintain and evolve these models, which brings to bear many of the same issues related to traditional software artefacts. In other words, these models are subject to many kinds of changes, which range from rapidly evolving platforms to the evolution of the functionality provided by the systems for which they were developed. These modifications include changes at all levels, from requirements through architecture and design, to executable models, documentation and test suites. They typically affect various kinds of models including data models, behavioural models, domain models, source code models, goal models, etc. Managing the changes that accompany the evolution of models is therefore essential to model-based Software Engineering as a discipline.

Link

http://www.models-and-evolution.com/


W2
OCL 2012 Workshop on OCL and Textual Modelling
Organizers

Mira Balaba
Ben-Gurion University of the Negev
Jordi Cabot
INRIA-Ecole des Mines de Nantes
Martin Gogolla
University of Bremen
Claas Wilke
Technische Universität Dresden

Date
Sun, Sept 30, 2012
Room Hall Strassburg II
Summary

Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.

Link

http://st.inf.tu-dresden.de/OCL2012/


W3
CMA 2012 - Comparing Modeling Approaches
Organizers

Geri Georg
Colorado State University
Gunter Mussbacher
Carleton University
Ana Moreira
Universidade Nova de Lisboa
Robert France
Colorado State University
Jörg Kienzle
McGill University
Shaukat Ali
Simula Research Laboratory

Date
Sun, Sept 30, 2012
Room Hall Freiburg I
Summary

The Second International CMA workshop will bring together practitioners of different modeling approaches to discuss and evaluate them in the context of a focused case study and comparison criteria. Different modeling approaches are based on paradigms (e.g., aspect-, object-, service-, or feature-oriented), that range in use from requirements to low-level design, and it is difficult to compare them. However, comparisons are critical to help practitioners know under which conditions different approaches are most applicable, and how they might be successfully combined to achieve end-to-end methods. Previous editions of this workshop have produced a focused case study suitable for modeling in its entirety, and a set of comparison criteria that have been successfully applied to several different approaches. CMA 2012 participants will submit models of this case study using their own or other approaches of interest (available on the workshop website). The comparison criteria will be applied to accepted models prior to the workshop meeting date. At the workshop, participants will discuss the models and criteria categorizations, and develop potential end-to-end techniques and evaluation plans. We will produce a workshop report to be published in the MODELS 2012 Satellite Proceedings, and pursue a more comprehensive publication in a major journal.

Link

http://cserg0.site.uottawa.ca/cma2012/


W4

ACES-MB 2012 - 5th International Workshop on Model Based Architecting and Construction of Embedded Systems

Organizers

Huascar Espinoza
Tecnalia
Sébastien Gérard
CEA-LIST/LISEe
Iulian Ober
University of Toulouse – IRIT
Stefan Van Baelen
K.U.Leuven – DistriNet
Thomas Weigert
Missouri University of Science and Technology

Date
Sun, Sept 30, 2012
Room Hall Freiburg II
Summary

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.

Link

http://adsig.embedded-systems-portal.org/events/workshops/aces-mb-2012/


W5

MoDeVVa 2012 - 9th edition
Model-Driven Engineering, Verification, and Validation

Organizers

Frédéric Boulanger
Supélece
Michalis Famelis
University of Toronto
Frédéric Fondement
ENSISA
Levi Lúcio
McGill University
Stephan Weißleder
Fraunhofer FIRST

Date
Sun, Sept 30, 2012
Room Hall Grenoble
Summary

Models are purposeful abstractions of systems and of their environment. They can be used for understanding complex systems, validating requirements, for simulation or automatic code generation. The shift from code or technical artifacts to software models is a key feature of MDE which opens perspectives for the formalization and the automation of verification and validation (V&V) tasks, like model-based testing, consistency or refinement conformance checking. On the other hand, the growing complexity of models and of model transformations requires efficient techniques for V&V in the context of MDE. The 2012 edition of the workshop on model-driven engineering, verification, and
validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V.
This year, we would like to put the emphasis on compositionality:
- how to divide a model into submodels that can be verified and integrated into a validated system? how to model composition rules to support compositionality?
- how to model model transformations to guaranty the preservation of properties of the models?
- how to model the dependencies between fonctional and extra-fonctional requirements?

Link

http://wwwdi.supelec.fr/modevva/


W6

VARY 2012 - VARiability for you – variability modeling made useful for everyone

Organizers

Øystein Haugen
SINTEF
Krzysztof Czarnecki
University of Waterloo
Jean-Marc Jezequel
University of Rennes
Birger Møller-Pedersen
University of Oslo
Andrzej Wasowski
IT University of Copenhagen

Date
Sun, Sept 30, 2012
Room Hall New Orleans
Summary

VARiability for You is intended to be a workshop to discuss how variability modeling can be made most useful for the modeling community. The workshop will influence the ongoing efforts to establish a Common Variability Language. We want the workshop to improve the awareness of product line modeling and to show example of said modeling.
Product Lines are everywhere. It is very seldom that a product is one of its kind and that the product has been developed all by itself with no thoughts about alternative customers or alternative variants. In fact adaptability and variance are becoming one of the main issues of development. It is becoming increasingly important that new products build on the experience of older products and that the solutions are useful for a number of different clients and situations. Still the current methods and languages are not fully up to the task. This workshop is intended to improve the awareness of constructs, methods and techniques that will make product line modeling more effective. One of the ways to make product line modeling more effective is to establish a common language for variability modeling, enabling generic tool support and associated methods.

Link

http://vary2012.irisa.fr


W7

XM 2012 - Extreme Modeling Workshop

Organizers

Juan de Lara
Universidad Autonoma de Madrid
Davide Di Ruscio
Universita degliStudi dell'Aquila
Alfonso Pierantonio
Universita degli Studidell'Aquila

Date
Mon, Oct 01, 2012
Room Hall Strassburg II
Summary

Raising the level of abstraction and using concepts closer to the problem and application domain rather than the solution and technical domain, requires models to be written with a certain agility. This is partly in contrast with MDE whose conformance relation is analogous to a very strong and static typing system in a current programming language. For instance EMF does not permit to enter models which are not conforming to a metamodel: on one hand it allows only valid models to be defined, on the other hand it makes the corresponding pragmatics more difficult. Thus there is an increasing need for more disciplined techniques and engineering tools to support flexibility in several forms in a wide range of modeling activities, including metamodel, model, and model transformation definition processes.

The workshop would aim at better identifying the difficulties in the current practice of MDE related to the lack of flexibility, and soliciting con- tributions of ideas, concepts, and techniques also from other areas of software, such as that of specific language communities (e.g., the Smalltalk and Haskell communities, and the dynamic languages community) which could be useful to revise certain MDE fundamental concepts, such as the conformance relation.

Link

http://www.di.univaq.it/XM2012/


W8

MPM'12 - 6th International Workshop on Multi-Paradigm Modeling

Organizers

Cecile Hardebolle
Supelec Systems Sciences
Eugene Syriani
The University of Alabama
Jonathan Sprinkle
The University of Arizona
Tamas Meszaros
Budapest University of Technology and Economy (BUTE)

Date
Mon, Oct 01, 2012
Room Hall New Orleans
Summary

Multi-Paradigm Modeling (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 modeling 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 modeling, 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 sixth Workshop on Multi-Paradigm Modeling (MPM'12) 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.

Link

http://avalon.aut.bme.hu/mpm12/


W9

MDsec 2012 - Model-Driven Security

Organizers

Nora Koch
Ludwig-Maximilians-University of Munich and NTTDATA
Alexander Knapp

University of Augsburg
Geri Georg

Colorado State University
Marina Egea
Atos Research & Innovation Deptartment, Madrid
Benoit Baudry
INRIA, Rennes

Date
Mon, Oct 01, 2012
Room Hall Aalborg
Summary

Over the last years, we have seen many efforts invested in research on engineering security aspects of software and systems. But we have also seen spectacular security breaches and privacy leaks in web applications, mobile apps, and enterprise systems. In fact, in both the industrial and the academic context, we are still far from satisfactory, integrative development approaches covering the many different facets of security, like access control, secure user interaction, privacy, secure protocols, trustworthiness, etc. Model-driven and model-based approaches to security, integrate security aspects in the early phases of software development and at an abstract level. They thus pave the way to reduce the gap between security requirements and their enforcement mechanisms and to verify security properties on an appropriate level of detail and following the principle of separation of concerns. Designers can decouple functional architecture from mechanisms that ensure the security properties of the system. The main objective of this Model-Driven Security workshop is to bring together researchers and practitioners to discuss the approaches, key issues, innovative applications, and trends in model-driven engineering of secure software and systems, and secure and trustworthy service composition.

Link

http://mdsec2012.pst.ifi.lmu.de


W10

NFSP-DSML 2012 - 4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages

Organizers

Ebrahim Bagheri
Athabasca University
Marko Boškovic
IOS, Research Studio
Dragan Gasevic
Athabasca University
Gunter Mussbacher
Carleton University

Date
Mon, Oct 01, 2012 - morning
Room Hall Maximilian
Summary The importance of non-functional properties (NFP) has already been acknowledged by the software engineering community. They are at least as important as the functional aspects of a software system and must be considered during the design process. For software systems, the development of domain specific modeling languages is becoming commonplace. Nevertheless, the study of modeling languages, particularly integration with non-functional properties, still requires more in-depth analysis. The NFPinDSML workshop series brings together researchers and practitioners that explore various aspects of non-functional system properties through the use of Model Driven Engineering principles. The workshop studies the principles of NFP estimation and evaluation (formal models, simulation and measurement) and their integration in modeling languages and software engineering processes using Model Driven Engineering principles. Particularly, this year's objective is to bring together researchers and practitioners in the areas of engineering of variant-rich software systems (Software Product Lines, Families of Software Systems, Software Factories, etc.) and quality-aware software system development with the aim of studying principles of quality-aware engineering of variant-rich software systems.
Link

https://nfpindsml.semtech.athabascau.ca/


W11

MOTPW 2012 - Modelling of the Physical World

Organizers

Keith Duddy
Queensland University of Technology
Jim Steel
University of Queensland

Date
Mon, Oct 01, 2012 - afternoon
Room Hall Maximilian
Summary

Since the popularity of models and related tools for the development of software has become more mature, approaches from this community have begun to be used on models of physical objects, such as buildings, machines and biological systems. This has revealed to software tool researchers that modelling and model manipulation from physical world perspectives has been applied a lot longer in many of these domains than in software. However, as software modelling follows software trends, software modellers and tool builders have been able to take advantage of new developments such as the open source movement, and agile software methodologies. This has increasingly drawn architects, engineers, biologists and others concerned with physical systems to the software modelling community. This workshop aims to meet two complimentary goals: providing a focus on physical modelling and its use of software engineering approaches; and attempting to learn lessons in the software community from the longer established disciplines of modelling real world objects and systems which often requires more rigour and narrower margins for failure than software typically achieves. We also hope that some islands in the IT community may be bridged through the example of bridges between models used in physical disciplines and software models.

Links

http://modellingthephysicalworld.org


W12

AMT 2012 - 1st Workshop on the Analysis of Model Transformations

Organizers

Juergen Dingel
Queen's University
Levi Lucio
McGill University
Hans Vangheluwe
University of Antwerp and McGill University
Daniel Varro
Budapest University of Technology and Economics

Date
Tue, Oct 02, 2012
Room Hall Strassburg II
Summary

To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformationsa quick search on the internet produces more than 30 different transformation languages that have been proposed in the literature or implemented in open-source or commercial tools. The growing adoption of these languages and the growing size and complexity of the model transformations developed require a better understanding of how all activities in the model transformation lifecycle can be better supported. The AMT workshop aims to address this issue by providing a forum in which the analysis of model transformations to support the development, quality assurance, maintenance, and evolution of model transformations is studied. The adoption of existing analysis techniques and tools developed, e.g., in the context of general-purpose programming languages and source code transformation are of particular interest, but also the identification of analysis challenges and solutions specific to model transformations or certain classes of model transformation languages.

Link

http://msdl.cs.mcgill.ca/conferences/AMT/


W13

MRT 2012 - 7th International Workshop on This e-mail address is being protected from spambots. You need JavaScript enabled to view it

Organizers

Nelly Bencomo
INRIA
Gordon Blair
Lancaster University
Sebastian Götz
Technische Universitaet Dresden
Brice Morin
SINTEF ICT
Bernhard Rumpe
RWTH Aachen

Date
Tue, Oct 02, 2012
Room Hall New Orleans
Summary

The Models@run-time workshop series provides a forum for exchange of ideas on the use of run-time models. The main goal is to further promote cross-fertilization between researchers from different communities, including model-driven software engineering, software architectures, computational reflection, adaptive systems, autonomic and self-healing systems, and requirements engineering. Models@run-time extend the applicability of models and abstractions to the runtime environment. As is the case for software development models, a run-time model is often created to support reasoning. However, in contrast to development models, run-time models are used to reason about the operating environment and runtime behaviour, and thus these models must capture abstractions of runtime phenomena. Different dimensions need to be balanced, including resource-efficiency (time, memory, energy), context-dependency (time, location, platform), as well as personalization (quality-of-service specifications, profiles). The hypothesis is that because models@run-time provide meta-information for these dimensions during execution, run-time decisions can be facilitated and better automated. Thus, it is anticipated that this technology will play an integral role for future software-based systems including self-adaptive and autonomous systems.

Link

http://www.comp.lancs.ac.uk/~bencomo/MRT12/


W14

MDHPCL 2012 - 1st International Workshop on Model-Driven Engineering for High Performance and Cloud computing

Organizers

Ileana Ober
University of Toulouse - IRIT
Jean-Michel Bruel
University of Toulouse - IRIT
Geri Georg
Colorado State University
Aniruddha Gokhale
Vanderbilt University
Michael Felderer
University of Innsbruck
David Lugato
CEA

Date
Tue, Oct 02, 2012
Room Hall Aalborg
Summary

This workshop aims to bring into discussion the potential contributions of model-driven techniques in the development of High-Performance and Cloud Computing. In High Performance Computing, more and more voices are heard claiming for a need to raise the level of abstraction in order to decouple the application development from the underlying hardware architecture. The MDE community has some experience in abstraction raising and could thus propose some solutions interesting to the HPC community. In a similar spirit, cloud computing is often seen as a way to abstract from complex details of system and their management by offering a simple, responsive views accessible to non-specialists. Model-driven techniques may be adapted to this domain. The objective of the MDHPCL workshop is to bring together researchers and practitioners interested in the use
of model-driven techniques in high-performance and cloud computing and to explore both the frontiers and challenges of architecting and constructing such systems by using MDE.

Link

http://www.irit.fr/MDHPCL2012/


W15

EESSMOD 2012 - Experiences and Empirical Studies in Software Modelling

Organizers

Michel Chaudron
University of Leiden
Marcela Genero
University of Castilla-La Mancha
Silvia Abrahão
Universitat Politècnica de València
Parastoo Mohagheghi
SINTEF-ICT and Norwegian University of Science and Technology
Lars Pareto
Chalmers | University of Gothenburg

Date
Tue, Oct 02, 2012
Room Hall Maximilian
Summary

Most software development projects apply modeling in some stages of development and to various degrees in order to take advantage of the many and varied benefits of it. Modeling is, for example, applied for facilitating communication by hiding technical details, analyzing a system from different perspectives, specifying its structure and behaviour in an understandable way, or even for enabling simulations and generating test cases in a mode-driven engineering approach. Thus, the evaluation of modeling techniques, languages and tools is needed in order to assess their advantages and disadvantages, to ensure their applicability to different contexts, their ease of use, and other issues such as skills and costs; either isolated or in comparison with other methods.

This workshop aims to bring together professionals and researchers interested in software modeling to discuss in which way software modeling 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 modeling in industry and research papers that describe more rigorous empirical studies performed in industry or academia.

Link

http://www.eesmod.org/