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

计算机工程与科学 2006年第12期28卷 110-113页

作者：谭云飞陶培基关少珊汕头大学工学院计算机系广东汕头515063

极限建模是uml和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行uml是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。本文提出在极限建模的软件开发方法的基础上引入可执行uml技术,可以使得极限建模具有更好的效用。... 详细信息

极限建模是uml和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行uml是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。本文提出在极限建模的软件开发方法的基础上引入可执行uml技术,可以使得极限建模具有更好的效用。文中对于两者结合的可行性和意义进行了讨论,并给出了一个实例。

关键词：极限建模 uml XP 可执行uml 动作语义模型

来源：评论

学校读者我要写书评

暂无评论

基于可执行uml的企业建模研究

基于可执行UML的企业建模研究

引用

作者：尹峰昆明理工大学

学位级别：硕士

随着市场环境的变化,企业之间的竞争越来越激烈。为了应对这种激烈的竞争局面,企业需要企业模型的指导。企业模型成为了认识、理解企业,改造企业的重要基础。在这样的背景之下,本文首先介绍了几种主要的企业建模体系。然后,选定集成化... 详细信息

随着市场环境的变化,企业之间的竞争越来越激烈。为了应对这种激烈的竞争局面,企业需要企业模型的指导。企业模型成为了认识、理解企业,改造企业的重要基础。在这样的背景之下,本文首先介绍了几种主要的企业建模体系。然后,选定集成化企业建模体系,对其进行了详细的介绍并用该建模体系对一个酒精企业进行建模。在此基础上,指出了集成化企业建模体系的建模方法存在的不足和问题： (1)集成化企业建模方法中,无论是结构图、流程图还是IDEF0和IDEF1x建模方法均为面向过程的、结构化的建模方法。但是,当今软件行业普遍使用的是面向对象的开发技术。所以,企业模型就无法有效地支持和指导企业信息系统的开发。 (2)集成化企业建模框架系统生命周期维的不同阶段之间缺少反馈机制,无法保证模型的准确性以及不同阶段的模型之间的一致性。 (3)使用集成化企业建模方法所建立的企业模型,是不可执行的,不能为计算机所直接识别的,只能作为系统开发的参考,而不能通过映射转化为代码。 (4)人们在构建企业模型时,需要相关的建模工具的支持。但是,支持该建模方法的软件和工具有限,影响了改建模方法的使用和普及。针对这些问题和不足之处,本文将可执行uml引入到企业建模领域。在继承了集成化企业建模体系的建模框架的基础上,对其建模方法进行改进,探讨了基于可执行uml的企业建模方法。之后,本文用基于可执行uml的企业建模方法对同一个实例——**酒精企业进行建模,构建了该企业基于可执行uml的模型。通过对前后两种建模方法的比较,我们发现基于可执行uml的企业建模方法在以下几个方面有一定的优势： (1)采用面向对象技术、统一建模语言uml,便于建模工作者之间相互交流,与当今软件行业的开发技术相一致,提高了模型对系统开发与实施工作的指导意义。 (2)所建的企业模型具有更细的粒度与深度。比如,在对企业业务过程进行建模时,集成化企业建模方法仅仅实现了对活动和任务层次的描述。而基于可执行uml的企业建模方法却能够对操作和动作进行详细、无歧义地描述。 (3)建模框架方面,在模型的生命周期维中引入了反馈机制,保证模型能够正确描述企业需求,并提高了不同阶段的模型之间的一致性。 (4)提高了企业模型的可执行性。由于可执行uml对操作和动作的精确、无歧义的描述,从而使得企业模型具有了更高的可执行性,能够按照一定规则直接映射为代码。最后,在分析了基于可执行uml的企业建模方法的不足之处的同时,指明了该建模方法今后的研究方向。

关键词：企业建模可执行uml ASL

来源：评论

学校读者我要写书评

暂无评论

可执行uml建模技术研究

引用

中国新技术新产品 2011年第5期 28-28页

作者：黄毅杰漳州职业技术学院计算机工程系福建漳州363000

能够降低软件开发成本、提高软件生产效率、可移植性、增加软件的可重用性的技术越来越受到人们的关注,通过可执行uml技术,使得软件开发在前期可以得到执行和验证,通过可执行uml的动作语言可以解释对象之间的行为等。

关键词：可执行uml uml 平台无关

来源：评论

学校读者我要写书评

暂无评论

可执行uml建模技术研究

引用

中国新技术新产品 2011年第8期 33-33页

作者：黄毅杰华侨大学福建泉州362021

关键词：可执行uml uml 平台无关

来源：评论

学校读者我要写书评

暂无评论

从Executable uml模型到J2ME程序

引用

计算机科学 2005年第12期32卷 112-115,127页

作者：袁梁李宣东赵建华郑国梁南京大学计算机科学与技术系南京210093

嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从... 详细信息

嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从中剥离,并利用工具遵循一定的转换规则,实现其到特定平台的自动转换,最终得到目标平台上的代码。MDA针对解决复用和移植问题提出了新的解决途径,在嵌入式系统开发中有广泛的应用前景。本文在研究基于MDA的嵌入式系统开发途径的基础上,提出了一个从Executable uml模型到J2ME平台下JAVA代码的转换框架。

