| 形式化方法与可视化模型的结合及其应用 |
| |
| 引用本文： | 吴帅,缪丽君.形式化方法与可视化模型的结合及其应用[J].计算机与现代化,2011(3):44-46,56. |
| |
| 作者姓名： | 吴帅 缪丽君 |
| |
| 作者单位： | 1. 上饶师范学院数学与计算机系,江西,上饶,334001
2. 上饶师范学院教育科学系,江西,上饶,334001 |
| |
| 摘 要： | 阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性.为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程.
|
| 关 键 词： | 形式化方法 B方法 UML AMN ProB |
Integration and Its Application of Formal Methods and Visual Models |
| |
| WU Shuai,MIU Li-jun.Integration and Its Application of Formal Methods and Visual Models[J].Computer and Modernization,2011(3):44-46,56. |
| |
| Authors: | WU Shuai MIU Li-jun |
| |
| Affiliation: | 1.Department of Mathematics and Computer,Shangrao Normal College,Shangrao 334001,China; 2.Department of Education Science,Shangrao Normal College,Shangrao 334001,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | UML AMN ProB |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
