一种提高元建模语义完整性的方法

元建模发生在模型驱动架构中的元元模型、元模型和模型层中,传统的元建模采用统一建模语言UML描述。但是实践证明,UML无法提供与对象有关的所有信息,缺少描述模型中关于对象的附加约束,而且无法描述不同模型之间的转换。针对传统元建模中的语义缺陷,特引入对象约束语言来提高元建模的精确性。文中阐述了如何结合UML和OCL应用于元模型,提高元建模语义完整性,加强元建模的可读性和可执行性,并且使用该方法能够检测出约束冲突。     

基于MDA与UML扩展的安全软件开发方法

为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。     

模型驱动架构的应用

模型驱动的软件体系结构是一种基于UML以及其他工业标准的框架,是一种由自动工具和服务所支持的组织和管理企业架构的方法。通过选择目标平台,能够在特定的运行时实现中执行模型驱动的架构,从而最终提高系统之间的互操作水平。本文描述了MDA的概念、构成及核心,阐述了建模的原理及模型驱动架构的某些应用。     

UML建模的用例驱动设计过程分析

首先从面向对象的原理，思想和方法出发，根据UML的语义模型，结合实例阐述了UML建模的用例驱动设计过程和步骤，其次，分析了用例驱动过程与软件基本架构的关系，并说明了从概念模型到可执行体之间的对应关系。     

嵌入式系统模型驱动设计方法

提出基于模型驱动构架的嵌入式系统模型驱动设计方法．首先建立UMLforSystemC语言元模型，以扩充UML对硬件平台相关模型的描述能力；然后分析模型变换的映射规则；最后基于系统平台结构模型和软硬件划分提供模型变换实现．该方法能自动地生成不同实现的SystemC系统模型，以加速系统设计空间搜索效率。支持嵌入式系统的快速开发和验证．     

一种基于规则的模型转换方法*

尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自动转换。为此定义了一个平台独立模型到平台相关模型的转换框架,采用UML活动图说明模型转换的实现机制;基于OCL定义了转换规则的表示法,并结合UML模型到Java模型的转换给出了转换规则的定义。最后在一个具体的实例中验证了此方法的合理性和易用性。     

可视化业务模型的设计与实现

针对xUML, OCL, ASL等模型驱动的执行工具过于侧重语义完整,不够直观,使得设计人员难以理解的问题,在MOF第二层基础上改造UML元模型元素,建立一种支持人机交互的元模型可视化动作模型(VAM),在此基础上实现一个VAM执行引擎。模型的执行过程和实际代码的执行过程相似,提高了模型驱动开发在需求验证和测试中的可用性。     

模型驱动架构中模型构造与集成策略

模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.     

PKUMoDEL:模型驱动的开发和语言家族支持环境

OMG发布的UML语言家族和MDA架构促进了模型驱动软件开发的思想成为现实.建模语言版本升级或者面向不同领域的语言家族新增成员的不断出现,要求模型驱动开发环境除了使得模型成为软件开发生命周期中的主体之外,还应该具有元模型的定义和操纵能力.模型驱动的开发和语言家族支持环境PKUMoDEL是基于MOF的元建模环境和基于UML2.0的建模环境的集成体,很好地解决了诸如元模型的定义、扩展和评估、建模工具的自适应和演化、不同类型工具之间的集成、模型复用、从模型到运行环境的直接映射和部署等问题.     

基于ASL的模型驱动架构测试方法

针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法：从UML模型出发,将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程,最后结合实例,在UML图的基础上运用ASL对测试环境进行构建,并创建了系统的测试用例,对模型及业务逻辑进行了测试。实验结果表明,提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象,又能在软件生存期早期揭示软件的缺陷,防止缺陷随着软件开发过程的进行而被放大。     

面向嵌入式软件开发的UML到Simulink模型转换方法

模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。     

基于构件技术的应用框架元模型的研究

