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