Methodology Of Refinement And Decomposition In Uml-B