The FTG+PM framework for multi-paradigm modelling: an automotive case study

Authors:
Sadaf Mustafiz;Joachim Denil;Levi Lúcio;Hans Vangheluwe
Affiliations:
McGill University, Canada;University of Antwerp, Belgium and University College, Belgium;McGill University, Canada;University of Antwerp, Belgium and McGill University, Canada
Venue:
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Year:
2012

Citing 4
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design

HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
A Taxonomy of Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In recent years, many new concepts, methodologies, and tools have emerged, which have made Model Driven Engineering (MDE) more usable, precise and automated. We have earlier proposed a conceptual framework, FTG+PM, that acts as a guide for carrying out model transformations, and as a basis for unifying key MDE practices, namely multi-paradigm modelling, meta-modelling, and model transformation. The FTG+PM consists of the Formalism Transformation Graph (FTG) and its complement, the Process Model (PM), and charts activities in the MDE lifecycle such as requirements development, domain-specific design, verification, simulation, analysis, calibration, deployment, code generation, execution, etc. In this paper, we apply the FTG+PM approach to a case study of a power window in the automotive domain. We present a FTG+PM model for the automotive domain, and describe the MDE process we applied based on our experiences with the power window system.