Uniform representation of transition concepts in Domain Specific Visual Languages

Domain specic visual languages are generally used to specify signicant congurations and behaviours of systems of interest for the users and diagrams of dierent types can be used to specify dierent components of a single system. At an abstract level, all these diagrams express some form of transformation of the system, which can be characterised by its pre- and post-conditions and by a policy presiding at its execution. We propose a uniform approach to the management of these transitions, independently of the adopted diagrammatic notation, which can be used for bidirectional binding between modications of the visual representation and the transformations of the underlying model