Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
A novel approach to behavioral requirements for reactive systems is described, in which highly expressive scenario-based requirements are “played in” directly from the system’s GUI, or some abstract version thereof , and behavior can then be “played out” freely, adhering to all the requirements . The approach, which is joint with Rami Marelly, is supported and illustrated by a tool we have built - the play-engine.
- 1.W. Damm and D. Harel, “LSCs: Breathing Life into Message Sequence Charts”, Formal Methods in System Design 19:1 (2001).(Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293–312.)Google Scholar
- 2.D. Harel, “From Play-In Scenarios To Code: An Achievable Dream”, IEEE Computer 34:1 (January 2001), 53–60. (Also, Proc. Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science, Vol. 1783 (Tom Maibaum, ed.), Springer-Verlag, March 2000, pp. 22–34.)Google Scholar
- 3.D. Harel and R. Marelly, “Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach”, to appear.Google Scholar
- 4.D. Harel, H. Kugler, R. Marelly and A. Pnueli, “Smart Play-Out of Behavioral Requirements”, Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002), November 2002, to appear.Google Scholar
- 5.R. Marelly, D. Harel and H. Kugler, “Multiple Instances and Symbolic Variables in Executable Sequence Charts”, Proc. 17th Ann. AM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’ 2002), November, 2002, to appear.Google Scholar
- 6.D. Harel and R. Marelly, “Time-Enriched LSCs: Specification and Execution”, Proc. 10th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS’ 02), October 2002, to appear.Google Scholar