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

基于UML和XYZ/E的ATM系统体系结构描述

李辉  张广泉  陈枢茜  
【摘要】:本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘兵良;朱小军;;对软件体系结构的一些探讨[J];信息与电脑(理论版);2011年07期
2 郭天娇;;关于软件体系结构课程改进教学模式的研究与探讨[J];才智;2011年16期
3 王伟伟;;软件体系结构模式探析[J];科技传播;2011年14期
4 张海攀;杨佳;;人事信息系统软件体系结构设计关键技术研究[J];电脑知识与技术;2011年22期
5 汪凤兰;;软件体系结构初探[J];计算机时代;2011年08期
6 赵宏伟;秦昌明;;基于B/S 3层体系结构的软件设计方法研究[J];实验室研究与探索;2011年07期
7 李宏宏;康凤举;韩翃;;基于分层模式的视景仿真系统研究与设计[J];系统仿真学报;2011年08期
8 李晓龙;;基于SOA在J2EE平台架构下的银行中间业务系统应用方案[J];才智;2011年20期
9 刘福军;孟晨;孙香冰;汤宫民;焦现炜;展浩华;;面向服务的军用ATS软件体系结构设计[J];计算机测量与控制;2011年07期
10 郑军;刘畅;任占勇;;综合模块化航空电子软件测试环境[J];计算机工程与设计;2011年08期
11 殷永峰;刘斌;王志;;基于虚拟机的嵌入式软件仿真测试环境[J];沈阳工业大学学报;2011年04期
12 王纪章;李萍萍;吴燕明;;基于Web的作物模型库系统构建[J];农业工程学报;2011年07期
13 孙连山;王今雨;;基于视频分析的虚拟翻书系统的设计与实现[J];陕西科技大学学报(自然科学版);2011年04期
14 秦园园;;浅谈可信软件体系结构研究[J];电脑知识与技术;2011年21期
15 赵会群;孙晶;魏莹;王文文;郭峰;;基于模型的网构软件可达性检测方法研究[J];计算机学报;2011年06期
16 徐士华;吕莉媛;赵磊;;基于扩展CHAM的SA级路径覆盖方法[J];微电子学与计算机;2011年09期
17 左海浪;;实现物联网的架构与原型[J];自动化应用;2011年08期
18 刘智平;史秦格;;基于.NET的在线购物系统的研究与实现[J];电脑知识与技术;2011年13期
19 张洪武;陈飙松;李云鹏;张盛;彭海军;;面向集成化CAE软件开发的SiPESC研发工作进展[J];计算机辅助工程;2011年02期
20 侯筱婷;李昌华;来炳恒;;虚拟施工关键技术研究[J];机械科学与技术;2011年07期
中国重要会议论文全文数据库 前10条
1 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
2 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
3 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
4 戴学臻;赵勇;陈君;;B/S与C/S多层混合软件体系结构在公路信息管理系统中的应用[A];第十四届全国煤矿自动化学术年会暨中国煤炭学会自动化专业委员会学术会议论文集[C];2004年
5 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
6 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
7 王昆;胡延军;;煤矿信息化中软件体系结构的设计[A];第十七届全国煤矿自动化学术年会、中国煤炭学会自动化专业委员会学术会议论文集[C];2007年
8 赵磊;徐士华;赵国生;;基于Wright的SA级测试路径生成方法[A];第六届中国测试学术会议论文集[C];2010年
9 陈亮亮;孔祥艳;程甜甜;李云飞;;基于体系结构和面向构件的虚拟仪器开发方法[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
10 程昌秀;周成虎;陆锋;;协同GIS软件体系结构研究[A];中国地理信息系统协会第三次代表大会暨第七届年会论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
2 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
3 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
4 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
5 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
6 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
7 李晓红;面向快速开发的智能AGENT关键技术研究[D];天津大学;2005年
8 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
9 杨捷;安全软件体系结构的形式化方法研究[D];武汉大学;2004年
10 杨娟;国内新一代电信业务支撑系统软件体系结构的研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前10条
1 徐宏兴;插件体系结构软件开发方法研究[D];四川大学;2005年
2 李凯;基于规则的软件体系结构研究[D];天津大学;2007年
3 陆文佳;基于SA理论的代码自动生成技术实现和应用[D];复旦大学;2009年
4 杨磊;基于科学数据共享网的软件体系结构及其质量属性的研究[D];北京工业大学;2005年
5 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
6 廖立君;基于EGSA的ADL研究及其开发工具的设计[D];中南大学;2004年
7 郗梦奕;面向软件外包的客户关系管理系统的设计与开发[D];天津大学;2010年
8 牟树霞;软件生产线中角色模型的研究[D];华中师范大学;2005年
9 杜彦斌;面向服务软件体系架构原理与范例研究[D];首都经济贸易大学;2005年
10 冯行宇;组件对象模型及设计模式在SDK开发中的应用[D];电子科技大学;2005年
中国重要报纸全文数据库 前3条
1 刘江宁;实现信息孤岛集成[N];中国计算机报;2003年
2 彭辉;设计新一代综合业务管理系统[N];通信产业报;2004年
3 清华大学 谢晓芹 王克宏;两个基本共识[N];计算机世界;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978