%0 Book %1 HarelPoliti98 %A Harel, David %A Politi, Michal %C New York %D 1998 %I McGraw-Hill %K 01624 103 book computer science theory algorithm action format engineering tool %T Modeling Reactive Systems with Statecharts: The Statemate Approach %U http://www.wisdom.weizmann.ac.il/~dharel/reactive_systems.html %X 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 to describe behavior, combined with Activity-charts, which are used for describing the system's activities (i.e., its functional building blocks, capabilities, and 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 our third language, Module-charts. These 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. The approach described here lies at the heart of the Statemate system, which the authors have helped design and build at I-Logix, Inc. since 1984. Statemate is most beneficial in requirements analysis, specification, and high-level design. In addition to supporting the modeling effort using the aforementioned language set, Statemate provides powerful tools for inspecting and analyzing the resulting models, via model execution, dynamic testing, and code synthesis. This book discusses the modeling languages in detail, with an emphasis on the language of Statecharts, because it is the most important and intricate language in the set and the most novel. Statecharts are used to specify the behavior of activities, whether they represent functions in a functional decomposition or objects in an object decomposition. We describe the syntax in a precise and complete manner and discuss the semantics in a way that is intended to render the model's behavior clear and intuitive. Our presentation is illustrated extensively with examples, most of which come from a single sample model of an early warning system (EWS). Appendix B provides a summarized description of this model. Whenever possible, we have tried to explain our motivation in including the various features of the languages. We also provide hints and guidelines on such methodological issues as decomposition criteria and the order in which charts are to be developed. This book should be of interest to a wide variety of systems developers (both in software and hardware) and to teachers and students of software and hardware engineering. %@ 978-0-07-026205-8

@book{HarelPoliti98, abstract = {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 to describe behavior, combined with Activity-charts, which are used for describing the system's activities (i.e., its functional building blocks, capabilities, and 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 our third language, Module-charts. These 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. The approach described here lies at the heart of the Statemate system, which the authors have helped design and build at I-Logix, Inc. since 1984. Statemate is most beneficial in requirements analysis, specification, and high-level design. In addition to supporting the modeling effort using the aforementioned language set, Statemate provides powerful tools for inspecting and analyzing the resulting models, via model execution, dynamic testing, and code synthesis. This book discusses the modeling languages in detail, with an emphasis on the language of Statecharts, because it is the most important and intricate language in the set and the most novel. Statecharts are used to specify the behavior of activities, whether they represent functions in a functional decomposition or objects in an object decomposition. We describe the syntax in a precise and complete manner and discuss the semantics in a way that is intended to render the model's behavior clear and intuitive. Our presentation is illustrated extensively with examples, most of which come from a single sample model of an early warning system (EWS). Appendix B provides a summarized description of this model. Whenever possible, we have tried to explain our motivation in including the various features of the languages. We also provide hints and guidelines on such methodological issues as decomposition criteria and the order in which charts are to be developed. This book should be of interest to a wide variety of systems developers (both in software and hardware) and to teachers and students of software and hardware engineering.}, added-at = {2017-05-07T16:10:40.000+0200}, address = {New York}, author = {Harel, David and Politi, Michal}, biburl = {https://www.bibsonomy.org/bibtex/235b685e9c62a2f39e0114b32069a4a45/flint63}, file = {Preprint:1900-99/HarelPoliti98.pdf:PDF;Amazon Search inside:http\://www.amazon.de/gp/reader/0070262055/:URL}, groups = {public}, interhash = {6db9ed67d33964507138ab88bb9c4fc9}, intrahash = {35b685e9c62a2f39e0114b32069a4a45}, isbn = {978-0-07-026205-8}, keywords = {01624 103 book computer science theory algorithm action format engineering tool}, publisher = {McGraw-Hill}, timestamp = {2017-07-13T18:03:05.000+0200}, title = {Modeling Reactive Systems with Statecharts: The {Statemate} Approach}, url = {http://www.wisdom.weizmann.ac.il/~dharel/reactive_systems.html}, username = {flint63}, year = 1998 }