检索结果-内蒙古大学图书馆

作者：刘震伟江西师范大学

学位级别：硕士

软件工程一直面临的巨大挑战是如何提高软件开发的效率和软件的质量。模型驱动软件开发(Model Driven Development,MDD),是改变软件生产效率低、质量差、维护难等问题的最有效方法,是软件开发技术的革命性变革。当前实现MDD的途径主要... 详细信息

软件工程一直面临的巨大挑战是如何提高软件开发的效率和软件的质量。模型驱动软件开发(Model Driven Development,MDD),是改变软件生产效率低、质量差、维护难等问题的最有效方法,是软件开发技术的革命性变革。当前实现MDD的途径主要分为两种:基于UML的MDD和基于形式化方法的MDD。尽管基于UML的MDD已经得到广泛使用,但却存在语法和语义不够严格等问题,难以保证软件的质量,因此备受学术界的批评。便捷模型驱动软件开发方法,是本文指导教师薛锦云教授提出的一种基于形式化的MDD开发方法,该方法具有严格的数学理论基础,同时提出了诸多创新性概念与技术,使得建模语言、模型表示、模型变换和模型的正确性验证,均建立在严谨的理论基础上。应用该方法开发的软件具有可靠性高和可维护性好等优点,并已经应用在航空军用等领域的安全性攸关(Safety-Critical)软件中。尽管如此,理解掌握该软件开发方法的人仍较少,其主要原因是该方法理论知识较复杂,缺少相应的辅助教学系统,学生自学难度大,限制了该方法的推广。因此,急需研制针对该方法学习特点的在线教学系统。本文对便捷模型驱动软件开发方法进行了深入的研究,针对该方法的学习特点,设计实现了相应的在线教学系统。该系统的功能包括跨媒体课程教学、在线建模、在线程序编译运行等,这些功能能够帮助学生在学习的过程中理论与实践相结合,循序渐进地理解掌握便捷模型驱动软件开发方法。本文的主要创新包括以下几个方面:1、本教学系统在课程制作上充分应用了新型泛型思想,将文字、图片、音频、视频等各种形式的课程内容高度抽象成为统一的对象,使得将各种课程内容的添加转换成统一的对象的添加,极大地简化了课程的制作过程,有利于快速制作课程。2、本教学系统不仅使用了跨媒体服务组合技术,使得课程内容的表现形式更加丰富,有利于将课程内容讲解得生动活泼,更是提供了在线建立模型、模型转换、程序运行等功能,使得用户在线学习理论课程的同时还可以直接进行动手实践,十分有利于提高用户的学习效率。这些功能在MOOC等在线教学系统中都不支持。

关键词：模型驱动软件开发软件可靠性形式化方法在线教学系统

来源：评论

学校读者我要写书评

暂无评论

支持模型驱动式软件开发的建模语言框架研究

引用

南京大学学报（自然科学版） 2010年第4期46卷 464-475页

作者：李晋战德臣聂兰顺徐晓飞哈尔滨工业大学计算机科学与技术学院哈尔滨150001 哈尔滨工程大学计算机科学与技术学院哈尔滨150001

随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支... 详细信息

随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性.

关键词：模型驱动软件开发元对象机制建模语言网络本体语言

来源：评论

学校读者我要写书评

暂无评论

面向航天领域的模型驱动软件设计开发方法

引用

航天控制 2017年第5期35卷 74-79,97页

作者：张涛秦凯王楠王海鹏梁运畅王智飞西北工业大学软件与微电子学院西安710072 北京神舟航天软件技术有限公司北京100094

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自... 详细信息

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。

关键词：模型驱动软件开发软件代码生成软件安全性分析软件可调度性分析

来源：评论

学校读者我要写书评

暂无评论

业务过程软件的模型驱动开发技术研究

业务过程软件的模型驱动开发技术研究

引用

作者：邓建电子科技大学

学位级别：博士

复杂多变的业务需求已经使软件开发面临巨大困难，当对象管理组织提出用模型驱动体系结构（Model-Driven Architecture，MDA）来解决这一难题后，模型驱动的软件开发就成了软件工程领域的研究热点。模型驱动开发涉及的关键技术有计算独... 详细信息

复杂多变的业务需求已经使软件开发面临巨大困难，当对象管理组织提出用模型驱动体系结构（Model-Driven Architecture，MDA）来解决这一难题后，模型驱动的软件开发就成了软件工程领域的研究热点。模型驱动开发涉及的关键技术有计算独立模型（Computation Independent Model，CIM）、平台无关模型（PlatformIndependent Model，PIM）、平台特定模型（Platform Specific Model，PSM）以及模型到模型的自动转换等。在业务过程建模领域，计算独立模型可以采用标准业务过程建模符号（Business Process Modeling Notation，BPMN）来设计，并以过程定义可扩展标记语言（XML Process Definition Language，XPDL）的格式保存，以便不同的网络应用环境都可以使用共同的文件格式。平台特定模型可以使用工作流基础（WorkflowFoundation，WF）4来设计。本文深入细致地研究了相关的模型检查和转换方法，取得的创新和成果主要有： 1．为解决业务过程模型的形式化检查的问题，将采用标准业务过程建模符号的业务过程模型转换为Petri网，构造出一种可建模企业间复杂业务协同的业务过程流网（Business Process Flow net，BPF-net），并开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明，业务过程流网能将符合XPDL规范的业务模型完整地转换为Petri网，得到的Petri网易于化简和分析。 2．为了能将XPDL模型直接转换为WF4中的流程图，本文研究了业务过程模型结构的检查方法。对典型的结构不良情形提出了相应的修改建议，当业务过程模型不是结构良好时可以采用这些建议进行修改。实验表明，这些修改建议有助于提高业务过程模型的质量。 3．设计了将业务过程模型中的时钟事件转换到WF4活动的方法。实验表明，转换所得的流程图模型实现了时钟事件的功能。 4．提出了XPDL模型中基于数据的网关转换到WF4中的方法。实验结果表明，XPDL模型中的基于数据的网关，包括异或网关、结构良好的并行网关、或网关和复杂网关可以在WF4中实现。 5．为支持带补偿功能的业务过程软件的快速开发，设计了自动的模型转换方法。在.Net平台上开发实现了模型转换和测试工具。实验表明，本方法满足了业务补偿的功能需求，提高了开发速度。

