收藏本站
《小型微型计算机系统》 2003年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

UML与SDL结合使用的研究

魏定国  吴时霖  黄秋波  
【摘要】:在本文中我们探索如何将统一建模语言 (U ML)与由国际电信联盟 (ITU)标准化了的规格与描述语言 (SDL)结合在一起使用 .在研究中 ,我们发现 SDL用户可以从 UML中获得益处 ,同样 U ML用户也可以利用 SDL的优点 .特别是对于实时系统的开发 ,我们应当用 UML 进行系统的需求分析 ,使用 SDL 进行系统设计
【作者单位】复旦大学计算机系 广东商学院 复旦大学计算机系
【分类号】:TP301

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前2条
1 仲达帆;TETRA数字集群系统上MAC层上行信道的研究与开发[D];北京交通大学;2008年
2 辛敏;TETRA数字集群系统移动性管理协议层的研究与开发[D];北京交通大学;2008年
【共引文献】
中国硕士学位论文全文数据库 前1条
1 石海波;企业工作流管理系统研究[D];吉林大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 罗军舟,顾冠群;协议描述和验证的基本方法[J];东南大学学报;1996年05期
2 尚利宏,熊运鸿;一种基于UML的嵌入式实时应用软件开发环境[J];电子质量;2001年09期
3 杨军;葛海通;郑飞君;严晓浪;;一种形式化验证方法:模型检验[J];浙江大学学报(理学版);2006年04期
4 王海峰,吕永波,张仲义;一种系统安全性的形式化验证方法[J];计算机工程与应用;2003年04期
5 潘红艳,于全;用于通信网络协议开发的形式化方法[J];计算机工程;2004年02期
6 文静华;余滨;张梅;李祥;;基于SMV的网络协议形式化分析与验证[J];计算机工程;2006年15期
7 刘锋,李舟军,李梦君,宋震,张艳;基于SMV的安全协议模型检验[J];计算机工程与科学;2004年02期
8 张秀虹,王永秀,刘桂香,石云霞;数据链路层协议流量和差错控制的分析[J];青岛建筑工程学院学报;2003年02期
9 张玉清,王磊,肖国镇,吴建平;Needham-Schroeder公钥协议的模型检测分析[J];软件学报;2000年10期
10 纪国英;TETRA数字集群技术在深圳地铁中的应用[J];铁道通信信号;2005年11期
中国硕士学位论文全文数据库 前4条
1 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
2 李文全;基于符号模型检验的电子商务协议原子性的研究与实现[D];东北大学;2005年
3 张新梅;基于符号模型检测方法的应对规划系统[D];东北师范大学;2006年
4 黄瑛;SET协议支付过程分析及模型检测[D];贵州大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 张勇;夏树发;钟昌乐;;基于UML的网络课程CMS系统设计与实现[J];信息技术;2011年06期
2 陈雪梅;;基于工作流技术的实验室管理系统开发[J];科技信息;2011年21期
3 刘若冰;;基于UML的助学贷款管理系统的设计[J];经营管理者;2011年12期
4 文敏;;基于UML的图书馆应用系统的设计[J];福建电脑;2011年06期
5 魏红娟;;基于UML的“用况驱动”在软件开发过程中的作用分析[J];新乡学院学报(自然科学版);2011年03期
6 闻立民;;一种基于统一建模语言的系统测试方法[J];科技传播;2011年15期
7 杜博;;高校实验室管理系统的设计与实现[J];电子设计工程;2011年15期
8 秦乐阳;;基于UML的网络课堂教学系统设计[J];软件;2011年05期
9 孙平安;谭秋月;;基于C/S模式考试系统的设计与实现[J];长江大学学报(自然科学版);2011年06期
10 张仪哲;;航空维修管理信息系统[J];大众科技;2011年06期
中国重要会议论文全文数据库 前10条
1 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
2 宗建建;王峰;施寅生;;UML测试剖面技术研究与进展[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 吴琛;杨涛;林春梅;;UML建模分析及其在Ego365.com上的应用开发[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
4 唐剑文;;基于UML嵌套活动图的回归测试用例选择[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
5 彭颖;沈怀荣;;基于UML的防空作战态势可视化系统设计[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
6 晶晶;;UML在档案管理信息系统建设中的研究[A];档案事业科学发展:新环境 新理念 新技术——2008年档案工作者年会论文集(上册)[C];2008年
7 李霁坤;张群;;UML在物资管理系统开发中的应用[A];全国冶金自动化信息网年会论文集[C];2004年
8 任庆荣;陈庆;张利华;;UML在过程管理系统设计中的应用[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
9 黄芳;苏中滨;郑萍;;基于UML的中小企业客户关系管理系统的设计[A];黑龙江省计算机学会2009年学术交流年会论文集[C];2010年
10 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
中国重要报纸全文数据库 前4条
1 本报记者 张华甲;力破产业瓶颈 中软协培育UML建模人才[N];中国工业报;2010年
2 本报记者 邱江勇;与业界紧密合作建立可信的互联网[N];中国电子报;2009年
3 本报记者 那罡;微软为软件开发流程植入安全基因[N];中国计算机报;2009年
4 本报记者 应茜羽;狙击第三方软件漏洞[N];中国计算机报;2009年
中国博士学位论文全文数据库 前10条
1 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
2 杨静;UML模型的语义模型[D];贵州大学;2006年
3 朱家诚;基于Web Services的客户定制产品设计系统研究[D];合肥工业大学;2005年
4 江金龙;UML和Petri网建模方法及其在C~4ISR系统中的应用[D];南京理工大学;2007年
5 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
6 伍江华;C4ISR体系结构建模与设计技术研究[D];哈尔滨工程大学;2008年
7 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
8 单黎君;图形化模型的一致性检查[D];国防科学技术大学;2008年
9 郭成昊;计算系统的自适应体系结构研究[D];南京理工大学;2007年
10 唐维俊;网络化制造环境下ERP系统的过程集成与重构技术研究[D];东南大学;2005年
中国硕士学位论文全文数据库 前10条
1 王鹏;基于.net的网络评审系统的设计与实现[D];山东大学;2005年
2 杨正益;基于建模工具的通用类生成器的研究[D];重庆大学;2005年
3 冯海东;2D游戏图形引擎开发及UML建模实现[D];四川大学;2005年
4 谢子松;基于J2EE的工作流引擎的研究与实现[D];南昌大学;2005年
5 王文君;整合性物流派车系统的设计与实现[D];山东大学;2005年
6 翁楠;RUP在信息系统开发中的应用研究[D];大连海事大学;2006年
7 汪伟;基于J2EE的建筑合同管理信息系统的设计与实现[D];中国地质大学(北京);2006年
8 张群;基于组件的企业信息管理系统研究[D];合肥工业大学;2006年
9 成广普;基于UML建模和Web Services发布的软件复用系统研究[D];昆明理工大学;2006年
10 刘瑞婷;基于UML和软件复用的医院信息系统的研究及实现[D];武汉理工大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026