Statecharts via Process Algebra

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1999
Accession Number
ADA371060

Entities

People

  • Gerald Luettgen
  • Michael Von Der Beeck
  • Rance Cleaveland

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Automata
  • Classification
  • Coding
  • Computer Programs
  • Computer Science
  • Computers
  • Electronic Mail
  • Embedded Systems
  • Engineering
  • Hierarchies
  • Language
  • Multithreading
  • New York
  • Notation
  • Semantics
  • Software Development
  • Theoretical Computer Science

Fields of Study

  • Computer science

Readers

  • Geodesy
  • Mathematical Modeling and Probability Theory.
  • Software Engineering.