In this paper,we study the B-Method in the light of the theory of refinement calculus. It allows us to explain the proof obligations
for a refinement component in terms of standard data refinement. A second result is an improvement of the architectural condition
of [PR98], ensuring global correctness of a B software system using the sees primitive.