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

一种基于时序逻辑的UML 2.0形式化语义

黄正宝  张广泉  
【摘要】:正1 引言 UML作为一种可视化的建模语言,可以从不同视角描述系统的不同侧面。由于复杂系统的建模往往需要进行严格的形式化分析和验证,而UML 却缺乏精确的形式化语义,限制了它的有效性,因而目前有很多研究UML形式化语义的工作。可执行

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郭江涛;芦范;;UML的用例模型在需求建模中的作用[J];黑龙江科技信息;2011年15期
2 吴海;孙永雄;付庆兴;徐佳琪;;UML图转有色Petri网图文法[J];吉林大学学报(信息科学版);2011年04期
3 李景林;魏筑军;王昌江;;扩展UML的多Agent系统建模方法[J];广西轻工业;2011年08期
4 付宇;徐涛;丁建立;王红;;复杂分布式系统的面向智能agent建模[J];北京工业大学学报;2011年06期
5 陆爱东;;职业院校网络考试系统UML建模[J];科技经济市场;2011年07期
6 郑华利;郭忠伟;张少兵;;基于UML的炮兵指挥信息系统体系结构设计[J];计算机技术与发展;2011年08期
7 王小平;;基于UML的煤炭销售系统的设计与实现[J];榆林学院学报;2011年04期
8 缪淮扣;陈圣波;曾红卫;;基于模型的Web应用测试[J];计算机学报;2011年06期
9 张炜钟;王智学;朱卫星;陈剑;;SysML对C~4ISR系统建模的支持研究[J];南京理工大学学报;2011年03期
10 郑浩;鲍义东;刘建芳;;基于UML的物业服务系统的分析与设计[J];计算机与数字工程;2011年07期
11 李林辉;刘东;杨冬亮;孙希意;;基于Web计算框架的调度日报系统[J];电力系统自动化;2011年15期
12 岳文闻;肖新元;;基于UML的开放式实验实训中心预约系统的分析与设计[J];计算机与现代化;2011年07期
13 范明芳;张大磊;薛方芳;;基于UML的大学生综合素质测评系统的研究与应用[J];中国新技术新产品;2010年20期
14 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
15 潘远翠;;自动导轨除锈磨光机的PLC控制系统[J];科技创新导报;2011年20期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 田平;李晓峰;李立应;;UML在在线科技期刊系统中的应用[A];中国系统工程学会决策科学专业委员会第六届学术年会论文集[C];2005年
4 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
5 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 李霁坤;张群;;UML在物资管理系统开发中的应用[A];冶金自动化信息网年会论文集[C];2004年
7 杜高明;张多利;高明伦;耿罗锋;候宁;;多核并行图像显示接口设计[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
8 林鹃;任胜兵;蒋平;Mahammed Jalloh;;用例驱动的角色访问控制安全授权设计与研究[A];第二十六届中国控制会议论文集[C];2007年
9 张益兵;甘仞初;;应用UML的WEB信息系统的页面建模研究[A];2001年中国管理科学学术会议论文集[C];2001年
10 吴彪;朱立新;赵佳;;基于CPLD的可编程并行接口芯片8255设计与仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
中国博士学位论文全文数据库 前10条
1 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
2 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
3 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 万良;基于行为时序逻辑TLA的系统、规则与协议检测的研究[D];贵州大学;2009年
6 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
7 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
8 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年
9 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
10 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
中国硕士学位论文全文数据库 前10条
1 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
2 陈卉;UML顺序图和状态图的形式化方法研究[D];南京师范大学;2008年
3 杨林;基于UML的实时系统建模及顺序图时间约束研究[D];湖南大学;2007年
4 陈磊;用例图到顺序图转换的研究[D];西安电子科技大学;2009年
5 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年
6 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
7 阮彦锐;UML顺序图的形式化描述方法研究[D];兰州理工大学;2011年
8 童格明;UML顺序图的形式化[D];兰州理工大学;2011年
9 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
10 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
中国重要报纸全文数据库 前6条
1 北京大学信息科学与技术学院 马浩海 邵维忠 麻志毅;UML 2.0修成正果[N];计算机世界;2003年
2 赵广复;3招助你去下载[N];中国电脑教育报;2002年
3 北京大学计算机科学技术系 邵维忠 麻志毅 蒋严冰;定义UML核心[N];计算机世界;2001年
4 马越;Rhapsody引领嵌入式开发的“四化”建设[N];计算机世界;2002年
5 赵广复;从网上下载文件的三个技巧[N];江苏经济报;2003年
6 本报记者 杨贵兰;乌当区率先推出拆迁新模式[N];贵阳日报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978