Download WordPress Themes, Happy Birthday Wishes
Home » Computer » Modeling Reactive Systems With Statecharts: The Statemate Approach

Modeling Reactive Systems With Statecharts: The Statemate Approach

  • Category: Computer
  • Author: David Harel, Michal Politi
  • Pages: 258 pages
  • File type: HTML and PDF files.

Read and download free eBook intituled Modeling Reactive Systems With Statecharts: The Statemate Approach in format HTML and PDF files. – 258 pages created by David Harel, Michal Politi.

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.

Read and Download Links:

Modeling Reactive Systems With Statecharts: The Statemate Approach

READ  Semantic Web

Leave a Reply

Your email address will not be published. Required fields are marked *

*

x

Check Also

Operating Systems An introduction to Unix, and Operating Systems Theory

Read and download free Book intituled Operating Systems An introduction to Unix, and Operating Systems Theory in format PDF written by Hugh Murrell.