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

作者：吉鸣南京航空航天大学

学位级别：硕士

随着实时软件在可靠性和安全性要求的广泛提高,以及实时系统在工业界的广泛应用,对实时软件可靠性的依赖正在以前所未有的速度增长,实时软件的可靠性设计与保障在实时系统中占据着越来越重要的位置,软件可靠性也成为了实时软件的一个重... 详细信息

随着实时软件在可靠性和安全性要求的广泛提高,以及实时系统在工业界的广泛应用,对实时软件可靠性的依赖正在以前所未有的速度增长,实时软件的可靠性设计与保障在实时系统中占据着越来越重要的位置,软件可靠性也成为了实时软件的一个重要指标。而传统的统一建模语言(United Modeling Language, UML)虽然被应用于软件的建模,但是却存在两个缺点。(1)其本身缺乏对于资源、时间等对于系统行为要求比较复杂的元素的相关描述,因而对于实时系统的软件建模存在不足;(2)缺乏精确的形式化语义定义,不能对于软件模型进行形式化验证和分析,因而难以确保软件的可靠性和安全性。针对这两点不足,要通过UML语言的扩展以及软件形式化描述来弥补。嵌入式实时系统建模与分析(Modeling and Analysis of Real Time and Embedded Systems, MARTE)是OMG组织在2009年提出的对于UML的profile,它弥补了UML在软件建模方面对时间、资源等非功能属性的匮乏。而形式化方法如petri网、进程代数、价格时间自动机则是对于软件的形式化描述语言,他们通过形式化的数学符号描述软件系统,使软件更精确,更可靠。模型驱动体系结构(Model Driven Architecture,MDA)是一种以模型为中心的软件开发框架,其本质是建模与模型转换。本文提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL针对MARTE元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MARTE模型到价格时间自动机模型的转换;最后通过形式化工具Uppaal Cora对模型转换结果进行形式化验证。实例分析表明该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。本文先后探讨了: (1)如何通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型。通过UML profile MARTE资源元建模以及与之同构化的价格时间自动机元建模。 (2)如何利用模型转换语言ATL针对MARTE元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MARTE模型到价格时间自动机模型的转换。 (3)如何通过形式化工具Uppaal Cora对模型转换结果进行形式化验证。

关键词：模型驱动体系结构元建模 MARTE 模型转换价格时间自动机

来源：评论

学校读者我要写书评

暂无评论

基于MDA的软件互操作性实现方法研究

基于MDA的软件互操作性实现方法研究

引用

作者：张月强武汉大学

学位级别：硕士

该文研究的MDA(Model Driven Architecture,模型驱动体系结构)是一种基于形式模型的系统规约和互操作性方法,它将系统功能规约与特定技术平台的功能实现规约相分离,以达到\"一次设计,任何平台建造\"的目的,从而实现系统规约... 详细信息

该文研究的MDA(Model Driven Architecture,模型驱动体系结构)是一种基于形式模型的系统规约和互操作性方法,它将系统功能规约与特定技术平台的功能实现规约相分离,以达到\"一次设计,任何平台建造\"的目的,从而实现系统规约的一致性、自适应性、变更一致性、影响最小化等.该文将针对MDA的研究领域、研究内容做进一步的深入探讨,针对目前软件开发中开发模式的不足,结合软件复用思想和MDA方法,提出一种基于MDA面向复用的软件开发模式,从而更好的提高软件质量和生产率;提出一种在MDA开发中PIM到EJB/PSM的映射规则,并通过具体系统的开发实例来探讨MDA理论方法的可行性与优越性,从而说明基于MDA的互操作性实现方法与步骤.

关键词：模型驱动体系结构互操作性映射软件工程

来源：评论

学校读者我要写书评

暂无评论

形式化描述Web Services平台无关模型的研究

形式化描述Web Services平台无关模型的研究

引用

作者：王璞巍武汉大学

学位级别：硕士

随着互联网的普及和延伸,软件系统的开发模式已经从过去的本地系统集成发展到更为复杂的多层分布式系统,由此诞生了Web Services.它采用了消息的、松散耦合的Web技术,集成并提升了网络中众多应用程序的价值.Web Services的应用程序具备... 详细信息

