Writing an Executable Use Case