object-oriented specification language

An object-oriented specification language is a formal language used to precisely describe the structure, behavior, and constraints of object-oriented systems without necessarily providing an executable implementation.