ModComp 2019

6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
Hosted by MoDELS 2019

When

17 September 2019
Satellite events of the MoDELS conference

Where

Munich, Germany
Holiday Inn Hotel - City Center

Important dates

Paper submission deadline: 17 July 2019

Notification to authors: 4 August 2019

Proceedings: 10 September 2019

See the program

Our Mission

What is ModComp about?

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, 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 satellite event of MoDELS’19, the goal of ModComp’19 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.

Present novel solutions

Papers clearly describing the situation or the problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution.

Expose success stories

Papers including tool demonstrations, industrial experiences and case-studies, systematic and empirical reports.

Discuss new ideas

Papers presenting well-pondered and sufficiently documented novel, ground-breaking or unconventional ideas.

Solicited topics

A non-exhaustive set of suggested topics

Partial model reuse: once individual components are modelled (interfaces and behavior), these models should be reusable in the different usage contexts of these components

Model composition: building a system model by composition of pre-existing models of individual components

Component 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 model interdependencies: to infer and support automated reasoning on the possible interdependencies between the different software models exploited throughout the software life cycle

Component models evolution: 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

Metamodel modularity: reasoning on issues related to composability of (i) metamodels and (ii) views in terms of metamodel portions

Composition of MDE artefacts: analysis results, model transformations, and/or 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: best practices applied to real world applications, lessons learned, success/failure stories in intertwining MDE and CBSE

Program

09:00-09:15 Introduction

09:15-10:30 Keynote: "A little look outside the box", Prof. Tullio Vardanega

10:30-11:00 Coffee break

11:00-11:20 Towards Semantic model-to-model Mapping of Cross-Domain Component Interfaces for Interoperability of Vehicle Applications, Sangita De, Juergen Mottok, Premek Brada and Michael Niklas

11:20-11:40 Towards Continuous Evolution through Automatic Detection and Correction of Service Incompatibilities, Benny Åkesson, Jack Sleuters, Sven Weiss and Ronald Begeer

11:40-12:00 Automatic Software Synthesis of Static and Dynamic Dataflow Process Networks, Omair Rafique and Klaus Schneider

12:00-12:30 Discussion and closing

Organization and support

Interested in joining the organizing team? Get in touch

Organizing team

Federico Ciccozzi, Mälardalen University (Sweden)

Antonio Cicchetti, Mälardalen University (Sweden)

Andreas Wortmann, RWTH Aachen University (Germany)

Program committee

Marco Autili, Università dell'Aquila (Italy)

Jan Carlson, Mälardalen University (Sweden)

Peter Clarke, Florida International University (USA)

Loek Cleophas, TU Eindhoven (Holland)

Romina Eramo, University of L'Aquila (Italy)

Anne Koziolek, Karlsruhe Institute of Technology (Germany)

Ansgar Radermacher, CEA LIST (France)

Christian Schlegel, University of Applied Sciences Ulm (Germany)

Cristina Seceleanu, Mälardalen University (Sweden)

Lionel Seinturier, University of Lille (France)

Severine Sentilles, Mälardalen University (Sweden)

Massimo Tivoli, University of L'Aquila (Italy)

Sebastian Voss, fortiss GmbH (Germany)

Submission and publication

Carefully follow the given instructions

Submission types

Full papers

With a of maximum 8 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 4 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.

Guidelines

Contributions should represent original and previously unpublished ideas that are currently not under review in any conference or journal; the workshop’s language is English. 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. Contributions should be uploaded electronically via EasyChair and must be formatted using the IEEE template (available here).

Publication in proceedings

Accepted and presented papers will published in the open access CEUR conference proceedings, indexed by all major indexers (including Scopus and DBLP). Thanks to the flexibility of CEUR, we will offer the authors the possibility to submit their camera ready after the workshop has taken place, so to be able to take into account discussions and feedback at the workshop in the camera ready version. At least one author of each accepted paper must register and attend the workshop in order for the paper to be published.

Special issue

The best papers from the workshop will be invited for submission in extended form to a theme issue at the Systems and Software Modeling Journal (SoSyM). The extended papers will undergo a new reviewing process.

Keep in touch

Don't hesitate to contact us