从应用框架构造和组成的角度,使用UML(unified modeling language,统一建模语言)符号体系,提出了框架元模型,给出了框架内部组成元素的语义,特别是对扩展点的表示和实现机制进行了详细的讨论.最后以电信综合营业系统框架为例,给出了框架元模型的一个实例,并给出了应用框架的复用方法.     

基于原语-模式的体系结构作战活动模型建模方法

为了理解、比较和集成由不同框架、不同工具及建模方法开发的体系结构,更好地支持以数据为中心的体系结构开发策略,提出了基于原语-模式的军事信息系统体系结构建模方法;依据XML的模型转换实现,重点研究了基于建模原语-模式的体系结构元模型与建模方法之间的语义映射规则;基于国际国防企业体系结构规范构建了作战活动模型(OV-5)的元模型,分别研究了OV-5的IDEF0建模和UML活动图建模的具体实现,构建了IDEF0及UML活动图与OV-5元模型数据元素严格的语义映射规则,规范了体系结构建模方法并保证了体系结构语义的精确性和一致性。     

基于UML扩展的本体建模方法

在本体建模中,概念分类结构不明确,缺少理论指导,本体建模方法也欠缺特定本体描述语言定制能力。针对这种情况,该文将本体基础理论与UML本体承诺相结合,提出基于本体基础理论和UML元模型扩展的核心本体元模型及其扩展方法,并以Web本体描述语言为例,对核心本体元模型的扩展能力及扩展方法的有效性进行了验证。     

UML建模机制在领域电子商务系统中的应用研究

针对目前国内面向领域的B2B电子商务中缺乏稳定、系统的建模机制的现状，在分析UML的建模元索、扩展机制和元模型互换机制的基础上，提出了面向领域的电子商务系统的建模需求，包括用例建模、工作流建模、业务过程建模、业务词汇表建模、数据交换文档建模、消息建模等6个方面，并给出了利用开放的国际工业标准UML的用例图、活动图(包括泳道技术)、顺序图、类图以及文档、关系数据管理机制、XML、SOAP等在这6个建模方面的应用，最后给出了该建模机制在石油化工领域内的应用实例。     

面向产品生命周期的动态服务集成方法研究*

针对大型制造企业产品生命周期系统中系统集成复杂、变化频繁的现状,分析现有基于SOA系统集成的不足,在引入模型驱动的基础上,提出了一种动态服务集成方法,该方法是自上向下建模和自下而上服务编排的双向结合。通过扩展领域元模型,将业务过程抽象为逻辑模型;将被集成系统以服务的形式封装,建立服务元数据仓库保存其关键属性;分离业务逻辑和具体实现系统,运用反射机制在运行时将模型实例化为具体的集成过程,自动部署到集成引擎。以该方法为基础建立PLM系统集成平台。实践证明该方法可以有效提高集成的适应能力和敏捷性,降低集成的复杂     

基于SaaS的ERP云服务平台UML profile建模与描述

针对当前商业环境中传统企业资源计划（ERP）系统的低开放性、低拓展性和高成本等问题,提出了一种基于软件即服务（SaaS）模式的ERP系统建模方法。首先,利用UML的拓展机制,对原语扩充,得到新的原语集UML profile;其次,建立等效元模型,通过对象约束语言（OCL）保证语义的无二义性;最后,通过应用图、操作字典、物理图和拓扑图组成的模型框架对云ERP系统进行描述,实现云ERP系统的文档化。该方法专注于模块化设计,所有阶段均采用统一的可视化元模型。根据建模需求,在企业架构（EA）平台上采用所提方法成功建立了基于SaaS的云ERP模型,验证了所提建模方法的有效性。理论分析及建模结果表明,该方法确保了模型间的互操作性和一致性,提高了ERP系统的可成长性。     

基于元模型的虚拟样机数据建模方法研究

数据建模是虚拟样机开发的一个重要内容。首先分析了虚拟样机技术对产品数据模型定义的要求;然后从过程、产品、组织、资源和约束五个视图角度分析了虚拟样机数据模型元模型定义,并以过程视图为核心建立了各视图元模型集成模型,分析了元模型数据描述方法;最后用一个实例系统实现了虚拟样机数据模型。