Issue No. 01 - January (2001 vol. 34)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.895118
<p>The author describes a scheme for developing complex reactive systems. The scheme makes it possible to go from a user-friendly requirements capture method, called play-in scenarios, via a rich language for describing message sequencing to full behavioral descriptions of system parts, and from there to final implementation. The author's proposal combines ideas that have been known for a long time with more recent ones. Central to the proposal is a cyclic process of verifying the system against requirements and synthesizing system parts from the requirements. The article focuses on the languages, methods, and computerized tools that allow smooth but rigorous transitions between the scheme's various stages. </p> <p>In contrast to database systems, this article concentrates on systems that have a dominant reactive, event-driven facet for which modeling and analyzing behavior is the most crucial and problematic issue. </p>
D. Harel, "From Play-In Scenarios to Code: An Achievable Dream," in Computer, vol. 34, no. , pp. 53-60, 2001.