形式化方法与可视化模型的结合及其应用

doi:10.3969/j.issn.1006-2475.2011.03.012

计算机与现代化 ›› 2011, Vol. 1 ›› Issue (3): 44-46,5.doi: 10.3969/j.issn.1006-2475.2011.03.012

形式化方法与可视化模型的结合及其应用

吴帅¹，缪丽君²

1.上饶师范学院数学与计算机系，江西上饶 334001；2.上饶师范学院教育科学系，江西上饶 334001

收稿日期:2010-11-15 修回日期:1900-01-01 出版日期:2011-03-18 发布日期:2011-03-18

Integration and Its Application of Formal Methods and Visual Models

WU Shuai¹, MIU Li-jun²

1. Department of Mathematics and Computer, Shangrao Normal College, Shangrao 334001, China;2. Department of Education Science, Shangrao Normal College, Shangrao 334001, China

Received:2010-11-15 Revised:1900-01-01 Online:2011-03-18 Published:2011-03-18

摘要/Abstract

摘要： 阐述形式化方法的特点及存在的问题，分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度，提出B方法与UML的结合过程，并通过一个自动取款机系统说明其应用过程。

关键词: 形式化方法, B方法, UML, AMN, ProB

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.

Key words: formal method, B-method, unified model language, abstract machine notation, ProB

中图分类号:

TP311

吴帅;缪丽君. 形式化方法与可视化模型的结合及其应用[J]. 计算机与现代化, 2011, 1(3): 44-46,5.

WU Shuai;MIU Li-jun. Integration and Its Application of Formal Methods and Visual Models[J]. Computer and Modernization, 2011, 1(3): 44-46,5.

[1]	申强华. 基于多变量Probit回归的用户兴趣挖掘方法[J]. 计算机与现代化, 2017, 0(6): 25-29.
[2]	田亚灵. 基于UML的农作物种子经营备案管理信息平台建模分析[J]. 计算机与现代化, 2016, 0(10): 54-61.
[3]	覃嗣凤,顾平,张超. 基于元模型的HBase数据模型转换方法[J]. 计算机与现代化, 2015, 0(8): 32-37.
[4]	肖雄，刘惠义，朱杰. 基于特定边界的组合保角球面参数化[J]. 计算机与现代化, 2015, 0(5): 112-116+120.
[5]	郑若鹢;陈文. 高速交换结构的建模与仿真研究[J]. 计算机与现代化, 2013, 1(5): 36-40.
[6]	王晋;陶骞;陈宏. 解析智能变电站IEC61850数据集模型[J]. 计算机与现代化, 2012, 203(7): 202-205.
[7]	于彬. 基于UML和SSH的企业问卷调查系统设计与实现[J]. 计算机与现代化, 2012, 1(200): 97-03.
[8]	李青松;张晔. 基于UML协作图和DFA的测试用例生成方法研究[J]. 计算机与现代化, 2011, 1(8): 32-38.
[9]	张杨;洪丽娜;石川. 基于UML的雷达电磁环境仿真系统建模[J]. 计算机与现代化, 2011, 7(7): 140-143.
[10]	岳文闻;肖新元. 基于UML的开放式实验实训中心预约系统的分析与设计[J]. 计算机与现代化, 2011, 7(7): 183-185.
[11]	何耀光;康汶;詹先信;温筱群. 基于UML的电子商务在线销售系统分析与设计[J]. 计算机与现代化, 2011, 1(2): 0-174.
[12]	魏武华. 基于UML的教务管理系统的分析与设计[J]. 计算机与现代化, 2011, 1(11): 186-7.
[13]	朱程. 基于UML的图书管理系统的建模过程 [J]. 计算机与现代化, 2011, 194(10): 48-50.
[14]	苏昭;薛锦云;杨晨. 形式化方法在高中算法教学中的应用研究 [J]. 计算机与现代化, 2010, 1(7): 87-92.
[15]	徐剑强;曾勍炜. 旅游电子商务平台中火车票预订系统的设计[J]. 计算机与现代化, 2010, 1(6): 130-0132.

形式化方法与可视化模型的结合及其应用

Integration and Its Application of Formal Methods and Visual Models

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价