Ateliers
ME – 10th International Workshop on Models and Evolution
Dalila Tamzalit, Alfonso Pierantonio, Bernhard Schätz, Tanja Mayerhofer
Software artefacts constantly increase in complexity, variety and novelty. Environment and business constraints, user requirements and new insights put additional pressure on their adaptability, availability, reliability and quality: they continuously need to be up to date and up to level. However, evolution issues are critical, complex and costly to manage. They concern requirements, architecture, design, source code, documentation, integration as well as deployment. They also typically affect various kinds of models (data, behavioural, domain, source code or goal models). Addressing and managing these varieties of changes is essential. Models and meta-models, the cornerstone of complex software systems’ abstraction, represent a powerful mean for facing software evolution challenges by ensuring a more abstract and expressive modelling of software evolution. They can help and guide software evolution, and can enforce and reduce critical risks and important involved resources. The workshop puts the focus on Models and Evolution by considering two main sides:
(1) Managing software evolution needs by relying on the high-level abstraction power of models and meta-models.
(2) Managing models and metamodels evolution needs by putting attention to their increasing evolution issues as they become primary artefacts and to the need of co-evolution of all related software artefacts.
Keynote: Philip Langer (EclipseSource), “Version Control for Models: From Research to Industry and Back Again“
ModComp – 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
Federico Ciccozzi, Ivano Malavolta
Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE) have been proven to effectively reduce software development complexity by (i) shifting the focus from source code to models and (ii) breaking down the set of desired features and their intricacy into smaller sub-modules, respectively. Moreover, the interplay of MDE and CBSE approaches 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. While several attempts to effectively combine MDE and CBSE have been documented, there are still unsolved clashes raising when exploiting interplay of MDE and CBSE, mostly due to mismatches in the related terminology as well as to differences in their basic essence.
As satellite event of MoDELS, the goal of ModComp’16 is to gather researchers and practitioners to share opinions, propose solutions to open challenges and generally explore the frontiers of interweaving between MDE and CBSE.
Keynotes:
- Kung-Kiu Lau (University of Manchester), “CBSE and MDE: Fitting the Pieces Together“
- Jan Carlson (Mälardalen University), “CComponent Models and Models of Components“.
MoDeVVa – 13th International Workshop on Model Driven Engineering, Verification and Validation
Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim
MoDeVVa offers a forum for researchers and practitioners who are working on Verification & Validation and Models-driven Engineering. The major questions of interest in MoDeVVa concern the mutual benefits of MDE and V&V: How can models-driven engineering improve V&V?, and How can V&V leverage the techniques around models-driven engineering? In 2016 we put an emphasis on making the V&V activities of MDE artefacts a systematic process. This includes modeling the V&V activities, investigating the synergies between them or composing different V&V activities to increase the confidence in the verification results.
Keynote: Bernhard Schätz (University of Munich), “Formal Verification in Model-Based Engineering: Perceived Potentials, Best Benefits“
EXE – 2nd International Workshop on Executable Modeling
Tanja Mayerhofer, Philip Langer, Ed Seidewitz, Jeff Gray
Executable models have the potential of bringing major benefits to the development of complex systems, as they provide abstractions of complex system behaviors and allow for the performance of early analyses of that behavior. Despite the potential benefits of executable models, there are still many challenges to solve, such as the lack of maturity in the definition of and tooling for executable modeling languages, and the limited experience with executable modeling in much of the software development industry. 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 towards overcoming challenges in executable modeling, as well as practitioners from different application domains and application contexts of executable modeling. The workshop intends to provide a forum for exchanging recent results, ideas, opinions, requirements, and experiences in executable modeling.
Keynote: Stephen Mellor (University of Essex), “Executable Modeling: Retrospective and Prospective“
OSS4MDE – 2nd International Workshop on Open Source Software for Model Driven Engineering
Juergen Dingel, Francis Bordeleau, Jean-Michel Bruel, Sebastien Gerard, Sebastian Voss
Just like the previous versions of the workshop, OSS4MDE’16 workshop will bring together researchers, educators and industry representatives interested in modeling and MDE with open source tools. However, compared to previous incarnations, OSS4MDE’16 will be less formal and more interactive, and place more emphasis on promoting open source by inspiring and encouraging potential users and contributors, and supporting existing users and contributors.
FlexMDE – 2nd Flexible MDE Workshop
Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara
Over the last years, numerous 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, to facilitate flexible reuse of MDE artefacts, and to define agile model sketching techniques.
Keynote: Dimitris Kolovos (University of York), “Flexible Modelling: Opportunities, Challenges, and Next Steps“
PAME – 2nd International Workshop on Patterns in Model Engineering
Eugene Syriani, Richard Paige, Steffen Zschaler, Huseyin Ergin
PAME is intended to be the first forum for practitioners in MDE to discuss patterns that occur often during the different modeling activities. The aim of this workshop is to provide an arena for proposing and discussing good practices, patterns, pattern-based modeling, as well as start the initiative of developing a « language » for discussing and describing relevant problems and their solutions in the form of patterns.
Keynote: Jeff Gray (University of Alabama), “Design Patterns across the Modeling Process“
OCL – 16th International Workshop on OCL and Textual Modeling
Achim D. Brucker, Jordi Cabot, Adolfo Sanchez-Barbudo Herrera
Limitations of graphical notations encourage 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. 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, discuss appropriate standards and showcase tools on any aspect of textual modeling and analysis.
Keynote: Edward D. Willink (Willink transformations), “OCL Specification Progress Report“
GEMOC – 4th International Workshop On the Globalization of Modeling Languages
To cope with complexity, modern software-intensive systems are often split in different concerns to serve the needs of diverse stakeholders. These different concerns are often associated with specialized description 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.
The proposed GEMOC 2016 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. Following the three previous 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.
Keynote: Tijs van der Storm (Centrum Wiskunde & Informatica), “Towards Live DSLs“.
MULTI – 3rd International Workshop on Multi-Level Modelling
Colin Atkinson, Tony Clark, Georg Grossmann
As interest in multi-level modelling grows, and the range of multi-level modelling tools expands, there is growing interest in consolidating the key principles of the paradigm and clarifying the essential differences between heterogeneous approaches. Although multi-level modelling has now been used successfully in a variety of industrial projects and standards initiatives, there is still no clear consensus on what the paradigm actually entails and how it should be applied. 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 tool architectures provide the best framework for modelling with multiple classification levels. This lack of a foundational consensus is mirrored by the lack of a common focus in current multi-level tools. The goal of MULTI 2016 is to address these challenges and continue the community building established in the previous workshops. In particular, the goal is to encourage the community to delineate different approaches to multi-level modelling and define objective ways to evaluate their respective strengths/weaknesses.
Keynote: Ulrich Frank (Universität Duisburg-Essen), “Designing Models and Systems to Support IT Management: A Case for Multilevel Modeling“
COMMitMDE – 1st International Workshop on Collaborative Modelling in MDE
Henry Muccini, Ivano Malavolta, Sébastien Gérard, Dimitrios S. Kolovos
Nowadays, collaborative model-driven software engineering (MDSE) is gaining a growing interest in both academia and practice. Goal of COMMitMDE 2016 is to bring together researchers and practitioners in order to investigate together (i) the potential impact of collaborative software engineering methods and principles into MDE practices and (ii) how MDE methods and techniques can support collaborative software engineering activities. Also, COMMitMDE aims at assessing the state of the research and practice on collaborative MDE, creating new synergies between tool vendors, researchers, and practitioners.
Keynotes:
- Davide Di Ruscio and Mirco Franzago (University of L’Aquila), “Collaborative Model-Driven Software Engineering: a Systematic Mapping Study“
- Eugene Syriani (University of Montreal), “Framework to Model Collaboratively“
- Vinay Kulkarni (Chief Scientist, Tata Consultancy Services Research), “Scaling up MDE to support large geographically distributed teams – an experience report“
- Vincent Aranega (GenMyModel | R&D Project Manager), “MDE Collaboration: Temporality and Ergonomy in the Cloud, the GenMyModel Solution“
HuFaMo – 2nd International Workshop on Human Factors in Modeling
Harald Störrle, Michel Chaudron
Modeling is a genuinely human enterprise, so many of the questions related to modeling can only be answered by empirical studies of human factors. The HuFaMo workshop series is the premier venue for early stage empirical research involving human factors in modeling. Our goal is to improve the state of the science and professionalism in empirical research in the Model Based Engineering community. Typical examples of such questions might consider the usability of a certain approach such as a method or language, or the emotional states or personal judgements of modelers. We invite submissions regarding empirical studies of emotion, cognition, personality traits of modelers as well as studies about activities and communities of modelers, their culture and capabilities. Beyond conventional papers, we also seek to publish study designs, negative results, and, in fact, suggestions for actual studies to be carried out at the workshop.
Keynote: Bran Selic (Malina Software Corp.), “What’s Wrong with “Users“?“
MRT – 11th International Workshop on Models@run.time
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.
VOLT – 5th International Workshop on the Verification of Model Transformation
Model transformations are everywhere in software development, implicitly or explicitly. They have been described as “the heart and soul of Model-Driven Development (MDD)”. Several experts have identified the verification of model transformations as one of the grand challenges of MDD. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools most often lack verification techniques to support such activities. The Fifth International Workshop on the Verification Of modeL Transformation is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. VOLT promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with MODELS. VOLT’s interest spans both to academic and industrial practices. One of the goals of the forum is to collect enough industrial case studies so that those problems can be stated at a theoretical level.