Configurations and transitions in visual languages

Domain specific visual languages express significant system configurations and behaviours. They are mainly used to express some form of system transformation, characterised by its pre-and post-conditions and by an execution policy. We propose an approach to management of transitions, independent from the adopted diagrammatic notation, and describe an application.