In this paper, we define a notion of consistency between static and
dynamic aspects of a system described by graphical means. We provide a
graphical framework for multiple view system design and put forward a
technique for consistency checking. Our framework is quite close to
UML notations: static aspects are described in terms of diagrams with
multiplicities (inspired from UML class diagrams) and dynamic aspects
are specified as a rewriting system that can be derived from
behavioral diagrams like state machine.