STATEMATE: A Working Environment for the Development of Complex Reactive Systems

STATEMATE: A Working Environment for the Development of Complex Reactive Systems (1990)

Cached

Download Links

[www.wisdom.weizmann.ac.il]

Other Repositories/Bibliography

DBLP

by David Harel , Hagi Lachover , Amnon Naamad , Amir Pnueli , Michal Politi , Rivi Sherman , Aharon Shtull-trauring , Mark Trakhtenbrot

Venue:	IEEE Transactions on Software Engineering
Citations:	379 - 6 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	STATEMATE: A Working Environment for the Development of Complex Reactive Systems	user correction - Legacy Corrections
AUTHOR NAME	David Harel	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Hagi Lachover	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Amnon Naamad	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Amir Pnueli	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Michal Politi	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Rivi Sherman	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Aharon Shtull-trauring	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
AUTHOR NAME	Mark Trakhtenbrot	user correction - Legacy Corrections
AUTHOR AFFIL	STATEMATE.	user correction - Legacy Corrections
ABSTRACT	This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in- tended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded sys- tems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagram- matic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts [4], used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it "understands " the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous ex- ecutions and simulations of the described system, and to create run- ning code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.	user correction - Legacy Corrections
YEAR	1990	user correction - Legacy Corrections
VENUE	IEEE Transactions on Software Engineering	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	5	INFERENCE
VOLUME	16	INFERENCE
CITATIONS	31 found	ParsCit 1.0