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

  • David Harel
Conference paper

DOI: 10.1007/3-540-45832-8_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2505)
Cite this paper as:
Harel D. (2002) Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). In: Corradini A., Ehrig H., Kreowski H.J., Rozenberg G. (eds) Graph Transformation. ICGT 2002. Lecture Notes in Computer Science, vol 2505. Springer, Berlin, Heidelberg

Abstract

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

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

Personalised recommendations