Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …
reactive model transformation engine built on top of highly scalable incremental graph …
Designing the automatic transformation of visual languages
The design process of complex systems requires a precise checking of the functional and
dependability attributes of the target design. The growing complexity of systems necessitates …
dependability attributes of the target design. The growing complexity of systems necessitates …
[PDF][PDF] Automatic transformation of UML models for system verification
The design of complex, dependable systems requires a precise formal verification of design
decisions during the system modelling phase. For that reason, the mathematical models of …
decisions during the system modelling phase. For that reason, the mathematical models of …
[PDF][PDF] UML Ëpecification of Mathematical Model Transformation
D Varréo, P Domokos, A Pataricza - static.inf.mit.bme.hu
The design of complex, dependable systems requires a precise formal verification of design
decisions during the system modelling phase. For that reason, the mathematical models of …
decisions during the system modelling phase. For that reason, the mathematical models of …