A survey of approaches for verifying model transformations
L Ab. Rahim, J Whittle - Software & Systems Modeling, 2015 - Springer
As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …
must be systematically verified. Their nature, however, means that transformations require …
A tridimensional approach for studying the formal verification of model transformations
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …
transformation is MDE's" heart and soul". Since model transformations are executed for a …
[图书][B] Construction and evolution of code generators: A model-driven and service-oriented approach
S Jörges - 2013 - books.google.com
Automatic code generation is an essential cornerstone of model-driven approaches to
software development. Currently, lots of techniques are available that support the …
software development. Currently, lots of techniques are available that support the …
Formal verification techniques for model transformations: A tridimensional classification
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …
transformation is MDE's" heart and soul". Since model transformations are executed for a …
[PDF][PDF] Towards verified model transformations
Model-driven software development (MDD) is seen as a promising approach to improve
software quality and reduce production costs significantly. However, one of the problems in …
software quality and reduce production costs significantly. However, one of the problems in …
[PDF][PDF] Complete code generation from UML state machine
AR Van Cam Pham, SÃ GÃľrard, S Li - Proceedings of the 5th …, 2017 - scitepress.org
An event-driven architecture is a useful way to design and implement complex systems. The
UML State Machine and its visualizations are a powerful means to the modeling of the …
UML State Machine and its visualizations are a powerful means to the modeling of the …
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview
A Wijs - International Conference on Formal Aspects of …, 2023 - Springer
Abstract In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific
Language was designed. Since then, a range of tools have been developed around this …
Language was designed. Since then, a range of tools have been developed around this …
Towards automated, formal verification of model transformations
M Asztalos, L Lengyel… - 2010 Third International …, 2010 - ieeexplore.ieee.org
Verification of models and model processing programs are inevitable in real-world model-
based software development. Model transformation developers are interested in offline …
based software development. Model transformation developers are interested in offline …
Verification of model transformations using Isabelle/HOL and Scala
S Meghzili, A Chaoui, M Strecker… - Information Systems …, 2019 - Springer
Abstract Model transformations have proved to be powerful in the development of critical
systems. According to their intents, they have been used in many domains such as models …
systems. According to their intents, they have been used in many domains such as models …
On the verification of UML state machine diagrams to colored petri nets transformation using Isabelle/HOL
S Meghzili, A Chaoui, M Strecker… - … on Information Reuse …, 2017 - ieeexplore.ieee.org
The Unified Modeling Language (UML) is a modeling language standardized by the OMG.
The goal of UML is to supply software engineers, software developers, and system architects …
The goal of UML is to supply software engineers, software developers, and system architects …