UML模型与形式模型双向转换的研究_毕业论文范文网-论文范文

搜索高级搜索

原创毕业论文

UML模型与形式模型双向转换的研究

作者: 浏览:4次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：UML模型与形式模型双向转换的研究，论文范文关键词：UML模型与形式模型双向转换的研究
UML模型与形式模型双向转换的研究毕业论文范文介绍开始：
【论文摘要】：UML提供了图形概念来表示面向对象软件系统的设计。在软件设计领域,它已经成为了事实上的工业标准。然而UML缺乏精确语义且是一种半形式化语言。形式化规格语言试图为软件开发提供一种精确的、完备规格说明方法。许多研究者做了许多研究工作来把UML模型转换到形式模型以分析和验证UML模型。但是由于很难证明形式描（本文此处忽略..）述和非形式描述之间的等价性,因此需要在两个领域之间进行不断的来回往复。因此需要形式模型逆向转换回到UML模型。Z语言易于描述软件系统的静态结构,因此本文首先利用UMLTranZ的方法实现了UML模型到形式模型的转换。UMLTranZ方法能够将UML概念类图转换到Z模型。Z模型的主要架构是Schema,（此处忽略..）它能够形式的描述UML概念类图的语义。利用现存的形式模型分析工具可以对Z模型进行分析推理和证明。XMI(XMLMetamodelInterchange)是由OMG提供的模型交换数据格式。利用XMI提供的传送模型不同部分的机制,我们提出了一种形式模型逆向转换UML模型的转换方法。这种逆向转换方法是一种间接的（文章此处忽略..）逆向转换方法,它能够在最大程度上减少UML模型转换到形式模型过程中所产生的弱化影响。将这种逆向转换方法与现有正向的转换方法向结合就能成功的实现UML模型和形式模型之间的双向转换。我们还利用了UTP理论形式的证明了逆向转转换方法的正确性和可行性。对应于通过UMLTranZ所得到的Z模型,我们基于一阶逻辑（文章此处忽略..）谓词和集合论定义了Z模型到UML概念类图的逆向转换具体映射规则。利用所定义的映射规则,可以间接的实现Z模型到UML概念类图的逆向转换。将这种逆向转换技术和UMLTranZ结合在一起,我们就能实现UML和Z之间的双向转换。最后我们设计了一个模型双向转换工具,并利用Java语言开发了一个原型。

以上为本篇毕业论文范文UML模型与形式模型双向转换的研究的介绍部分。

本论文在计算机论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：基于约束满足问题的配置解释算法..

下一篇：基于Web的地形三维可视化技术研究..