从Executable UML模型到J2ME程序

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

从xUML模型到J2EE应用系统的转换方法研究

Executable UML(xUML)是统一建模语言(UML)的一个剖面(Profile),它可以看作是由传统UML加上精确的语义构成。在阐述xUML和J2EE平台基本概念的基础上,提出了一种从xUML业务模型生成基于J2EE平台的Java代码的方法,对从平台无关模型到应用代码的转换进行了尝试。

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

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

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

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

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

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

基于UML的嵌入式系统模型验证机制的研究

随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。

基于UML和Petri网的I-MES建模研究

为了对可集成制造执行系统的行为提供支持 ,需要对其进行有效的建模和模型分析。针对UML和Petri网建模的特点 ,本文提出了基于UML和Petri网———UML PNs的集成建模方法 ,给出了集成建模策略 ,并结合一个示例 ,绘制了对象类图、交互图和行为图 ,最后将其映射成Petri网模型 ,进行模型的分析工作 。

基于UML模型和OCL约束的类间交互测试用例生成方法研究

面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.

UML-RT到一个实时多任务执行模型的转换

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法,最后以一个实例说明了转换方法。

基于MDA的UML建模语言研究

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

基于Multi-agent/UML的分布式制造执行系统框架开发

提出了一种基于UML的制造执行系统框架的开发方法,设计出了一种代理与构件映射集成的设计模式,代理通过注册全局控制生产任务的下发与协调,使该框架具有分布式、模块化、可重构、可集成、敏捷化的特点,并用于实际开发中。

基于UML和OCL的类间交互测试用例生成算法研究

针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试。提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break这4种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,提出EG的遍历策略和测试路径生成算法;确定测试场景,生成测试用例。经实例分析,它可以基于UML顺序图与OCL作系统地测试。

基于可执行UML的信息系统建模研究

可执行UML是UML的一个扩展,通过在UML中加入动作语言语法,使得建立的模型是可验证的.利用可执行UML与动作语言OAL,对高级运营管理系统进行建模,使得建立的模型是可执行的,可转换为任何语言.

可执行UML技术在极限建模中的应用

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

基于UML的可执行模型实现机制研究

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。

基于UML的分布式制造执行系统框架开发

通过研究框架技术,提出一种基于UML的制造执行系统框架的开发方法,设计出一种代理与构件映射集成的设计模式,使得该框架具有分布式、模块化、可重构、可集成、敏捷化的特点,并用于实际开发中。为基于框架的制造执行系统软件开发提供了条件,满足了软件柔性和敏捷性的开发需求。

MDA中平台无关模型的抽象表达方法研究

针对目前MDA研究缺乏对平台无关模型抽象建模技术探讨的问题,提出建立PIM模型的六元抽象方法,对MDA主题域进行全面充分的模型抽象,并采用xUML技术形成完整的平台无关模型建模,以便更好地实现MDA方法对模型重用和模型VV&A的支持。

一种基于OOPN的可执行对象结构模型

指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型(EOSM)。该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个行为间的结构化动态耦合。研究表明,EOSM模型可以实现对象的结构模型与行为模型的统一表示。

复杂系统能力需求模型的仿真技术与实现

为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。

可执行能力需求模型的动作语义研究

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。