Mon,
Morning

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

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.

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

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

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.

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

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

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.

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

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

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

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.

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

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

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

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?

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

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

Ø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

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.

http://vary2012.irisa.fr

XM 2012 - Extreme Modeling Workshop

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

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.

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

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

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)

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.

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

MDsec 2012 - Model-Driven Security

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

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.

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

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

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

MOTPW 2012 - Modelling of the Physical World

Keith Duddy
Queensland University of Technology
Jim Steel
University of Queensland

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.

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

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

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.

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

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

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

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.

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

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

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.

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

EESSMOD 2012 - Experiences and Empirical Studies in Software Modelling

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

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.