We are not opposed to UML: there are certain things that a UML class diagram can render much clearer than the forms described above. Inheritance is one example ... model in any executable form. Yes, ...