Graphical notation for object-oriented design and programming