Skip to main content
eScholarship
Open Access Publications from the University of California

Modeling with SpecCharts

  • Author(s): Narayan, Sanjiv
  • Vahid, Frank
  • Gajski, Daniel D.
  • et al.
Abstract

SpecCharts is a language intended for system level specification and synthesis. Its blending of hierarchical state-diagrams with programming constructs permits description of event-driven systems as a true hierarchy of behaviors, unlike existing languages. Through many examples, we show in this report how a language with an underlying model of behavioral hierarchy greatly aids concise and comprehensible specifications obtained with minimal effort.

Main Content
Current View