Modeling Reactive Systems With Statecharts : The Statemate Approach [Hardcover]

David Harel (Author), Michal Politi (Author)

Book Description

Series: Software Development | Publication Date: October 8, 1998

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 (i.e., the functional building blocks-capabilities or objects) and the data that flows between them. These two languages are used to develop a conceptual model of the system, which can be combined with the system's physical, or structural model, described in a third language-Module-charts. The three languages are highly diagrammatic in nature, constituting full-fledged visual formalisms, complete with rigorous semantics. They are accompanied by a Data Dictionary for specifying additional parts of the model that are textual in nature.

Editorial Reviews

From the Back Cover

The only in-depth guide to Statecharts, the most popular approach for the development of real-time and reactive systems. For systems engineers, software engineers, and electrical engineers in all fields, here at last is complete information on the concepts behind the Statemate toolset developed by I-Logix, Inc., the fullest and most powerful approach to the modeling of reactive systems. This guide first describes the dominant Statecharts, which are used to describe system behavior, and then explores the hierarchical language of Activity-charts, which describe the system's activities and the data that flows between them. It then shows how to use these two synergistic languages to develop a conceptual model of the system, which can then be combined with a physical or structural model using the third language of Module-charts. These languages and the subsequent Statemate toolset constitute a breakthrough approach in requirements analysis, specification, and high-level design. They also provide a powerful method for inspecting, testing, and analyzing models. Author David Harel invented Statecharts, and he and coauthor Michal Politi co-developed the other two languages in the set. Ms. Politi also headed the Statemate development team for more than a decade. Their work has earned them the Most Influential Paper Award from the International Conference on Software Engineering, and Harel's work on the language of Statecharts has won him the Stevens Award in Software Development Methods in 1996 and the first Israel Prime Minister's Prize for Software in 1997. No authors are more highly qualified to describe the syntax and semantics of these intracate languages precisely and rigorously--and with extensive examples based on a model early warning system. No book provides better guidance than Modeling Reactive Systems with Statecharts.

Product Details

• Hardcover: 258 pages
• Publisher: Mcgraw-Hill (Tx) (October 8, 1998)
• Language: English
• ISBN-10: 0070262055
• ISBN-13: 978-0070262058
• Product Dimensions: 9.7 x 6.4 x 1 inches
• Shipping Weight: 13.6 ounces
• Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #1,115,215 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

2 of 6 people found the following review helpful:

4.0 out of 5 stars an excellent overview of statechart methodology, June 26, 2000

By A Customer

This review is from: Modeling Reactive Systems With Statecharts : The Statemate Approach (Hardcover)

Statecharts allow you to model systems without the state explosions that you encounter with regular finite state machines. Harel invented and nurtured the field, and has now come out with an excellent overview of how to make it all work.