Graphical specification of object oriented systems
Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes · 1990
The graphical notation Objectcharts, introduced in this paper, allows a developer to precisely specify the behaviour of object classes and to reason about the behaviour of particular configurations of objects.