The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (2001 vol.34)
pp: 53-60
ABSTRACT
<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>
CITATION
David Harel, "From Play-In Scenarios to Code: An Achievable Dream", Computer, vol.34, no. 1, pp. 53-60, January 2001, doi:10.1109/2.895118
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool