Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

  • David Harel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2491)


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 [2], and behavior can then be “played out” freely, adhering to all the requirements [3]. The approach, which is joint with Rami Marelly, is supported and illustrated by a tool we have built - the play-engine.


  1. 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. 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. 3.
    D. Harel and R. Marelly, “Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach”, to appear.Google Scholar
  4. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • David Harel
    • 1
  1. 1.The Weizmann Institute of ScienceIsrael

Personalised recommendations