随着互联网的普及和延伸,软件系统的开发模式已经从过去的本地系统集成发展到更为复杂的多层分布式系统,由此诞生了Web Services.它采用了消息的、松散耦合的Web技术,集成并提升了网络中众多应用程序的价值.Web Services的应用程序具备松散耦合,跨技术平台实现的特点,都履行一项特定的任务或一组任务,Web Services可以单独或同其他Web Services一起用于实现复杂的商业交易.Web Services的诞生是软件系统对网络环境的一种适应,是一种新型的基于网络环境的软件系统.Web Services系统需要透明于平台之间的差异性,因而在系统的开发过程需要获取一个独立于平台的公共的模型.当前软件系统规模和复杂性日益膨胀,而人对复杂问题的理解能力有限,通过建模对软件系统进行一定程度的抽象而获取模型,能简化系统开发的难度.在传统的软件过程中,软件开发过程是以概要设计和代码驱动的,系统模型只是在需求分析和设计阶段中产生.当编码开始的时候,前面的系统模型就迅速失去了它们的价值.随着编码阶段的继续进行,模型和代码之间的关联逐渐减弱甚至消失,它们不再是对代码的精确描述.随着时间的推移,系统不断地被修改,模型与代码之间的距离就越来越疏远.由此,对象管理组织(OMG)提出了基于模型的MDA(Model Driven Architecture)技术,强调软件的所有生命周期是以系统建模作为驱动力的,以模型的映射推动系统由抽象的概念逐步细化到具体,直至代码.软件开发阶段获取的模型不再随着开发的进度而不断脱离代码,而是紧密的联系在一起.由模型之间的映射规则推动系统由模型产生代码,反过来也可以由代码的修改而反映在模型之上.作为模型逐步求精的第一步,MDA中的平台无关模型(Platform Independent Model,PIM)抛开了所有与实现技术相关的繁文缛节,专注于系统的结构,行为以及目的,是对系统的最佳诠释,它适合在Web Services开发过程中用以描述Web Services系统的独立于平台的公共模型.然而,什么样的建模语言才能准确地描述互联网环境下的分布式软件系统?在Web Services开发中如何最大限度的发挥PIM的作用?该文试图回答上述问题.该文中,将OMG企业分布式对象计算(EDOC)profile(UML的标准化扩展集)和E-LOTOS描述语言融合在一起.将建模语言映射到系统分析的两个阶段:需求分析和功能设计,在需求分析阶段采用了EDOC profile进行可视化的建模,在功能设计阶段采用了E-LOTOS着力于描述系统的行为,从而最终得到PIM,从而即保证了PIM的易理解性,又使得PIM能在业务功能层上具有可测试性,最大限度的发挥了平台无关模型自身所具有的优点.

关键词： Web Services 模型驱动体系结构平台无关模型 EDOC profile E-LOTOS

来源：评论

学校读者我要写书评

暂无评论

层次化建模中状态图建模技术的研究与实现

层次化建模中状态图建模技术的研究与实现

引用

作者：张涛西安电子科技大学

学位级别：硕士

随着嵌入式技术的高速发展，软件开发的规模也日益扩大，其开发成本也随着软件开发的周期增长而越来越高。为了提高软件开发效率，只有在开发过程中采用创新的方法。为应对新的需求和挑战，业界采取了一系列现代的软件开发技术。其中以... 详细信息

随着嵌入式技术的高速发展，软件开发的规模也日益扩大，其开发成本也随着软件开发的周期增长而越来越高。为了提高软件开发效率，只有在开发过程中采用创新的方法。为应对新的需求和挑战，业界采取了一系列现代的软件开发技术。其中以模型驱动体系结构最引人瞩目，并且当前很多厂商都提供了模型驱动的开发工具，并使其逐渐走向软件领域的主流，为解决复杂，高可靠的系统软件开发提供了良好的解决方案。本文针对多平台多处理器的特点及建模技术，研究并实现了一种适合该平台的建模工具。然后以该建模工具为背景，分析该领域的软件特征，在研究了状态图语义以及代码生成技术后，设计了适合于该平台的状态图模型，进而生成可以直接运行的状态图代码结构。并依照该代码结构，实现了对状态图的多平台仿真以及状态图的文档生成。实践表明，该工具具有良好的实用性以及有效性，并可以应用于大型系统的设计开发之中。

关键词：模型驱动体系结构状态图建模代码生成仿真文档生成

来源：评论

学校读者我要写书评

暂无评论

基于MDA的XMI/XML平台模型转换规则研究

基于MDA的XMI/XML平台模型转换规则研究

引用

作者：杨小梅广西大学

学位级别：硕士

