Consistency of the static and dynamic components of object-oriented specifications