Modularity in Modelling Workshop
Extending the time-honored practice of separation of concerns, Model-Driven Engineering (MDE) promotes the use of separate models to address the various concerns in the development of complex software-intensive systems. The main objective is to choose the right level of abstraction to modularize a concern, specify its properties and reason about the system under development depending on stakeholder and development needs. While some of these models can be defined with a single modelling language, a variety of heterogeneous models and languages are typically used in the various phases of software development. Furthermore, Domain-Specific Modelling Languages designed to address particular concerns are also increasingly used.
Despite the power of abstraction of modelling, models of real-world problems and systems quickly grow to such an extent that managing the complexity by using proper modularization techniques becomes necessary. As a result, many (standard) modelling notations have been extended with aspect-oriented mechanisms and advanced composition operators to support advanced separation of concerns, to combine (possibly heterogeneous) models modularizing different concerns, to execute an application based on modularized models, and to reason over global properties of modularized models.
The Second International Modularity in Modelling Workshop (MOMO) brings together researchers and practitioners interested in the theoretical and practical challenges resulting from applying modularity, advanced separation of concerns, and advanced composition at the modelling level. It is intended to provide a forum for presenting new ideas and discussing the impact of the use of modularization in the context of MDE at different levels of abstraction.
Information about MOMO 2017 can be found on:
Mon 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30
|Welcome & Introduction|
O: Gunter Mussbacher McGill University, Canada, O: Sébastien Mosser Université Côte d'Azur, France
|An MDE Approach for Modular Program Analyses|
A: Bugra Mehmet Yildiz , A: Christoph Bockisch Philipps-Universität Marburg, A: Arend Rensink , A: Mehmet Aksit University of Twente
|A Modular Meta-model for Security Solutions|
A: Laurens Sion , A: Koen Yskout , A: Riccardo Scandariato , A: Wouter Joosen Katholieke Universiteit Leuven
|Weaving Rules into Models@run.time for Embedded Smart Systems|
A: Ludovic Mouline , A: Thomas Hartmann , A: François Fouquet , A: Johan Bourcier , A: Olivier Barais , A: Yves Le Traon University of Luxembourg
11:00 - 12:00
|Presentation only: From Use Case Driven to Test Driven Modularization|
A: Michal Bystrický Slovak University of Technology in Bratislava, A: Valentino Vranić Slovak University of Technology in BratislavaMedia Attached
13:30 - 15:00
|Invited Talk: Towards Concern-Oriented Modularity in Software Language Engineering|
K: Jörg Kienzle McGill University, Canada
15:30 - 17:00
Call for Papers
We are interested in submissions on all topics related to modularity and modelling including but not limited to:
- Modularization Support in Modelling Languages and Tools
- Model Interfaces
- Homogeneous Model Composition Operators
- Heterogeneous Model Composition Operators
- Visualization of Modularized and Composed Models
- Effects of Using Modularization and Composition in Modelling
- On Verification and Validation
- On Reuse
- On the Model-Driven Software Development Process (Requirements Engineering, Software Architecture, Software Design, Implementation)
- On Maintenance
- Experience Reports / Empirical Evaluations of Applying Modularization and Composition in Modelling
- Feature-Oriented, Aspect-Oriented and Concern-Oriented Modelling
- Modularization support and composition operators for specific modelling notations
- Modelling essential characteristics of specific (crosscutting) concerns
- Multi-View Modelling
- Avoiding Inconsistencies
- Avoiding Redundancies
- Support for Detecting and/or Resolution of Feature Interactions
- Domain-Specific Modelling
- Modularization for Domain-Specific Languages
- Composition for Domain-Specific Languages
- Domain-specific Aspect Models
Accepted papers will become part of the workshop proceedings and will be submitted for inclusion into the ACM Digital Library. Workshop presentations will be posted on the workshop website. Acceptance of a paper implies that one of the authors registers for the workshop to present the submission; failure to do so by the early registration deadline will result in the paper being withdrawn from the workshop proceedings. We reserve the right to exclude a paper from distribution after the workshop (e.g., by not placing it into the digital library) if the paper is not presented at the workshop.
MOMO invites participants to submit original regular workshop papers with a length of five (5) pages, as well as shorter original position papers with a length of three (3) pages. Previously published papers or papers accepted or under review for other events are ineligible for submission to MOMO 2017. Papers must be in pdf format, written in English, formatted according to the following ACM formatting instructions, and submitted via EasyChair.
Formatting Instructions (tentative - still to be confirmed)
The format of your paper must strictly adhere to the ACM SIGPLAN template with the default font size (9 point).
Submission of camera-ready version of paper
All authors of all accepted contributions will be asked to complete a Copyright form and will receive further instructions for preparing their camera-ready versions.
At least three members of the program committee will evaluate the technical contribution of each submission as well as its accessibility to the audience. Papers will be judged on quality, significance, relevance, originality, substance, correctness, and clarity.
For further information, please contact the workshop organizers at m…@cs.mcgill.ca