收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML和时序逻辑语言的银行ATM系统描述与求精

李辉  
【摘要】: 软件体系结构是20世纪90年代国际软件工程领域出现的一个研究热点,随着软件系统规模和复杂性的不断增大,软件体系结构的设计已成为系统成功的关键因素。 软件体系结构描述是软件体系结构的一个首要研究内容。目前主流的软件体系结构描述方法主要有两类,分别是可视化描述和形式化描述。两者在描述软件体系结构方面具有很强的互补性。可视化描述清楚直观,以UML为代表。UML提供了一套描述软件系统模型的概念和图形表示法,但缺乏精确的语义,难以对所表示的模型进行严格分析。形式化描述语义精确,如XYZ/E。XYZ/E是一种可执行的形式化的时序逻辑语言,可以在统一的时序逻辑框架下表示从形式化规范到可执行程序的不同抽象层次的系统描述,它的这一特性可以应用于软件体系结构的描述、求精和设计中。 本文主要探讨了如何将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的问题。首先介绍了软件体系结构的基本概念和描述方法,在此基础上,分析了将UML和XYZ/E相结合描述软件体系结构的可行性。UML的各类视图适合对不同系统结构和行为的描述,但缺乏一致的语义基础,难以说明系统的内在联系。时序逻辑语言XYZ/E适合作为软件体系结构的形式化理论基础,但它对软件体系结构概念方面的支持还不够,基于这方面的考虑,我们扩充了XYZ/E的语法成份,使之支持软件体系结构的基本概念,在语言上提供对软件体系结构基本概念的显式支持,并对UML进行扩展和约束,定义了UML活动图的XYZ/E语义,使之更好的支持软件体系结构的描述。最后本文通过对银行ATM系统体系结构的描述和求精,进一步说明了该方法的可行性。 本文的研究对软件体系结构描述研究、UML形式语义研究和形式化方法在软件开发中的应用等方面都将有一定的推动作用。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李鸣;UML在软件体系结构建模中的应用[J];科技创业月刊;2002年11期
2 陆远蓉;;基于UML的“4+1”视图软件体系结构描述研究[J];现代计算机(专业版);2011年04期
3 顾春霞;;基于UML的ATM自动取款机系统体系结构建模[J];沙洲职业工学院学报;2006年03期
4 姜颖;软件体系结构与UML[J];天津成人高等学校联合学报;2005年05期
5 汤小康;王志刚;彭冰沁;;基于UML和Z的需求分析到软件体系结构的映射[J];福建电脑;2008年03期
6 魏艳铭;张广泉;;RUP和UML在软件体系结构建模中的应用研究[J];重庆师范大学学报(自然科学版);2006年03期
7 张广泉;软件体系结构的特点与研究进展[J];重庆师范学院学报(自然科学版);2002年04期
8 吴拥民;;MMORPG服务器软件体系结构研究——非形式化构造[J];计算机工程与应用;2006年32期
9 吴拥民;陈宏展;;MMORPG服务器软件体系结构研究——构造模型的演化[J];昆明理工大学学报(理工版);2008年06期
10 张广泉,刘艳;基于UML的图书管理系统体系结构模型及实现[J];重庆师范大学学报(自然科学版);2005年02期
11 施裕琴;;基于软件体系结构的网络应用程序开发[J];办公自动化;2005年08期
12 顾春霞;张广泉;;基于WEB的图书管理系统体系结构建模与实现[J];科技经济市场;2006年10期
13 丁湘陵;;面向CBSD的软件体系结构六视图模型研究[J];计算机时代;2007年01期
14 李俊娥;周洞汝;;“平台/插件”软件体系结构风格[J];小型微型计算机系统;2007年05期
15 聂华北;;一种用UML描述软件体系结构的策略[J];电脑与电信;2007年09期
16 李辉;张广泉;陈枢茜;;基于UML和XYZ/E的ATM系统体系结构描述[J];微计算机信息;2010年09期
17 钟德明,刘斌,阮镰;嵌入式软件仿真测试环境软件体系结构研究[J];北京航空航天大学学报;2005年10期
18 祝义;张永常;张广泉;黄志球;;UML与Z结合的建模过程及其应用[J];计算机科学;2007年05期
19 袁福庆;肖波平;;基于RUP的可靠性评估软件设计[J];微计算机信息;2007年25期
20 李辉;张广泉;;UML和XYZ/E在ATM系统的一个初步应用[J];微计算机信息;2010年21期
中国重要会议论文全文数据库 前10条
1 张玲红;张广泉;朱雪阳;戎玫;何玉乾;;UML与XYZ/ADL在电梯控制系统体系结构建模中的应用[A];企业应用集成系统与技术学术研究会论文集[C];2006年
2 刘畅;伍星;蒋明;周川;;面向在线监测系统的组件模型研究[A];2008年全国振动工程及应用学术会议暨第十一届全国设备故障诊断学术会议论文集[C];2008年
3 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
4 蒋心晓;李新星;;基于分布智能的防空指挥系统软件体系结构[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
5 冯红伟;李战怀;;序列查询的过滤和求精方法[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
6 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
7 余沛毅;;概念模型的描述方法分析比较[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
8 陈于平;刘畅;伍星;迟毅林;;转子故障智能诊断系统的软件体系结构研究[A];第十二届全国设备故障诊断学术会议论文集[C];2010年
9 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
10 蒋明;伍星;刘畅;周川;;基于远程监测系统的组件模型研究[A];2008年全国振动工程及应用学术会议暨第十一届全国设备故障诊断学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
2 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
3 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
4 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
5 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
6 郭成昊;计算系统的自适应体系结构研究[D];南京理工大学;2007年
7 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
8 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
9 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
10 李晓红;面向快速开发的智能AGENT关键技术研究[D];天津大学;2005年
中国硕士学位论文全文数据库 前10条
1 李辉;基于UML和时序逻辑语言的银行ATM系统描述与求精[D];苏州大学;2007年
2 贺慧琳;面向CBSD的软件体系结构模型的研究[D];湖南师范大学;2006年
3 陈枢茜;基于UML和XYZ/ADL的软件体系结构描述及精化研究[D];苏州大学;2007年
4 赵晓宇;基于图书馆管理系统软件体系结构的设计与研究[D];天津大学;2006年
5 王颖;基于Intranet环境下考试系统体系结构的研究[D];昆明理工大学;2007年
6 张大强;一种基于.Net的软件体系结构的设计与开发方法[D];安徽大学;2006年
7 丁伟华;UML在软件体系结构描述中的应用[D];大连海事大学;2007年
8 尹永田;基于组件的学习管理系统的软件设计[D];山东师范大学;2007年
9 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
10 周怿;面向服务的动态演化软件模型研究[D];浙江大学;2006年
中国重要报纸全文数据库 前10条
1 记者 桂雪琴;六三五四所:执着求精 发展强劲[N];中国船舶报;2011年
2 蔡冬阳 本报记者 姜琢;求远·求精·求美[N];鹤岗日报;2011年
3 李欣蔚 记者 董鹏宇;创新务实 规范求精[N];吉林日报;2011年
4 本报记者 潘国良 通讯员 向爱静;管理求精 队伍过硬[N];中国石油报;2011年
5 阿李;“精益”与“求精”[N];中华建筑报;2001年
6 梅娥;“针尖”上求精细[N];中国石化报;2011年
7 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
8 阿航;UML面向对象分析[N];中华读书报;2002年
9 张才金;求真求实求新求精 推动龙山科学发展[N];团结报;2010年
10 俞家骅;创新 速度 求精 效益[N];中国黄金报;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978