Framework for Executable Requirements