News from the MegaM@Rt2 Project
Reasoning about UML/OCL Class Diagrams using Constraint Logic Programming and Formula
We present our work is the translation of a UML model into a Constraint Satisfaction Problem. Then, model reasoning can be automated using the model–finding tool Formula to find a number of correctness problems.
Towards Scalable Model Views on Heterogeneous Model Resources
Model views are fundamental when (many) different kinds of models are used for engineering complex (cyber-physical) systems. We tackle the challenge of creating a scalable view mechanism able to work with heterogeneous models
Availability-driven Architectural Change Propagation through Bidirectional Model Transformations
Changes applied to non-functional models for sake of requirement satisfaction have to be propagated back to the software architecture. We propose to use bidirectional transformation to keep both kinds of models aligned automatically.
Youtube channel for the MegaM@rt2 project
MegaM@rt2 has now a youtube video channel. And to start off, we have just released a new video presenting an overview of the project and its applications!
Survey of Existing Model View Approaches
We help you to select the best model view approach for your software modeling challenge by comparing in a unified feature model all existing viewpoint approaches for modeling
What the F-OMP is going on in OpenMP?
F-OMP helps designers to exploit the full potential of the implicit parallelization techniques of OpenMP for embedded systems