关键词：模型驱动的软件体系结构 J2ME 嵌入式系统可执行uml 转换规则

来源：评论

学校读者我要写书评

暂无评论

嵌入式uml模型一致性检验方法研究

嵌入式UML模型一致性检验方法研究

引用

2010 International Conference on Future Information Technology and Management Engineering (FITME 2010)

作者：顾卫杰王继水史二颖钱月霞常州机电职业技术学院信息工程系燕山大学信息科学与工程学院

为了解决嵌入式uml模型一致性检验问题,对模型一致性进行了分析,提出了uml的增强性子集——可执行uml,通过模型转化,利用"状态—事件表"综合表达系统模型,并通过动态仿真实现模型一致性检验。最后,给出了uml模型一致性检验实... 详细信息

为了解决嵌入式uml模型一致性检验问题,对模型一致性进行了分析,提出了uml的增强性子集——可执行uml,通过模型转化,利用"状态—事件表"综合表达系统模型,并通过动态仿真实现模型一致性检验。最后,给出了uml模型一致性检验实例,证明了该方法的可行性。

关键词：可执行uml 一致性检验状态—事件

来源：评论

学校读者我要写书评

暂无评论

基于xuml的航迹起始算法代码生成机制

引用

火力与指挥控制 2010年第3期35卷 50-54页

作者：宋俊典林家骏华东理工大学自动化研究所上海200237

在信息融合航迹起始算法分析的基础上,探讨了基于可执行uml的建模方法,研究类图、状态图和动作规约语言在建模中的应用。借鉴模型驱动架构的思想,研究代码的生成流程、模型信息的提取和组织方法、模型到代码的映射机制,为系统及算法的... 详细信息

在信息融合航迹起始算法分析的基础上,探讨了基于可执行uml的建模方法,研究类图、状态图和动作规约语言在建模中的应用。借鉴模型驱动架构的思想,研究代码的生成流程、模型信息的提取和组织方法、模型到代码的映射机制,为系统及算法的设计和开发提供一种新的思路。iumlite环境下的建模实践证明,该建模方法和机制是可行和有效的,具有一定研究意义和应用价值。

关键词：可执行uml 系统建模信息融合航迹起始代码生成机制

来源：评论

学校读者我要写书评

暂无评论

基于xuml的MDA软件开发方法研究与实践

基于xUML的MDA软件开发方法研究与实践

引用

作者：王永平重庆大学

学位级别：硕士

一直以来,企业为了赢得市场竞争,都在不断进行内部改造,而企业运作方式的变化引发了企业需求的变更。对于企业MIS系统这类高度复杂、需求持续变化的应用软件,系统功能和其系统实现技术需要不断更新。目前面向对象技术迅速发展,其中比较... 详细信息

一直以来,企业为了赢得市场竞争,都在不断进行内部改造,而企业运作方式的变化引发了企业需求的变更。对于企业MIS系统这类高度复杂、需求持续变化的应用软件,系统功能和其系统实现技术需要不断更新。目前面向对象技术迅速发展,其中比较流行的uml建模技术是其中一个方向,随着不断完善发展,逐渐被很多企业接受、认可,但同时也存在一定的局限性:首先,运用目前uml技术建立的系统模型是不可执行的,难以对模型的正确性进行验证,这样不易于前期分析、设计中错误的发现,增加了后期开发的风险;其次,对同样系统功能需求在不同语言和软件环境实现平台上,其建立的模型细节差别很大,从而系统建造的重用性就很低。这样就迫切需要一种新的建模技术来增强模型的验证能力,提高模型的可重用性及其模型与实现技术的无关性,以达到在技术与需求不断变化的今天,提高系统逻辑建模的效率。在以上的背景下,本文结合目前OMG组织提出的模型驱动架构(MDA)概念,研究了一种基于eXecutable uml(xuml)的面向对象的系统建模技术和方法,本文主要工作包括: 1)分析了当前软件工程的发展状况,并引入了基于xuml的MDA软件开发方法; 2)简单介绍了MDA及xuml的基本概貌,并阐述了可执行MDA体系结构及其相关基本概念; 3)简要介绍Rational统一过程及其特点,并对基于可执行MDA的Rational统一过程的生命周期做了详细阐述; 4)详细介绍了基于xuml的MDA软件开发的基本方法和原理; 5)将上述介绍的基本方法和原理运用于一个具体的项目中。本文以网络教学系统作为项目实践,借鉴了Rational公司提出的RUP (Rational统一过程)框架模型,探索运用xuml的动态建模技术进行建模的方法,完成了动态模型的建立、运行及其模型测试等模型技术研究的预期要求,达到了预期研究的目的。

关键词：可执行uml 模型驱动架构 Rational统一过程

来源：评论

学校读者我要写书评

暂无评论

基于xuml服装管理系统建模

基于xUML服装管理系统建模

引用

作者：周彩霞华东师范大学

学位级别：硕士

