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

基于Object-Z的UML类图形式化及Python代码生成研究

袁鼎  
【摘要】:Unified Modeling Language(UML,统一建模语言)是一种基于面向对象建模方法组合的建模语言。它以支持面向对象、可视化建模和强大的表达能力等优点已经成为人们构建大型超大型系统模型的首选语言。大多数UML规范都是描述性的,易于理解,但它们不是形式化的描述语言,它们的语法结构使用形式化规约,却缺乏精确的语义,经常产生模糊或者歧义,无法保证软件的正确性和可靠性。因此,为了增强该语言的准确性、一致性和可扩展性,保证系统的正确性并且降低软件开发的成本和后期的运行和维护风险,我们特别需要对UML进行形式化研究。本文首先讨论了一种从UML到Object-Z的映射方法。Object-Z作为一种形式化语言,引入了类的概念,能够较好地为UML元模型层上的各类图形中的语法和静态语义进行形式化描述。本文使用Object-Z语言对UML类图的语法和语义进行了形式化映射,并且用实例验证了该映射的可行性和正确性。然后,本文试图寻找一种从Object-Z到可执行代码的映射,将Object-Z形成的“伪代码”变成可被计算机识别和运行的可执行代码。本文发现Python作为现在越来越热门的编程语言,由于其独特的语法特点、优良的代码可移植性,最关键是和Object-Z语言有很多相似性,使得它自然而然成为我们转换Object-Z伪代码的一种极好的语言。在转换过程中,我们使用契约式设计,保证了Object-Z规约和Python代码之间的一致性,从而确保了该映射过程的正确性。通过该工作,我们找到了一种将UML类图形式化为Object-Z规约,最后从Object-Z规约映射为Python可执行代码的方式,这将为提高软件开发特别是复杂大型系统的开发效率提供了一种可行的方法。


