A hybrid state machine notation for component specification

Authors:
Alexander Sakharov
Affiliations:
GTE Laboratories, 40 Sylvan Road, Waltham, MA
Venue:
ACM SIGPLAN Notices
Year:
2000

Citing 0
Cited 2

State machine specification directly in Java and C++ (poster session)

OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Formal specification applied to multiuser distributed services: experiences in collaborative t-learning

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

A wide range of software units can be classified as state machines. We extend conventional state machine notations by adding regular expressions of events and unions of source states to state machine transitions. Reusable software components are generated from these extended state machine specifications. Component specification and generation are illustrated in Java.