About the tool

The tool is for authoring use case descriptions and enacting them to validate software requirements.

The main functions involve: registering actors, events, and pre/post conditions for those events. The tool then supports the stepping through of each written description showing state changes and actor interactions during various events. The user can also override state-driven enaction by choosing a default enaction scheme that ignores states.