关键词：模型驱动软件开发业务过程模型工作流基础流程图模型检查

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统全系统模拟器框架设计与实现

嵌入式系统全系统模拟器框架设计与实现

引用

作者：柯化成浙江大学

学位级别：硕士

随着消费电子产业的蓬勃发展,嵌入式系统领域的研究和开发工作也日益活跃。而全系统模拟器作为嵌入式系统领域十分重要的开发工具,也随之得到学术界和工业界的普遍重视。在该文中,描述了围绕嵌入式系统领域全系统模拟器软件框架设计的... 详细信息

随着消费电子产业的蓬勃发展,嵌入式系统领域的研究和开发工作也日益活跃。而全系统模拟器作为嵌入式系统领域十分重要的开发工具,也随之得到学术界和工业界的普遍重视。在该文中,描述了围绕嵌入式系统领域全系统模拟器软件框架设计的一系列研究工作,研究内容首先涉及一种基于构件的全系统模拟器软件框架的设计和实现,这部分工作涵盖(ⅰ)全系统模拟器软件架构设计;(ⅱ)针对全系统模拟器定制的构件模型和接口规范的设计;其次,针对传统全系统模拟器开发模型存在的问题,该文引入基于领域特定语言的模型驱动技术,和软件工程领域的新范型——产生式编程,来改进传统的开发机制。这些技术的应用,提高了全系统模拟器的开发效率并增强了可维护性,使开发过程从传统的“一种一次(One-of-a-kind)”模型向“系统族(System Family)”模型演变。上述研究工作在浙江大学嵌入式系统研发中心开发的SmartSIM模拟器(开发代号Wukong)中得以实现,该模拟器能模拟ARM、MIPS、MCS8051等主流嵌入式系统体系结构,以及与之配套的外部设备,从而实现对目标系统的全系统模拟;同时亦提供了内建的调试能力,以及GDB远程调试协议的代理模块;从而为嵌入式系统开发者提供虚拟的软件运行—调试—验证平台。

关键词：全系统模拟器基于构件的软件设计模型驱动软件开发产生式编程

来源：评论

学校读者我要写书评

暂无评论

面向嵌入式系统中量子框架的状态机代码生成技术的研究与实现

面向嵌入式系统中量子框架的状态机代码生成技术的研究与实现

引用

作者：赵刚西安电子科技大学

学位级别：硕士

随着软件技术的不断发展和革新，模型驱动软件开发(Model Driven SoftwareDevelopment, MDSD)的方法以模型和代码生成为核心驱动整个软件开发的过程，先天就具备高效和可靠等优势，是目前软件工程领域内重要的研究方向。同时，嵌入式应... 详细信息

随着软件技术的不断发展和革新，模型驱动软件开发(Model Driven SoftwareDevelopment, MDSD)的方法以模型和代码生成为核心驱动整个软件开发的过程，先天就具备高效和可靠等优势，是目前软件工程领域内重要的研究方向。同时，嵌入式应用发展迅速，需求越来越复杂，嵌入式软件开发需要更加可靠和有效的开发方法和建模技术。本文以模型驱动软件开发为基础，以应用于嵌入式软件开发领域的优秀的事件驱动的量子框架作为代码生成的目标平台，以类图和展现系统动态特性的UML状态机图为建模语言，主要关注于如何将代码生成和状态机应用到面向嵌入式系统及量子框架的软件开发中。本文在详细分析了量子框架，以及基于量子框架的应用软件的代码结构的基础上，使用代码生成技术，设计并实现了由展现系统业务逻辑的动态和静态模型到面向量子框架的应用程序代码的映射规则。最后对本文中所有的映射规则进行了全面测试，测试结果符合预期目标。

关键词：模型驱动软件开发状态机代码生成量子框架事件驱动

来源：评论

学校读者我要写书评

暂无评论

一种支持MDD的ICES-Modeling建模语言和建模工具

引用

智能计算机与应用 2014年第4期4卷 25-27,31页

作者：李晋战德臣聂兰顺哈尔滨工业大学计算机科学与技术学院哈尔滨150001

随着模型驱动体系结构的理论和技术的不断发展,模型已成为软件开发的核心元素。因此,支持模型驱动体系结构的建模语言和建模工具成为研究热点。本文提出一种支持模型驱动的软件开发的ICES-Modeling建模语言,该语言融合了现有的建模方法... 详细信息

随着模型驱动体系结构的理论和技术的不断发展,模型已成为软件开发的核心元素。因此,支持模型驱动体系结构的建模语言和建模工具成为研究热点。本文提出一种支持模型驱动的软件开发的ICES-Modeling建模语言,该语言融合了现有的建模方法的一些思想,可以有效地描述领域内的概念,概念与概念之间的关系。还针对该建模语言,设计并开发了建模工具,该建模工具具有支持建模语言的定义,方便模型的理解,支持多角度建模等特点。

关键词：模型驱动体系结构模型驱动软件开发 ICES-Modeling建模语言建模工具

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：