摘要
阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程。
The thesis represents the features and defects of formal method,analyzes the necessity of importing visual models in the formal development process,provides the process of integration of B-method and UML,which reduces the difficulty of making use of formal method directly,illustrates the application process by a case of automatic teller machine.
出处
《计算机与现代化》
2011年第3期44-46,56,共4页
Computer and Modernization
关键词
形式化方法
B方法
UML
AMN
ProB
formal method
B-method
unified model language
abstract machine notation
ProB