Towards a "good" functional and executable behavior model