[AISWorld] Call for Papers: ModComp'20 (at MoDELS): 7th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering

[Andreas Wortmann]

CALL FOR PAPERS

ModComp'20 (at MoDELS): 7th International Workshop on Interplay of
Model-Driven and Component-Based Software Engineering

http://www.es.mdh.se/ModComp/

-----------------
IMPORTANT DATES
-----------------
Deadline for papers submission: 26 July, 2020
Notification of acceptance: 21 August, 2020
Camera ready: 28 August, 2020
Online pre-proceedings: 01 October, 2020
Workshop date (TBD): 18-20 October, 2020


-----------------
SCOPE
-----------------
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 the composition of new
and existing components, 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 arising 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 a satellite event of MoDELS'20, the goal of ModComp’20 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.

-----------------
TOPICS
-----------------
Solicited topics include, but are not limited to:
- Partial model reuse and composition: once individual components are
modelled (interfaces and behavior), these models should be reusable in
the different usage contexts of these components. Moreover, it should
be possible to build a system model by composition of pre-existing
models of individual components;
- Component/module-based versioning: in order to handle evolution when
for instance one component is upgraded to a newer version;
- Modelling component interaction and component behaviours: clear
separation of internal behaviour and externally visible interaction
capabilities, e.g. by interface protocols;
- Model extraction for componentization of legacy systems: when legacy
systems are componentized, generation of architectural and behavioural
models from, e.g., implementation artefacts is needed in order to get
full support from model-based activities such as analysis, e.g. if
those components are reused in a new context. Along with
implementation artefacts, other kinds of information regarding any
observation of the system at runtime, such as, e.g., log files, system
execution traces, traces, might need to be considered for reverse
componentization;
- Component interoperability: in order to enable the automated
construction of semantic matching and mapping between different
modelling notations (e.g., component models) with emphasis on precise
syntactic, protocol and operational descriptions of components;
- Management and elicitation of modular interdependencies in models:
to infer and support automated reasoning on the possible
interdependencies between the different software models exploited
throughout the software life cycle;
- Evolution of component models: tackling challenges in component
models evolution and model co-evolution which are amplified by the
high degree of interchangeability typical of CBSE;
- Model transformations in presence of third-party components:
exploring how model-driven techniques may deal with third-party
components, especially concerning the preservation of system
properties (both functional and extra-functional) along the involved
model manipulations for e.g. analysis, code generation, etc;
- (Meta)model and model transformation modularity: reasoning on issues
related to composability of (i) metamodels, (ii) views in terms of
(meta)model portions, (iii) transformation portions from different
languages, and (iv) transformation rules;
- Composition of (meta)models and model transformations: model
transformations, and/or (meta)model viewpoints could take advantage of
CBSE advancements in order to ease their reuse, and composition;
- Enforcement of incrementality: models and model manipulations to
support incremental verification and validation of component-based
systems;
- Case studies, applications, tool demo: best practices applied to
real world applications, lessons learned, success/failure stories in
intertwining MDE and CBSE.

-----------------
SUBMISSION
-----------------
ModComp'20 welcomes research papers, experience papers and tool
presentations; nevertheless, papers describing novel research
contributions and innovative applications are of particular interest.
Two types of submission are solicited: full and short papers.

- Full papers: with a maximum of 10 pages, including figures,
appendices AND references), full papers clearly describe the situation
or the problem tackled, the relevant state of the art, the position or
solution suggested and the potential benefits of the contribution.
Systematic and empirical reports are welcome too.

- Short papers: with a maximum of 5 pages, including figures,
appendices AND references, short papers include tool demonstrations,
position papers, industrial experiences and case-studies,
well-pondered and sufficiently documented visionary papers. Tools in
demonstrations should be made available for use to the reviewers.

Contributions should represent original and previously unpublished
ideas that are currently not under review in any conference or
journal. Each submitted paper undergoes a formal peer review process
by a minimum of 3 Program Committee members. Submitted papers should
include authors' names, affiliations and contact information.

Special issue at SoSyM: We plan to organize a theme issue at SoSyM to
which the best papers from the workshop will be invited for being
submitted in extended form. The extended papers would undergo a new
peer-reviewing process.

-----------------
ORGANIZATION
-----------------
Workshop organizers and chairs
  Federico Ciccozzi (main contact), Mälardalen University (Sweden)
  Antonio Cicchetti, Mälardalen University (Sweden)
  Andreas Wortmann, RWTH Aachen University (Germany)


-----------------
CONTACT
-----------------
Website: http://www.es.mdh.se/ModComp/
Main contact: Federico Ciccozzi, federico.ciccozzi[at]mdh.se