This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
From Play-In Scenarios to Code: An Achievable Dream
January 2001 (vol. 34 no. 1)
pp. 53-60

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.

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.

Citation:
David Harel, "From Play-In Scenarios to Code: An Achievable Dream," Computer, vol. 34, no. 1, pp. 53-60, Jan. 2001, doi:10.1109/2.895118
Usage of this product signifies your acceptance of the Terms of Use.