Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
- First Online:
- 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
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.