模型驱动体系结构（MDA）是一种软件开发新方法，它以“模型”来驱动软件开发过程中的需求分析、设计、构造、部署、操作、维护及修改。他的主要目标是，提高系统的可移植性、互操作性和可重用性。它的主要方法是：在软件开发的各层次... 详细信息

模型驱动体系结构（MDA）是一种软件开发新方法，它以“模型”来驱动软件开发过程中的需求分析、设计、构造、部署、操作、维护及修改。他的主要目标是，提高系统的可移植性、互操作性和可重用性。它的主要方法是：在软件开发的各层次上建立相应的模型，并实现不同层次模型之间的自动转换。\n 在MDA中，平台无关模型（PIM）到平台相关模型（PSM）的模型转换是关键，设计转换规则是模型转换的难点。目前，PIM到PSM模型转换方法的标准化尚未完成，已有的JMI标准规约映射，可以完成UML到CORBA、J2EE等相关技术平台模型转换。但很少见到UML到XMI/XML技术平台的模型转换，本文分析了现有的PIM到PSM模型转换规则，提出采用XMI标准规约映射，构造UML到XMI/XML相关技术平台的模型转换规则。该规则用UML、UML Profile、MOF一系列标准创建一个通用的平台无关模型PIM，通过XMI标准将UML模型转换为XML Schema，进而完成UML模型元素到XML的映射。设计方案：设置了一个中间转换对象，选用模型到模型转换项目，调用插件依赖属性、配置UML模型到XSD的变换、编写自定义映射规则。整个设计流程都是基于XMI标准规约之上完成的，创建模型、模型导出生成XMI文档、*．XMI文档导入到中间转换项目、在XMI/XML技术平台支持下选用配置变换，实现模型转换输出XML Schema、通过XML编辑器生成XML文档。本文最后应用该规则开发了一个“城市规划管理”系统，此系统验证了模型转换规则的可实施性。

关键词：软件开发模型驱动体系结构统一建模语言 XML元数据交换转换规则

来源：评论

学校读者我要写书评

暂无评论

一个模型转换开发工具的设计与实现

一个模型转换开发工具的设计与实现

引用

作者：冯超北京大学

学位级别：硕士

OMG大力倡导的模型驱动体系结构(Model Driven Architecture，MDA)是一种对软件需求建立抽象模型，再由抽象模型自动生成完备的应用程序的方法。模型转换是实现DMA的核心技术。通过模型转换技术，可以在很大程度上减少软件开发人员繁杂... 详细信息

OMG大力倡导的模型驱动体系结构(Model Driven Architecture，MDA)是一种对软件需求建立抽象模型，再由抽象模型自动生成完备的应用程序的方法。模型转换是实现DMA的核心技术。通过模型转换技术，可以在很大程度上减少软件开发人员繁杂重复的工作，提高软件开发的效率与质量。\n 模型转换离不开模型转换工具的支持。本文对目前已有的一些转换工具进行了分析，发现还存在一些尚待解决的问题，主要有以下几个方面：现有的模型转换工具主要集中于模型转换开发的实现阶段，缺乏对模型转换开发生命周期其他阶段的支持，使模型转换的质量难于保证；转换开发与转换实现语言耦合紧密，造成模型转换在平台间迁移困难；现有工具对复杂模型转换开发的支持不足。\n 本文阐述了一个旨在解决上述问题的模型转换开发工具的研制。其中，给出了模型转换建模工具的体系结构并阐述了主要部分的详细设计方案与实现。该工具对模型转换开发生命周期中的需求捕获、设计、测试和部署等各个阶段提供支持，帮助开发人员逐步精化的所开发的模型转换。工具在模型转换开发的设计阶段通过抽象的规则模型描述转换规则，在实现阶段根据规则模型生成不同转换实现语言的转换代码，来降低模型转换开发与转换实现语言的耦合。此外，该工具提供了组合模型转换来帮助开发复杂的模型转换。

关键词：模型转换模型驱动体系结构软件开发

来源：评论

学校读者我要写书评

暂无评论

MDA中的模型转换及支撑工具的研究

MDA中的模型转换及支撑工具的研究

引用

作者：陈晓燕南京大学

学位级别：硕士

计算机网络已经成为很多应用软件的基础计算平台，开放化、互联化、标准化、组件化已经成为应用软件的根本要求，网络的异构性、复杂性成为软件开发所必须考虑的因素。在这样的背景之下，为了简化分布式应用程序的开发，人们开发了软件... 详细信息

