Date: 24 Oct 2002

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

* Final gross prices may vary according to local VAT.

Get Access

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.