ModComp 2020
Date: Oct 18, 2020 6:00 am – Oct 23, 2020 5:00 pm
Location: Virtual
7th International Workshop on Interplay of Model-driven and Component-based Software Engineering (ModComp 2020)
hosted by Models 2020 | http://modelsconference.org/
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’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:
- 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
- Model composition: building 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
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)
- Loek Cleophas, TU Eindhoven (Holland)
- Jeff Gray, University of Alabama (US)
- Anne Koziolek, Karlsruhe Institute of Technology (Germany)
- Raffaela Mirandola, Politecnico di Milano (Italy)
- Pascal Poizat, Université Paris Nanterre and LIP6 (France)
- Ansgar Radermacher, CEA LIST (France)
- Cristina Seceleanu, Mälardalen University (Sweden)
- Lionel Seinturier, University of Lille (France)
- Mehrdad Saadatmand, RISE (Sweden)
- Massimo Tivoli, University of L'Aquila (Italy)
- Tullio Vardanega, University of Padua (Italy)
Submitted by Anonymous
on
7th International Workshop on Interplay of Model-driven and Component-based Software Engineering (ModComp 2020)
hosted by Models 2020 | http://modelsconference.org/
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’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:
- 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
- Model composition: building 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
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)
- Loek Cleophas, TU Eindhoven (Holland)
- Jeff Gray, University of Alabama (US)
- Anne Koziolek, Karlsruhe Institute of Technology (Germany)
- Raffaela Mirandola, Politecnico di Milano (Italy)
- Pascal Poizat, Université Paris Nanterre and LIP6 (France)
- Ansgar Radermacher, CEA LIST (France)
- Cristina Seceleanu, Mälardalen University (Sweden)
- Lionel Seinturier, University of Lille (France)
- Mehrdad Saadatmand, RISE (Sweden)
- Massimo Tivoli, University of L'Aquila (Italy)
- Tullio Vardanega, University of Padua (Italy)