A comparative description of object-oriented specification languages