Graphical inheritance notation for state-based classes

State-based object-oriented programming combines basic advantages of object-oriented and automata-based programming technologies. Its basic features are flexibility, extensibility, and powerful mechanism of description of complex behavior, which is based on finite automata. The disadvantage of the state-based object-oriented programming is the lack of standard methods for designing and implementing state-based classes. In this work, graphical notation for designing state-based classes, which combines capabilities of the class diagrams of the object-oriented programming and behavior diagrams of the automata-based programming, is presented. The proposed graphical notation makes it possible to generalize, decompose, structure, and incrementally extend logic of the state-based classes by means of the inheritance.