Modeling Reactive Systems with Statecharts

Modeling Reactive Systems with Statecharts
by D. Harel, M. Politi

Publisher: McGraw-Hill 1998
ISBN/ASIN: 0070262055
ISBN-13: 9780070262058
Number of pages: 258

Description:
The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities and the data that flows between them.