The design of the UNIX operating system
The design of the UNIX operating system
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The annotated C++ reference manual
The annotated C++ reference manual
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Graphical inheritance notation for state-based classes
Programming and Computing Software
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
| Hi-index | 0.00 |
Software specification and implementation techniques based on state machines simplify design, coding, and validation. However, large systems require complex state machines. Incremental construction techniques can control this complexity. In this paper, we present a construction technique that permits derivation of complex state machines from simpler state machines. The technique uses subclassing, composition, delegation, and genericity to incrementally modify and combine simpler machines.In addition, we present a novel implementation technique that uses exactly one table-lookup and one addition to dispatch events on derived state machines, no matter the depth of the derivation. As an example, we describe the derivation of a complicated distributed virtual memory scheme from a simple paging virtual memory scheme.