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.

External Website

Information about MOMO 2017 can be found on:
http://www.momo2017.ece.mcgill.ca/


You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Paper Session MOMO at D2.13
09:00
15m
Day opening
Welcome & Introduction
MOMO
O: Gunter Mussbacher McGill University, Canada, O: Sébastien Mosser Université Côte d'Azur, France
09:15
25m
Talk
An MDE Approach for Modular Program Analyses
MOMO
A: Bugra Mehmet Yildiz , A: Christoph Bockisch Philipps-Universität Marburg, A: Arend Rensink , A: Mehmet Aksit University of Twente
09:40
25m
Talk
A Modular Meta-model for Security Solutions
MOMO
A: Laurens Sion , A: Koen Yskout , A: Riccardo Scandariato , A: Wouter Joosen Katholieke Universiteit Leuven
10:05
25m
Talk
Weaving Rules into Models@run.time for Embedded Smart Systems
MOMO
11:00 - 12:00
Presentation & DiscussionsMOMO at D2.13
11:00
25m
Talk
Presentation only: From Use Case Driven to Test Driven Modularization
MOMO
A: Michal Bystrický Slovak University of Technology in Bratislava, A: Valentino Vranić Slovak University of Technology in Bratislava
Media Attached
11:25
35m
Other
Discussions (morning)
MOMO

13:30 - 15:00
Invited TalkMOMO at D2.13
13:30
90m
Talk
Invited Talk: Towards Concern-Oriented Modularity in Software Language Engineering
MOMO
K: Jörg Kienzle McGill University, Canada
15:30 - 17:00
Discussion SessionMOMO at D2.13
15:30
90m
Other
Discussion (Afternoon)
MOMO

Call for Papers

Workshop Topics

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

Publication

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.

Submission

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.

Evaluation

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.

Questions?

For further information, please contact the workshop organizers at m…@cs.mcgill.ca