计算机网络已经成为很多应用软件的基础计算平台，开放化、互联化、标准化、组件化已经成为应用软件的根本要求，网络的异构性、复杂性成为软件开发所必须考虑的因素。在这样的背景之下，为了简化分布式应用程序的开发，人们开发了软件中间件技术。但是随着越来越多中间件的出现，如EJB、COM/DCOM、CORBA、Web服务等，基于不同的中间件平台之上的软件系统之间的集成(互操作)成为一个很难解决的问题。针对这个问题，OMG(对象管理组织)提出了MDA(模型驱动的体系结构)的框架和概念。\n MDA通过提供开放的、语言中立、厂商中立并且中间件中立的标准来解决集成问题。MDA的基础是OMG制定的一系列建模规范，包括MOF、UML、CWM、XMI等。MDA中最重要的两个基本概念是：模型(model)和平台(platform)。模型指的是对系统的功能、结构和/或行为的表示；而平台指的是那些与软件组件的基本功能无关的技术细节和f程细节。基于模型和平台这两个概念，MDA将软件开发过程中的模型划分为两个主要的抽象级别，即平台无关模型(platformindependentmodels，简称PIM)和平台相关模型(platformspecificmodels，简称PSM)。PIM提供了关于软件系统的结构和功能的形式化描述，而不涉及与具体平台相关的技术细节；PSM是PIM在具体的平台之上的系统实现，并且PSM可以通过应用一些转换规则从PIM中推导出。MDA框架支持四种类型的模型转换：PIM到PIM、PIM到PSM、PSM到PSM、以及PSM到PIM。\n MDA框架下包含两个最为关键的要素，一是如何描述PIM，二是如何实现PIM到PSM的自动转换。本文的工作正是针对这两个问题展开研究的。\n UMLProfileforEDOC是一个已经被OMG吸收的关于描述PIM的建模规范，在本文的工作中，我们使用的PIM描述方法是在对UMLProfileforEDOC中的实体Profile和业务过程Profile进行简化的基础上做了一些扩充。我们使用“实体模型”来描述系统的静态特征，使用“业务过程模型”来描述系统的动态特征。进而，我们研究了从PIM到J2EE平台之上的PSM的转换规则。这些规则包括从实体模型到数据库的转换规则、从实体模型到实体Bean的转换规则、从业务过程模型到会话Bean的转换规则以及从业务过程模型到JSP页面的转换规则。在这两方面工作的基础上，我们设计并实现了MDA支撑工具MAST。MAST可以实现从PIM到J2EE平台之上的PSM的自动转换。该工具生成的PSM包括源程序代码和用UMLProfileforEJB描述的UML模型两方面的内容。并且，工具生成的PSM体现了J2EE平台之上应用程序的多层体系结构(JSP页面—会话Bean—实体Bean—数据库)。本文中，我们还通过一个实例应用程序说明了如何描述系统的PIM和与之相对应的PSM。

关键词：软件中间件技术软件中间件模型驱动体系结构模型转换支撑工具计算机网络分布式应用程序

来源：评论

学校读者我要写书评

暂无评论

AADL建模工具的设计

引用

计算机工程 2012年第20期38卷 236-238,242页

作者：侯永吴晓张凡西北工业大学计算机学院西安710129

设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型。基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具。用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验... 详细信息

设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型。基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具。用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验证工具以第三方插件的形式集成到该工具中,提取系统的AADL架构模型。通过应用实例验证了该工具的有效性。

关键词：嵌入式系统架构分析与设计语言模型驱动体系结构元模型对象 Eclipse插件

来源：评论

学校读者我要写书评

暂无评论

UML动态模型的分析研究

UML动态模型的分析研究

引用

作者：史耀馨南京大学

学位级别：硕士

在软件工程中，具有决定意义的是系统建模。建模是为了更好的理解和构造系统，并可以提供简化和复用的机会。通常软件系统的分析与设计都是通过建模来完成的。\n 随着计算机应用软件的大型化和复杂化，不同程序之间的交互和集成变得... 详细信息