如何解决软件产业生产效率、可移植性、互操作性、维护和文档等多方面的问题是每个软件开发者都在思索的问题。模型驱动架构(Model DrivenArchitecture,MDA)是国际对象管理组织(Object Management Group,OMG)提出的一种软件开发方法学,... 详细信息

如何解决软件产业生产效率、可移植性、互操作性、维护和文档等多方面的问题是每个软件开发者都在思索的问题。模型驱动架构(Model DrivenArchitecture,MDA)是国际对象管理组织(Object Management Group,OMG)提出的一种软件开发方法学,其目标是通过构建可执行模型实现软件的工厂化生产,解决软件产业生产效率、可移植性、互操作性、维护和文档等多方面的问题,降低软件开发维护成本、提高开发效率、减小需求变更对系统的影响以及延长系统的生命周期等。尽管核心uml规范在MDA过程中是必要的,但它却不足以进行可执行建模。xuml解决了uml的很多歧义问题,同时也为适当的uml模型元素增加了可执行行为的定义,用它就足够建立可执行PIM了。论文首先讲述了MDA产生的背景及意义,对MDA的思想、核心技术、组成结构以及开发模型做了深入剖析,介绍统一建模语言(uml)、元对象设施(MOF)、数据仓库元模型(CWM)等MDA相关标准。论文接着对xuml进行了详细的讨论,介绍了xuml建模的优点,它与标准uml之间的异同之处,及详述了xuml建模的过程,本文最后用一个实例——服装管理系统来对xuml建模进行详细讨论,包括用例建模,使用域进行平台无关建模,对域中的类建模,用模型描述类的行为和交互,及域的集成等,其中重点介绍了ASL是怎样进行动作规约的,即xuml的可执行部分。

关键词：模型驱动架构 PIM uml 可执行uml 服装管理系统

来源：评论

学校读者我要写书评

暂无评论

基于MDA的自定义测试报告生成方法的研究与实现

基于MDA的自定义测试报告生成方法的研究与实现

引用

作者：刘磊北京邮电大学

学位级别：硕士

自动化测试是软件测试中非常重要的技术,可以极大地提高测试工作的效率。由于软件测试的复杂性,每次测试可能会使用多款自动化测试工具,也会得到多个测试报告。这些测试报告的格式多种多样,且所包含的信息比较复杂,也有较多重复无用信... 详细信息

自动化测试是软件测试中非常重要的技术,可以极大地提高测试工作的效率。由于软件测试的复杂性,每次测试可能会使用多款自动化测试工具,也会得到多个测试报告。这些测试报告的格式多种多样,且所包含的信息比较复杂,也有较多重复无用信息。对测试人员而言,整合多个测试报告中的信息是费时费力的工作。本文主要研究如何接收多种异类测试工具的测试结果数据,生成一份自定义的综合测试报告。要解决的问题包括:1)自动识别异类复杂测试结果中重要的数据,过滤重复信息或与测试目标无关的信息;2)将过滤后信息按需组装,生成自定义测试报告。为解决上述问题,本文做了如下工作:1)为统一测试结果数据的存储格式,本文分析了市面上主流的自动化测试工具所产出的测试报告,将报告中常见的基本元素归纳为文字元素、图元素和表元素,并根据各元素的特点设计了对应的数据存储格式;2)本文提出了一种自定义测试报告的生成方法:首先使用形式化语言描述测试报告得到报告的泛化模型,其次设计模型到代码的转换方法,最后将模型输入转换方法得到测试报告的工程代码,当测试报告有改动时,仅需修改模型即可,大大减少了报告更新时的代码编写工作。针对自定义测试报告模型,本文根据模型驱动体系架构(Model Driven Architecture,MDA),应用可执行的统一建模语言(Unified Modeling Language,uml)构建了一个可用于生成自定义测试报告的平台无关模型(Report Platform Independent Model,RPIM)。RPIM 使用动作规约语言定义了测试结果数据的处理方法,实现了自动识别和过滤异类复杂测试结果数据。RPIM还将测试报告中的文字和图表等元素抽象为可执行uml中的类,各元素的位置、大小和内容等属性抽象为类的属性,通过合理化创建类实例即可实现报告元素的按需组装,生成自定义报告。针对模型转换方法,本文实现了动作规约语言子集到JavaScript语言的转译算法,算法首先提取具有独立语义的动作规约语言代码块中的有效信息,然后将提取出的有效信息按格式拼接得到完整的JavaScript代码。通过转译并执行RPIM中的动作规约语言代码即可实现模型到代码的转换;3)为降低RPIM的构建难度,本文开发了一个交互式构建RPIM的模型构建系统(Model Building System,MBS)。在该系统上,用户可以根据对报告样式和内容的不同需求,设计不同的RPIM。对于MBS的实现,本文首先结合用例图和用例规约分析了 MBS的功能。其次,对MBS进行了设计,描述了其总体结构、界面设计、数据库设计和各个子模块的详细设计。再次,基于***、Element-UI和ECharts等框架实现了MBS。最后对MBS的各个功能设计了测试用例并执行了测试。

关键词：模型驱动体系框架可执行uml 动作规约语言测试报告

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：