See here for a short description of BON.

BON - Business Object Notation. The BON method for analysis and design of object-oriented software is a means of extending the higher-level concepts of the Eiffel programming language into the realm of analysis and design aided by a graphical notation akin to but different from UML.

Using the EiffelStudio/BON diagram tool