The following are the workshops to be held at Models 2015. Each has its own web page.
If plan to attend a workshop, please ensure you have checked the correct box on your registration form. That way, the presenters can contact you, and we can ensure there are enough materials and seats available. Please avoid registering for sessions you are not going to attend. If you have an unavoidable conflict (e.g. presenting a paper at two workshops held concurrently), please contact both organizers to ensure they can create a non-conflicting detailed schedule.
Organizers: Tanja Mayerhofer, Ed Seidewitz, Philip Langer, Jeff Gray
Executable models are becoming more and more important in developing software systems, as they provide abstractions of a system¹s behavior and allow for the performance of early analyses of that behavior. The objective of this workshop is to draw attention to the potentials and challenges of executable modeling and advance the state-of-the-art in executable modeling. We aim at bringing together researchers working on the development of executable modeling languages and model execution tools, as well as practitioners developing or applying executable modeling languages for building software systems. The workshop intends to provide a forum for exchanging recent results, ideas, opinions, and experiences in executable modeling. Another goal is to determine and assess the state-of-the-art and to coordinate efforts in this area.
Organizers: Jo Atlee, Juergen Dingel, Ramesh S
The development of modern automotive software is a formidable challenge: many, large, diverse, interconnected pieces of software must be built efficiently by globally distributed companies while satisfying increasingly complex requirements, high quality standards, rapidly evolving consumer expections and technology capabilities, and a large body of regulatory and legal guidelines. To deal with these challenges, the automotive industry has been on the forefront of many software engineering advances including leveraging commonalities through software product lines, facilitating distributed development, interoperability and reuse through standardization, and managing complexity through modeling and model-driven engineering. While much progress has been made, many challenges remain and significant new ones are appearing. In fact, according to a recent IBM study, large parts of the industry do not feel sufficiently prepared to meet the challenges the next ten years will bring.
Modeling has been playing a key role in the automotive industry for a long time, has enabled many advances, and is likely to hold the key to addressing many current and future challenges.
The main goal of the workshop is to bring together practitioners and researchers from industry and academia interested in automotive software and modeling to present and discuss advances to the state-of-the-art and open problems.
Organizers: Colin Atkinson, Georg Grossmann, Thomas Kühne, Juan de Lara
MULTI 2015 will be the second workshop in the MULTI workshop series that focuses on modelling the multiple classification levels needed to adequately describe the real world and to effectively engineer languages. Multi-Level modelling approaches have not only been successfully used in industrial projects and standards definition initiatives they are now supported by an array of dedicated tools. However there is still no clear consensus on what multi-level modelling actually is and what kinds of constructs and concepts provide the best support for it. For example, there are different views on whether it is sound to combine instance facets and type facets into so-called clabjects, whether strict metamodeling is too restrictive, and what principles should be used in establishing meta-level boundaries, etc. The goal of this workshop is to build on the success of the first MULTI workshop, at MODELS 2014, and bring together researchers and practitioners interested in advancing the field of multi- level modelling.
Organizers: Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
The design of embedded and cyber-physical systems with real-time and other critical constraints raises distinctive problems throughout the development process, in particular from system specifications to obtaining correct implementations. On the high-level side, system design is much more an art than a systematic activity, while on the low-level side design teams have to make specific architectural choices and handle non-functional constraints like real-time deadlines, energy consumption, etc., as early as possible in order to streamline the system development process. Model-based engineering techniques have now been established as the norm in industry since they are a major factor for further gains in productivity, quality and time-to- market such complex systems. Indeed, they provide means to capture dedicated architectural and non-functional information in precise (and even formal) domain-specific models in a layered construction of systems and also allow describing development methodologies by separating functional aspects (platform inde- pendent) from architectural and non-functional aspects (platform specific). At its 8th edition, this full-day workshop aims to bring together researchers and practitioners interested in model-based engineering to share and explore innovative ideas and experiences that contribute to better architecting embedded and cyber- physical systems, with a focus on approaches yielding efficient and provably correct designs.
Organizers: Juergen Dingel, Sahar Kokaly, Levi Lúcio, Rick Salay, Hans Vangheluwe,
To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformations — a 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 lan- guages 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. Moreover, as in practice model transformations don’t exist in isolation, the idea of com- posing model transformations into model transformation chains that fulfill a certain model management scenario is gaining more interest in recent years.
The AMT workshop aims to address this issue by pro- viding a forum in which the analysis of model trans- formations (chains) to support the development, quality assurance, maintenance, and evolution of model trans- formations (chains) 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.
The AMT’15 workshop is the fourth in an ongoing series of annual workshops. It builds on three very successful workshops at MODELS’12 in Innsbruck (AMT’12), MODELS’13 in Miami (AMT’13) and MODELS’14 in Valencia (AMT’14), all of which were attended by more than 30 people. AMT’15 will consist of an invited presentation and presentations of technical papers together with a discussion session specifically aimed at identifying research challenges within the area.
Organizers: Benoit Combemale, Julien De Antoni, Jeff Gray
To cope with complexity, modern software-intensive systems are often split in different concerns, which serve diverse stakeholders and must address a variety of concerns. These different concerns are often associated with specialized descrip- tion languages and technologies, which are based on concern-specific problems and solution concepts. Software developers are thus faced with the challenging task of integrating the different languages and associated technologies used to produce software artifacts in the different concern spaces.
Part of an ongoing series, GEMOC 2015 will be a full-day workshop that brings together researchers and practitioners in the modeling languages community to discuss the challenges associated with integrating multiple, heterogeneous modeling languages. The languages of interest range from requirements, to design and runtime languages, and include both general-purpose and domain-specific languages. Challenges related to engineering composable languages, well-formed semantic composition of languages and reasoning about systems described using heterogeneous languages are of particular interest.
GEMOC 2015 will provide an open forum for sharing experiences, problems and solutions on the conjoint use of multiple modeling languages. This workshop will be the place where concrete artifacts, ideas and opinions are exchanged in order to reap constructive feedback. Following the two first editions, a major objective is to continue collaborations and to expand a community that is focused on solving the problems arising from the globalization of modeling languages; i.e., the use of multiple DSLs to support coordinated development of diverse aspects of a system.
Organizers: Harald Störrle, Vasco Amaral, Michel Chaudron
Modeling is an intrinsically human enterprise. Therefore, many of the questions related to modeling can only be answered by empirical studies of human factors and activities. Yet, empirical research with human subjects is not in the mainstream of major scientific events in the field of modeling. The HuFaMo workshop seeks to promote this form of research by creating a venue where these topics can be discussed and disseminated. Aspiring to broaden the foothold of human factors research in this community, we invite both reports of completed research and proposals of study designs with a view to sharing experience and invite new researchers into the field of human factors in modeling.
Organizers: Federico Ciccozzi, Etienne Borde, Patrizio Pelliccione
Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE) have been shown to effectively reduce software development complexity by (i) shifting the focus from source code to models and (ii) building software systems as composition of new and existing components. Moreover, the interplay of MDE and CBSE is gaining recognition as a very promising means to boost the development of software systems by reducing costs and risks and shorten time-to-market. In addition, most of the advancements in MDE techniques are of great interest for CBSE, and vice-versa. While several attempts to effectively combine MDE and CBSE have been documented, there are still unsolved clashes raising when exploiting this combination, mostly due to differences in their basic assumptions and focus.
The goal of ModComp’15 is to gather researchers and practitioners to share opinions, propose solutions to open challenges and generally explore the frontiers of intertwining between MDE and CBSE. ModComp’15 aims at attracting contributions related to the subject at different levels, from modelling to analysis, from componentization to composition, from consistency to versioning; foundational contributions as well as concrete applicative experiments are sought.
Organizers: Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong
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.
Organizers: Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
The Unified Modeling Language (UML), with its 14 different diagram types, is the de-facto standard modeling language for object-oriented software modeling and documentation. Since the various UML diagrams describe different views of one, and only one, software system under development, they strongly depend on each other in many ways. In other words, the UML diagrams describing a software system must be consistent. Inconsistencies between these diagrams may be a source of faults during software development and analysis. It is therefore paramount that these inconsistencies be detected, analyzed and – hopefully – fixed. The goal of this workshop is to gather community input and feedbacks on UML consistency rules. This workshop will provide an opportunity for researchers who have been working in the area of UML consistency to interact with each other in a highly interactive venue to consolidate the body of knowledge on UML consistency rules and discuss ideas for further research in this area. The format of the workshop will be a mix of short formal presentations and working group discussions.
Organizers: Marco Brambilla, Jordi Cabot, James H. Hill, Richard F. Paige
Model Driven Engineering elevates models to primary artefacts in software engineering. Numerous powerful tools exist to support MDE, including for constructing and managing models (e.g., via transformation, code generation, merging), though numerous challenges arise in adopting and deploying these tools. Many of the scenarios in which MDE is applied are traditional IT development (e.g., focusing on code generation), and emphasis on novel or evolving deployment platforms has yet to be seen.
Cloud computing is a computational model in which applications, data, and IT resources are provided as services over a network. Cloud computing exploits distributed computers to provide on-demand services that grant scalability, reliability, security, and cost-effectiveness.
Cloud computing is enormously promising in terms of providing scalability and elasticity; MDE is enormously promising in terms of automating parts of systems engineering, including development, maintenance, portability and interoperability. There is growing interest in identifying and exploiting synergies between MDE and cloud computing; this is the focus of the workshop. In particular, we aim to identify opportunities for using MDE to support the development of cloud-based applications (MDE for the cloud), as well as opportunities for using cloud infrastructure to enable MDE in new and novel ways (MDE in the cloud).
Organizers: Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara
Over the last years, several modeling platforms have been developed to simplify and automate many steps of Model Driven Engineering (MDE) processes. However, still several challenges have to be solved for enabling a wider adoption of MDE. One of the most important impediments in adopting MDE tools is related to the reduced flexibility of existing modeling platforms that do not permit to relax or enforce their rigidity depending on the stages of the applied development process. For instance, EMF does not permit to enter models which are not conforming to a metamodel. On one hand this allows only valid models to be defined, but on the other, it makes the corresponding pragmatics more difficult. Thus there is an increasing need for techniques supporting flexibility in a wide range of modeling activities, including metamodel, model, and model transformation development and reuse. The workshop aims at identifying the difficulties in the current practice of MDE related to the lack of flexibility, and soliciting contributions of ideas, concepts, and techniques also from other areas of software development which could be useful to revise certain MDE fundamental typing concepts, and to define agile model sketching techniques.
Organizer: Robert Weisman,
This workshop will provide an overview of how Enterprise Architecture (EA) is implemented in various organizations. It will also highlight how EA is used to directly support the business in coordination with strategic and investment planning or as a CIO function to ensure the efficient and effective application of information technology. EA leaders/Practitioners will present their implementations from different industry illustrating different frameworks, implementations (including tools) and lessons learned. These presentations will include models that are heuristic as well as algorithmic in nature.
Organizers: Zinovy Diskin, Rick Salay, Bernhard Schätz, Vadim Zaytsev
Software engineering (SE) strives to learn from matured engineering disciplines, such as mechanical and electrical engineering (referred to below as physical engineering, PE), and MDE is an essential step in this direction. Mathematical models are fundamental for PE, but should it be so for SE? What are similarities and differences in the development and use of mathematical models in SE vs. PE? How can SE and MDE benefit from a better understanding of these similarities and differences? These questions become even more challenging when we recognize that mathematical modelling and formalization are not identical (although closely related), and the abundance of formal models in SE may actually hide the lack of mathematical models with all its negative (but perhaps negligible?) consequences.
The questions above are seldom discussed in the MDE literature, but we believe they deserve special attention. The MMMDE Workshop aims at gathering together MDE experts who are concerned with developing mathematical foundations for MDE, understanding the role of mathematical models in engineering in general and SE in particular, and relating these general thoughts to practical MDE problems. We want to "test the waters", and try to solidify broadly formulated concerns outlined above into several well-focused research questions or directions.
Organizers: Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan Selim
Models are purposeful abstractions of systems and of their environment. They can be applied at arbitrary abstraction levels for understanding complex systems, validating requirements, simulation or automatic code generation. Thus, the usage of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. The shift from code or technical artifacts to software models is a key feature of MDE which opens promising perspectives for the formalization and the automation of verification and validation (V&V) tasks. 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 2015 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 an emphasis on model verification and validation for developing cyber physical systems.
Organizers: Daniel Balasubramanian, Bruno Barroca, Sahar Kokaly,Gergely Mezei, Pieter Van Gorp
Multi-Paradigm Modeling spans the study of physical as well as software systems and combinations thereof. It addresses and integrates three orthogonal research dimensions: (i) model abstraction, concerned with the (e.g., refinement, generalization) relationships between models at different levels of abstraction; (ii) multi-formalism modeling, concerned with the coupling of and transformation between models described in different formalisms; and (iii) explicitly modeling of the processes of multi-paradigm activities. MPM theories/methods/technologies have been successfully applied in the field of software architectures, control system design, model integrated computing, and tool interoperability. The ninth workshop on MPM is aimed at furthering the state-of-the-art as well as defining the future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop.
Organizers: Francis Bordeleau,, Jean-Michel Bruel, Juergen Dingel, Sébastien Gérard, Sebastian Voss
A significant number of users of MDE tools in industry and academia have begun to consider the use of open source MDE tools and some have even already committed to it. The recent formation of the PolarSys Eclipse Working Group with participation from Airbus, Thales, CEA list Ericsson, Astrium, Atos, Obeo, Soyatec, Combitech, and Zeligsoft is evidence of that. This shift away from proprietary, commercial MDE tools towards open source tools such as Papyrus represents a radical departure from past practices and presents both exciting opportunities and substantial challenges for everybody interested in MDE, regardless of whether they use the tools for industrial development, research, or education. Due to the importance of tooling to the success of MDE, this shift has the potential to provide a much-needed stimulus for major advances in its adoption, development, and dissimination. The ultimate goal of the workshop is to ensure that this potential is realized.
Organizers: Sebastian Götz, Nelly Bencomo, Gordon Blair, Hui Song
The complexity of adapting software during runtime has spawned interest in how models can be used to validate, monitor and adapt runtime behaviour. The use of models during runtime extends the use of modeling techniques beyond the design and implementation phases. The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We aim to continue the discussion of research ideas and proposals from researchers who work in relevant areas such as MDE, software architectures, reflection, and autonomic and self-adaptive systems, and provide a ”state-of-the-art” research assessment expressed in terms of challenges and achievements. Furthermore, this is the 10th edition of the workshop and we would like to develop a historic perspective of the workshop to evaluate its impact in related research areas.