The book provides a detailed description of a set of languages for modeling 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.
%0 Book
%1 harel_98_modeling
%A Harel, David
%A Politi, Michal
%D 1998
%I McGraw-Hill Companies
%K _hardcopy 1998 statecharts statemate _book
%T Modeling Reactive Systems With Statecharts : The Statemate Approach
%U http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0070262055
%X The book provides a detailed description of a set of languages for modeling 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.
%@ 0070262055
@book{harel_98_modeling,
abstract = {The book provides a detailed description of a set of languages for modeling 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.},
added-at = {2009-02-11T22:26:45.000+0100},
author = {Harel, David and Politi, Michal},
biburl = {https://www.bibsonomy.org/bibtex/24e6b500a6c9aa7bf61ad69ced8e234c2/leonardo},
citeulike-article-id = {572346},
howpublished = {Hardcover},
interhash = {6db9ed67d33964507138ab88bb9c4fc9},
intrahash = {4e6b500a6c9aa7bf61ad69ced8e234c2},
isbn = {0070262055},
keywords = {_hardcopy 1998 statecharts statemate _book},
month = {October},
posted-at = {2006-04-01 14:01:02},
priority = {2},
publisher = {McGraw-Hill Companies},
timestamp = {2009-02-11T22:26:45.000+0100},
title = {Modeling Reactive Systems With Statecharts : The Statemate Approach},
url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0070262055},
year = 1998
}