摘要
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。
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.
出处
《计算机技术与发展》
2007年第6期123-126,154,共5页
Computer Technology and Development
关键词
B方法
UML
软件规格说明
抽象机
B method
UML
specification of software
abstract machine
