Object-oriented state machines: Subclassing, composition, delegation, and genericity

Aamod Sane, Roy Campbell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 10th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995
Pages17-32
Number of pages16
DOIs
StatePublished - Dec 1 1995
Event10th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995 - Austin, TX, United States
Duration: Oct 15 1995Oct 19 1995

Publication series

NameProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Other

Other10th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995
CountryUnited States
CityAustin, TX
Period10/15/9510/19/95

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Object-oriented state machines: Subclassing, composition, delegation, and genericity'. Together they form a unique fingerprint.

Cite this