基于xUML的DoDAF可执行体系结构开发与验证

可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。

XUML/ACME集成建模方法与VMI构架研究

以供应商管理库存(VMI)模型的软件开发为背景,研究扩展UML(XUML)与ACME的集成建模方法及其在构架设计中的应用问题。探讨了UML结构模型和行为模型的语义扩展,以增强其表达能力,并将其用于VMI构架设计;进而基于ACME的开放语义框架,给出可实现的VMI构架模板的描述;最后对XUML和ACME两种建模方法的互补与集成的价值做了基本评价。通过在VMI软件开发中的实际应用,证明该方法是可行的,并取得良好的效果。

基于xUML的模型驱动架构研究

研究了如何利用xUML来对MDA建模。以模型驱动架构(MDA)为理论基础,以可执行UML(xUML)方法构建MDA模型。探索在UML中加入精确的可执行动作语义,使得建模者可以生成可执行的独立于平台的模型(PIM)的途径。应用该方法在质量管理领域进行数据建模,并对模型的可执行性进行了验证。

模型驱动体系结构MDA及xUML规范在其语境中的探讨

介绍OMG提出的模型驱动体系结构MDA ,它将与实现技术无关的模型和基于特定技术的模型分离 ,并通过模型间的变换 ,使系统能适应技术的发展 ,解决系统在不同中间件平台的集成、互操作性、可移植性等问题 ,提高生产力 ,保证程序质量 .

基于xUML的MDA开发数据仓库设计与实现

在分析目前主要的模型驱动架构MDA构建数据仓库的基础上,根据WTADSS数据仓库的体系结构,提出了基于xUML的MDA开发方法,采用ETL负责将WTADSS中不同的数据进行相应的处理并将其集成到数据仓库存储库中,以达到数据格式的统一。经过实测验证,该方法不仅在初始阶段能够对系统进行测试,而且也能够通过返回的测试结果对前期的建模进行修改,减少系统的出错率。

基于xUML的模型一致性问题研究

xUML是一种统一建模语言UML的扩展语言,可用于实现自动代码生成。针对xUML代码生成过程中出现的模型不一致问题,文中提出了一种基于xUML类图和活动图的模型完整性和一致性校验方法。首先给出了模型完整性和一致性的校验规则,其次给出了基于规则伪代码形式的算法描述,最后利用工具结合一个具体的实例对完整性和一致性检验算法进行验证。实验结果表明,该方法可以用于对类图和活动图的完整性和一致性验证。

基于xUML的MDA模型驱动架构研究

当前UM L建模技术逐渐被很多企业接受、认可,但由于用它建造的系统模型不可执行,难以对模型正确性进行验证,阐述了基于eX ecutab le UM L的面向对象的系统建模技术和方法,结合目前OMG组织提出的模型驱动架构MDA概念,建立高层抽象的可执行模型,引进模型的执行和验证概念,进行前期设计验证,减小项目的实施风险。

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

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

基于xUML的DoDAF可执行体系结构构建

为构建可执行体系结构,实现体系结构的仿真执行,获取体系结构的动态信息,验证其动态特性,针对可执行体系结构开发问题,首先分析了DoDAF V2.0和模型驱动体系结构(MDA)的核心开发思想,讨论了以MDA指导DoDAF V2.0可执行体系结构开发的理论基础;提出了以MDA为开发指导思想,采用体系结构开发语言xUML,使用ASL描述信息的DoDAF V2.0可执行体系结构的开发方法,给出了具体的开发步骤;最后结合实例,检验了该方法的可行性和有效性.

基于xUML的MDA实现

MDA是一种以模型为中心的新的软件开发模式。可执行UML（xUML）是UML的一个扩展，通过在UML中加入精确的可执行的动作语义．使得建模者可以生成可执行的独立于平台的模型，并直接从该模型生成代码。该文将xUML与动作语言OAL结合讨论．目标是建立可执行的模型，使用这些模型最终可以为目标系统生成高质量的代码，并用一个实例说明了该方法的使用。

基于可执行模型的DoDAF体系结构验证

针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。

基于MDA的UML建模语言研究

一直以来,计算机领域专家、软件工程技术人员都在积极地探索提高软件开发效率和质量的方法。面向对象、基于组件开发、分布式计算等新方法的出现为提高软件开发效率和质量以及延长软件生命周期作出了一定的贡献。2002年OMG提出了一种全新的软件开发框架--模型驱动架构(MDA),UML等建模语言被广泛的应用于MDA中,此后OMG提出的可执行UML(xUML),更加有效地支持了MDA的建模过程,提高了软件的开发效率和质量。

XML概念层规范化方法及其应用

一般关系数据库的设计在概念建模时就运用规范化方法,然后是逻辑设计。而现有的XML的规范化理论大都从已有XML模式和实例文档开始分析,再对其进行规范化。这样的XML规范化理论不容易理解也很难应用于实际。本文提出将XML规范化理论应用于XML概念层,介绍了几种概念层的规范化方法。最后结合一个实例说明了XML规范化方法的应用。