Notation for object-oriented design