Analysis-oriented semantics definition of visual languages

This paper presents a semantics definition method for a class of visual languages. The method is geared towards the analysis of heterogeneous component-based systems where components are described using different visual languages. This is made possible by the design of language-specific interpreters which interpret instances of these languages within a general semantic framework based on the notion of interconnected discrete-event components.