As part of our initial set of deliverables released in month M6, we published D2.1, covering the Foundations for Model-driven Design Methods. The goal of this document is to analyse the state-of-the-art in terms of both research approaches and existing modelling solutions and tools in the context of Model-Based Continuous Development.
D2.1 is the first deliverable of Work Package 2 (WP2). WP2 covers the use and definition of DSLs to support model-based design, providing methods and tools to develop integrated system models. This includes, when needed, the specification of new DSLs to cover all required aspects of system design. Model-based system engineering requires domain-specific abstractions of the application domains, and the formalized application of modelling to support system requirements, design, analysis, verification and validation activities from the initial phases of the system life cycle up until the commissioning, including not only the functional requirements but also all non-functional properties (i.e., quality aspects) of the system.
This WP concentrates on all the modelling and tooling aspects of MegaM@Rt. The goal is first to provide the foundations for the WP3 and WP4, and later to design, develop and support the MegaM@Rt tool chain to be used by industrial partners in WP5.
D2.1 identifies and presents relevant existing Domain Specific Languages (DSLs) and modelling technologies, and analyzes the possibilities for their utilization, extension and/or integration within MegaM@Rt2. The objective is to provide a good overview of the current state of practice, and define the concepts, features and principles that will be the basis for the development of the MegaM@Rt2 design solutions.
The content of the deliverable is organized around three main topics, which correspond to the three main tasks of WP2:
- Systems Modelling — covering standard modelling languages and DSLs, state-of-the-art modelling tools and environments, and methodologies towards the participatory development of DSLs
- Verification and Validation — covering automatic or semi-automatic solutions for the verification and validation of MDE artefacts (e.g., models, transformations).
- Modelling Methodologies — covering MBD methodologies for Model-based Continuous Development that serve as a background for MegaM@Rt2
The deliverable ends with a discussion of the current landscape in the Model-based Systems Engineering field identifying new opportunities in line with the MegaM@Rt2 objectives.
Special mention should be made of the appendix section, since it provides a comprehensive list of the tools provided by members of the MegaM@Rt2 consortium related to the Systems Modelling topic. Similar appendices are provided in deliverables D3.1 and D4.1, thus forming the three of them an excellent showcase of all the technologies provided by MegaM@Rt2.
Abel Gómez is a postdoctoral researcher at the Internet Interdisciplinary Institute, a R&D center of the Universitat Oberta de Catalunya. Previously, he has hold different positions at the Universidad de Zaragoza, the École des Mines de Nantes & Inria, and the Universitat Politécnica de Valéncia. In the last decade, he has actively participated in the Software Engineering community. His research interests fall in the broad field of MDE, and his research lines have evolved in two complementary directions: on the one hand, the development of core technologies to support MDE activities; and on the other hand, the application of MDE techniques to solve Software Engineering problems.