在软件工程中，具有决定意义的是系统建模。建模是为了更好的理解和构造系统，并可以提供简化和复用的机会。通常软件系统的分析与设计都是通过建模来完成的。\n 随着计算机应用软件的大型化和复杂化，不同程序之间的交互和集成变得越来越困难。为此，OMG提出了MDA(ModelDrivenArchitecture，模型驱动的体系结构)技术。MDA将系统模型分为两种：PIM(PlatformIndependentModel，与平台无关的模型)和PSM(PlatformSpecificModel，与平台有关的模型)。MDA的核心是基于映射的模型转换，它定义了PIM和PSM模型之间的四种映射关系：PIM到PIM，PIM到PSM，PSM到PSM，PSM到PIM。\n 在MDA中，PIM和PSM都使用UML来描述。UML是一种可视化的通用的面向对象建模语言，它被用于描述和构建复杂的软件系统。UML自1997年被OMG接纳为标准以来，得到了工业界、科技界和应用界的广泛支持，目前已经成为建模语言事实上的标准。因此，现在针对软件建模的研究主要集中在UML领域。\n 由于UML的语义是用自然语言描述的，存在不精确性，因此通过定义UML模型的形式化语义来提高UML语言的精确性成为当前研究的一个热点。UML模型分为静态模型和动态模型两类，静态模型关注系统的结构信息，而动态模型关注系统的行为信息。一般而言，UML动态模型往往更加复杂和重要。本文在MDA框架下，针对UML中的两种主要的动态模型——顺序图和状态图——的语义进行了深入研究，提出了一系列模型转换和验证的方法，主要的工作有：\n (1)给出了顺序图和状态图在语法上和语义上的形式化描述，并对它们进行了扩充。我们在顺序图上添加了时间约束，使之便于描述实时系统。为了描述顺序图之间的关系，我们引入了高级顺序图的概念。对于状态图，我们区分了简单状态图和复杂状态图，并提出了系统状态图的概念。\n (2)研究了顺序图的时间一致性检查算法。带时间约束的顺序图能够很好的描述实时系统和分布式系统中的时间性质。作为一种规约语言，顺序图的时间约束之间可能相互矛盾。我们设计了一个顺序图的时间一致性的检验算法，分析了两种时间一致性：一般顺序图的时间一致性和高级顺序图的时间一致性。\n (3)研究了从顺序图中生成状态图的算法。我们设计了一个从一组UML顺序图中合成状态图的算法，合成的过程基本上是自动完成的，只需要很少的用户交互。该算法为软件开发过程中从需求到设计的过渡提供了有力的支持。\n (4)研究了顺序图和状态图之间的一致性检查算法。顺序图和状态图都描述了系统的动态行为，它们所包含的信息存在冗余，因而就会出现不一致的情形。我们从事件顺序的角度出发，通过检查顺序图的运行轨迹中的事件序列是否会在系统状态图的某个执行中出现，来判断顺序图和状态图之间的一致性。\n (5)形式化语义有着清晰和准确的含义，但对于最终用户而言，往往显得过于复杂而难以使用。因此，基于以上的形式化工作，我们设计和开发了一个UML模型转换和验证的工具。该工具是整个MDA支撑工具的一部分。它集成了(2)、(3)和(4)中的算法，提供了丰富的图形界面和友好的用户交互方式，具有较强的实用性。

关键词：模型驱动体系结构统一建模语言动态模型模型转换模型验证系统建模软件工程

来源：评论

学校读者我要写书评

暂无评论

复杂产品虚拟样机协同仿真建模技术研究

引用

系统仿真学报 2004年第2期16卷 274-277页

作者：王鹏李伯虎柴旭东邸燕强燕雪峰北京航空航天大学电气工程及自动化学院北京100083 航天二院北京1000854 北京理工大学信息学院计算机系北京100081

复杂产品虚拟样机技术是复杂产品开发设计的重要技术之一。复杂产品虚拟样机建模和优化是用户需求和仿真支撑平台之间的关键环节,并且贯穿于设计、开发和测试的各个环节。主要讨论了对复杂产品虚拟样机设计分布式协同高层建模的四个方面... 详细信息

复杂产品虚拟样机技术是复杂产品开发设计的重要技术之一。复杂产品虚拟样机建模和优化是用户需求和仿真支撑平台之间的关键环节,并且贯穿于设计、开发和测试的各个环节。主要讨论了对复杂产品虚拟样机设计分布式协同高层建模的四个方面:复杂产品虚拟样机开发过程中的建模规范;协同仿真平台中的高层建模技术;介绍了如何使用模型驱动体系结构(MDA)来快速开发复杂产品虚拟样机的概念原型, 如何实现基于Web Service的复杂产品虚拟样机的分布式协同建模。

关键词：复杂产品多学科虚拟样机协同仿真建模高层建模模型驱动体系结构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：