Graphical inheritance notation for state-based classes

Authors:
D. G. Shopyrin;A. A. Shalyto
Affiliations:
St. Petersburg State University of Information Technologies, Mechanics, and Optics, St. Petersburg, Russia 197101;St. Petersburg State University of Information Technologies, Mechanics, and Optics, St. Petersburg, Russia 197101
Venue:
Programming and Computing Software
Year:
2007

Citing 11
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Type theories and object-oriented programmimg

ACM Computing Surveys (CSUR)
Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
On the development of reactive systems

Logics and models of concurrent systems
Object-oriented state machines: subclassing, composition, delegation, and genericity

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
On the notion of inheritance

ACM Computing Surveys (CSUR)
A note on state modeling through inheritance

ACM SIGSOFT Software Engineering Notes
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems

Programming and Computing Software
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
On formal semantics of statecharts as supported by STATEMATE

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.