On the Formality of Graphical Descriptions Manfred Broy Manfred Broy * Graz, May 19th, 2001 Overview Motivation The role of diagrams An example MSC Semantics Property Specification…