Accession Number:

ADA371060

Title:

Statecharts via Process Algebra

Descriptive Note:

Contractor rept.

Corporate Author:

INSTITUTE FOR COMPUTER APPLICATIONS IN SCIENCE AND ENGINEERING HAMPTON VA

Report Date:

1999-10-01

Pagination or Media Count:

12.0

Abstract:

State charts is a visual language for specifying the behavior of reactive system. The language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded systems, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called State charts Process Language SPL, is presented, which is expressive enough for encoding State charts in a structure-preserving and semantics-preserving manner. It is established that the behavioral relation bisimulation, when applied to SPL, preserves State charts semantics.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE