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

UML顺序图和状态图的形式化方法研究

陈卉  
【摘要】: 统一建模语言(Unified Modeling Language,UML)是一种描述能力强大且含义直观的可视化建模语言,它提供多种视图从不同角度和应用层次刻画系统特性以及复杂的运行环境。UML语法结构虽然采用了形式化的规约,但其语义部分则是用自然语言来描述。容易产生模糊或歧义。因此,对UML进行形式化语义研究,可以增进该语言的准确性、一致性和可扩展性。 UML2.0版本的顺序图经常用于描述并发系统的设计需求,反映对象之间的动态交互关系,着重体现对象之间消息传递的时间顺序,因此,用一个恰当的时序逻辑描述语言来给出它的语义是可行的。XYZ/E是一种可执行的线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,对顺序图进行形式化规约后,可在统一的时序逻辑框架下分析顺序图的性质。论文给出了一个改进的顺序图语法定义,同时对现有的基于XYZ/E时序逻辑语言的UML顺序图语义进行了深入研究,针对存在的问题,根据给出的语法定义,提出了新的解决方案,更加精确地描述了顺序图的语义。 UML支持用户从不同的角度对系统建模,不同视图间存在着信息的冗余,如顺序图和状态图在描述动态行为上存在着重叠,因此可能导致视图间不一致的产生。首先,论文介绍了形式化模型检验方法的原理和特点,阐述了模型检验工具SPIN的原理和语法。其次,针对顺序图逻辑语义多样性的特点,提出了一种分析方法,同时给出了新的语义定义。再次,提出一个更全面的状态图语法定义,并针对状态图的复杂层次结构特性,引入有限状态自动机,提出自动机分解算法FSADA,经分解后得到自动机树。最后,提出新的顺序图和状态图的一致性检验准则、Promela代码结构,以及将状态图转换成Promela代码的ATTP算法,并用模型检验工具SPIN实现了两者之间的一致性检验。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈雪梅;;基于工作流技术的实验室管理系统开发[J];科技信息;2011年21期
2 刘若冰;;基于UML的助学贷款管理系统的设计[J];经营管理者;2011年12期
3 文敏;;基于UML的图书馆应用系统的设计[J];福建电脑;2011年06期
4 陈振庆;罗兰花;;基于动态描述逻辑的UML状态图形式化方法[J];计算机工程;2011年13期
5 魏红娟;;基于UML的“用况驱动”在软件开发过程中的作用分析[J];新乡学院学报(自然科学版);2011年03期
6 闻立民;;一种基于统一建模语言的系统测试方法[J];科技传播;2011年15期
7 杜博;;高校实验室管理系统的设计与实现[J];电子设计工程;2011年15期
8 陈志刚;许锦洲;韦晓萍;;基于UML的舰艇编队防空作战视图描述[J];舰船电子工程;2011年08期
9 秦乐阳;;基于UML的网络课堂教学系统设计[J];软件;2011年05期
10 孙平安;谭秋月;;基于C/S模式考试系统的设计与实现[J];长江大学学报(自然科学版);2011年06期
11 张仪哲;;航空维修管理信息系统[J];大众科技;2011年06期
12 郭江涛;芦范;;UML的用例模型在需求建模中的作用[J];黑龙江科技信息;2011年15期
13 纪兆辉;汪前进;董剑利;;基于UML的软件建模概述[J];科教文汇(上旬刊);2011年08期
14 郑华利;郭忠伟;张少兵;;基于UML的炮兵指挥信息系统体系结构设计[J];计算机技术与发展;2011年08期
15 李玲选;;基于UML建模的选课系统设计与实现[J];微型机与应用;2011年13期
16 张赛男;乔正洪;雷小宇;王梅娟;;基于模型驱动的安全访问控制的研究[J];微电子学与计算机;2011年08期
17 王玲;何晓田;;基于UML的物流系统的分析与设计[J];电脑知识与技术;2011年22期
18 翟怀宇;;基于UML的作战系统概念模型六元抽象描述[J];计算机与数字工程;2011年08期
19 张莉;;数据库技术在教务管理系统中应用研究[J];装备制造技术;2011年07期
20 黄涛;;UML在油压减震器计算机测试系统中的应用[J];铁路计算机应用;2011年06期
中国重要会议论文全文数据库 前10条
1 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
2 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
3 宗建建;王峰;施寅生;;UML测试剖面技术研究与进展[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
4 吴琛;杨涛;林春梅;;UML建模分析及其在Ego365.com上的应用开发[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
5 范璐敏;;基于UML的医疗设备管理建模[A];中华医学会医学工程学分会第五届青年委员会第二次年会暨《中国医疗设备》杂志社年会论文集[C];2011年
6 唐剑文;;基于UML嵌套活动图的回归测试用例选择[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
7 陶妍丹;罗永健;钟华;;基于信息融合技术在无线传感器网络中应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
8 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
9 彭颖;沈怀荣;;基于UML的防空作战态势可视化系统设计[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
10 晶晶;;UML在档案管理信息系统建设中的研究[A];档案事业科学发展:新环境 新理念 新技术——2008年档案工作者年会论文集(上册)[C];2008年
中国博士学位论文全文数据库 前10条
1 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
2 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
3 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
4 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
5 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
6 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
7 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
8 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
9 杨静;UML模型的语义模型[D];贵州大学;2006年
10 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘瑞成;基于UML和形式化方法的面向方面实时系统模型[D];广东工业大学;2006年
2 陈卉;UML顺序图和状态图的形式化方法研究[D];南京师范大学;2008年
3 张志慧;UML类图转换到OWL DL本体的一种形式化方法的研究[D];东北大学;2008年
4 朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
5 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
6 燕昊;UML建模的形式化研究[D];兰州大学;2006年
7 陈枢茜;基于UML和XYZ/ADL的软件体系结构描述及精化研究[D];苏州大学;2007年
8 林苗;基于UML和时间ER网的嵌入式实时软件建模与分析[D];重庆师范大学;2008年
9 谭力;基于情态演算的UML形式化验证与OCL约束自动生成研究[D];华东师范大学;2010年
10 赵晋强;基于UML与Petri网的软件需求建模与验证[D];西安电子科技大学;2009年
中国重要报纸全文数据库 前10条
1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
2 阿航;UML面向对象分析[N];中华读书报;2002年
3 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(一)[N];国际商报;2002年
4 本报记者 张华甲;力破产业瓶颈 中软协培育UML建模人才[N];中国工业报;2010年
5 本报记者 周锦鸾 刘小如;谁支撑着巨人[N];中国计算机报;2001年
6 本报记者 刘学习;软件开发过程能统一吗?[N];计算机世界;2002年
7 华市;为我国计算机软件专业教育添砖加瓦[N];中华读书报;2002年
8 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
9 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
10 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978