知网文化
【相似文献】
中国期刊全文数据库 前18条
1 卞玉露;蒋慧敏;;基于Python的气温数据分析设计与实现[J];信息通信;2019年09期
2 秦振华;牟永敏;张志华;;面向Python的圈复杂度静态分析方法研究[J];计算机仿真;2019年10期
3 汤卫;杨赟;;校企合作背景下的高职大数据专业Python课程教学研究[J];电脑知识与技术;2019年29期
4 张运玉;;基于Python的数据分析的研究[J];电脑知识与技术;2019年30期
5 于雁;;高中信息技术python模拟程序的编写及应用[J];电脑知识与技术;2019年30期
6 李俊华;;基于Python的网络爬虫研究[J];现代信息科技;2019年20期
7 彭芳;齐大鹏;吉廷艳;;基于Python的高速公路大雾预报预警系统建设[J];电脑知识与技术;2019年28期
8 马文秀;李焱;;Python程序设计从知识型课程向能力培养型课程的改革实践[J];电脑知识与技术;2019年28期
9 王崇刚;;基于Python在线翻译爬虫的实现[J];电脑知识与技术;2019年28期
10 王雄;;使用Python的5个理由[J];计算机与网络;2019年21期
11 王美芝;支学超;刘财辉;;基于Python的多线程聚焦网络爬虫设计与实现[J];赣南师范大学学报;2019年06期
12 徐玉芳;苏斌;;Python语言特点及其在机器学习中的应用[J];计算机产品与流通;2019年12期
13 马宁;陈曦;陈正铭;;基于Python的流程自动执行关键技术研究与实现[J];电脑知识与技术;2019年32期
14 方炜;;基于Python的图书采购查重系统的设计与实现[J];图书馆研究与工作;2019年12期
15 关莉莉;;打造“金课”的实践探索——以《利用Python进行数据分析》课程为例[J];中小企业管理与科技(上旬刊);2019年12期
16 张文军;;Python在学院招生数据分析中的应用[J];信息技术与信息化;2019年11期
17 许辉;;基于Python的高炉语音报警系统实现[J];工业控制计算机;2019年12期
18 赵颖珺;金宁敏;;Python的数据结构课程研究[J];东西南北;2019年19期
中国重要会议论文全文数据库 前10条
1 黄佳聪;高俊峰;;基于Python编程语言的空间动态模型集成[A];自然地理学与生态安全学术论文摘要集[C];2012年
2 连高欣;;Python语言在Cimiss中的应用[A];第35届中国气象学会年会 S20 深度信息化:应用支持与智能发展[C];2018年
3 高磊;;基于Python的ArcGIS逐要素浏览工具开发研究[A];华东区海峡两岸交流研讨论文集[C];2019年
4 王亚东;;Python在气象数据可视化中的应用[A];第34届中国气象学会年会 S20 气象数据:深度应用和标准化论文集[C];2017年
5 ;Development of Python-based ArcGIS Tools for Spatially Balanced Forest Sampling Design[A];Information Technology and Computer Science—Proceedings of 2012 National Conference on Information Technology and Computer Science[C];2012年
6 陈琳;任芳;;基于Python的新浪微博数据爬虫程序设计[A];第33届中国气象学会年会 S13 “互联网+”与气象服务——第六届气象服务发展论坛[C];2016年
7 高绵新;;基于Python的ArcGIS脚本工具在DEM精细化生产中的应用[A];全国测绘科技信息网中南分网第三十次学术信息交流会论文集[C];2016年
8 王兰成;;基于Python设计的索引智能标引与检索研究——以《张琪玉索引学文集》和《中国索引(第一辑)》为例[A];2019年中国索引学会年会暨学术研讨会论文集[C];2019年
9 陈路;;基于Python的基础性地理国情监测数据处理[A];华东区海峡两岸交流研讨论文集[C];2019年
10 于文丽;;基于Python的空间自相关模式研究[A];中国地理学会百年庆典学术论文摘要集[C];2009年
中国博士学位论文全文数据库 前2条
1 徐兆桂;Python程序缺陷的自动检测与定位技术[D];南京大学;2017年
2 张幂;基于动态语言的系统描述、验证和综合[D];复旦大学;2009年
中国硕士学位论文全文数据库 前10条
1 王洁;基于Python的中越双语可比语料构建[D];云南大学;2018年
2 刘佩瑶;Python脚本的脆弱性检测研究与实现[D];北京交通大学;2019年
3 钟娟娟;基于Python的纸张参数在线监测系统设计[D];长安大学;2019年
4 袁鼎;基于Object-Z的UML类图形式化及Python代码生成研究[D];南华大学;2019年
5 姚缙然;基于Python的粮食产量组合预测模型研究及应用[D];武汉轻工大学;2019年
6 王文韬;基于Python的城市PM_(2.5)数据分析与绿色经济效率研究[D];中国石油大学(华东);2017年
7 许晓飞;基于Python的宽带车联网路由层和MAC层的设计与实现[D];厦门大学;2017年
8 马洪跃;面向类型推导的Python类型标注分析[D];南京大学;2019年
9 杨帆;初中学段编程校本课程开发与评价研究[D];上海师范大学;2019年
10 钱宇;基于Python的自动化图片特征存取系统的设计与实现[D];北京邮电大学;2019年
中国重要报纸全文数据库 前10条
1 ;你使用的Python对象占用了多少内存?(上)[N];电脑报;2019年
2 ·特约作者 邹肇辉;BT编程的王者[N];电脑报;2005年
3 张俊红 《对比Excel,轻松学习Python数据分析》作者;为什么要写《对比Excel,轻松学习Python数据分析》[N];新华书目报;2019年
4 西南科技大学城市学院 刘光乾;在Windows上使用Python进行开发(一)[N];电子报;2019年
5 西南科技大学城市学院 刘光乾;在Windows上使用Python进行开发(二)[N];电子报;2019年
6 ;如何利用Python为自然语言处理加速[N];电脑报;2019年
7 高寿福;无所不能的灵蛇——Python[N];中华读书报;2001年
8 本报记者 王延斌;小学教育应有Python一席之地[N];科技日报;2018年
9 易水;IT新词集锦(403)[N];计算机世界;2004年
10 Christina Mercer 编译 杨勇;2018年的主要IT技术:最需要、增长最快的IT技术[N];计算机世界;2018年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978