Tutorial  1  2  3  4  5  6  7  8  9  10  11  Downloads


QVT Tutorial  1 I assume you are familiar with automata theory. Summarized, an automaton is a model of a machine. This model consists of a finite amount of states, connected by transitions. Next, an action is "attached" to each transition. To explain several aspects of QVT, I have extended this model. Instead of simple states, there are now different shapes: rectangles, ellipses and triangles. Additionally, in each state there are updates: the option to update variables. An automaton. Each shape has a property (numerical value): Rectangle~Edge, Ellipse~Radius, Triangle~Side. States are named S1..S4. The first state is also the initial state. Variables V1..V5. Actions A, B and C. Continue tutorial: Two different metamodels 
