Integrating UML and B for Research and Application of Software Development Method
MA Guang-si · Computer Technology and Development · 2007
B method uses primarily Abstract Machine to describe specification of software systems and there are many tools to support it.UML has been widely used in modeling for object-oriented technology and many projects and research results use it to express.The paper researchs software development procedure with integrating UML and B and translates from class diagram,sequence diagram and state diagram into B Abstract Machine(BAM) in the procedure by analysing projects and literature.At the end the paper describles the whole development procedure precisely.