The use of object-oriented specifications in physics door