At Philips Image Guided Therapy (IGT), we have developed a Domain Specific Language (DSL) that describes the behaviour of one of the subsystems of our interventional X-ray system. With the current implementation of our DSL we are able to generate C++ code that is integrated in our product software. As a next evolutionary step for our DSL, we would like to benefit from the features the Dezyne toolset offers, like C++ code generation and model checking. If all model checks pass, we know that the generated C++ code is free of certain issues. We present a model to model transformation developed in QVTo, that transforms our own DSL called the Movement Specification Language (MSL) to another DSL called Dezyne. To avoid confidentiality issues, we use a Lego robot example to explain the MSL.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.