A Design Pattern for State Machines and Concurrent Activities

Authors:
Bo Sanden
Affiliations:
-
Venue:
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Year:
2001

Citing 11
Cited 0

Object-oriented development

IEEE Transactions on Software Engineering
The Case for Electric Design of Real-Time Software

IEEE Transactions on Software Engineering
Entity-life modeling and structured analysis in real-time software design—a comparison

Communications of the ACM
Software systems construction with examples in Ada

Software systems construction with examples in Ada
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The state-machine pattern

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Concurrent design patterns for resource sharing

Proceedings of the conference on TRI-Ada '97
The Ravenscar tasking profile for high integrity real-time programs

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Implementation of state machines with tasks and protected objects

ACM SIGAda Ada Letters
Software Design

Software Design
Modeling Concurrent Software

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

State machines are used to design real-time software controlling anything from household devices to spacecraft. They are also a standard way of describing the life of an object in object-oriented analysis and design. This paper presents a pattern for the implementation of state machines and associated activities by means of tasks and protected objects. It is a refinement of earlier work on a state-machine pattern and part of a set of concurrent design patterns based on the entity-life modeling design philosophy.