Modeling reactive systems with statecharts: the statemate approach

This book provides a detailed description of a comprehensive set of languages for modeling reactive systems. The approach is dominated by the language of Statecharts, which is used describe behavior, combined with activity-charts, which are used for describing the system’s activities and the data that flows between them. These two language are used to develop a conceptual model of system, whi…