基于SACRED元模型的模型驱动体系结构工具

模型驱动的体系结构（MDA）开发方法是以模型作为软件开发的主线，基于统一建模语言（UML）创建的模型不能很好地起到衔接用户需求和代码的桥梁作用，而且模型中存在不同的视角.在元对象设施（MOF）的基础上，定义了SACRED元模型，使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁，采用映射方式实现了平台无关模型（PIM）到平台相关模型（PSM）的转化，使得模型不需要关注系统细节，降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程，并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比，该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.     

UML类图模型到RDF(S)的映射方法的研究

在语义Web中,资源描述框架(RDF)用于实现Web上信息资源的语义描述,为本体层提供了表示语义信息的基础,统一建模语言UML作为面向对象的标准建模语言,研究从UML类图中提取领域知识将其转换为RDF(S),有利于克服直接在知识领域构建本体对专家知识的要求过高,减少领域专家的参与,便于本体的自动构建,有利于提高本体构建的质量和效率,对语义Web的开发实现有重要意义。在此通过对RDF(S)和UML类图模型比较分析,提出了由UML类图模型到RDF(S)的映射规则及算法。主要研究UML类图模型向RDF(S)映射的方法,将现有数据领域模型UML中的信息转换为RDF(S),实现RDF(S)本体的自动构建,提高本体构建的效率。     

基于场景的并发系统需求验证方法研究

为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动...     

一种模型驱动的Web应用系统开发方法

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。     

一种基于扩展UML的企业应用软件PIM模型

针对UML在企业应用软件建模中可用性差和效率低的问题,提出一种基于扩展UML的企业应用软件PIM模型.通过对企业应用软件特点的分析,建立了一个以业务对象为中心的多视图集成PIM模型,对UML进行扩展,在它的元模型中增加了描述企业应用软件PIM模型中的概念及其之间关系的元类、版型和标记,并采用包对这些概念和关系进行不同视点的划分.基于扩展UML的企业应用软件PIM模型通过业务对象的丰富语义实现了UML中各种图之间基于语义的集成,改善了UML的可用性,提高了企业应用软件的建模效率.结果表明:通过实际案例验证了该模型的可行性和有效性.     

一种基于角色的MDA模型转换方法

模型转换是MDA(Model Driven Architecture)中的关键技术,正成为一个新的研究热点.提出一种基于角色的模型转换方法,通过角色的分配和组合,灵活、自然地实现模型的转换.给出了其转换规则及形式化描述方法,介绍了该方法在Web应用程序建模中的应用.使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系,有助于设计者实现角色的分配及组合.该方法特别适用于基于模式的软件开发.     

设计模式的元建模体系结构及其应用

提出一个基于UML的设计模式的元建模体系结构,给出了设计模式的公共元模型。该元建模体系结构能够较好地描述设计模式的本质特征,有助于设计模式的有效应用和相关工具的开发。     

基于UML的老年人口生活质量指标体系框架模型设计

以构建老年人口生活质量指标体系为目的，利用UML建模方法，提出需求获取的分析过程，从而实现从反映老年人口生活质量内容的需求到系统框架模型的设计，这不仅使指标体系的设置具有可操作性，对社会学领域具有一定的借鉴意义，而且试图作出理论的贡献。     

一种面向领域基于XMI的模型映射方法

在开发特定业务领域系统时，为实现领域模型向通用模型的映射，往往会产生领域失配问题。为解决此问题，提出了一种面向领域基于XMI的模型映射方法。采用XMI技术，将领域模型首先映射成为领域相关的XML文件，然后通过基于领域元模型的XSL映射器，将其映射成为UML对应的XML文件，最后生成UML通用模型；并在此基础上给出了这一方法的形式化描述和应用实例。     

MDA开发中的模型一致性检验

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.     

基于UML的分析建模方法

分析建模是利用模型,从技术层次上表达系统需求分析中的需求说明和设计内容.UML是一种标准的建模技术,它为系统的需求分析提供了全面的模型.通过实例详细讨论了UML的用例图、类图和序列图在分析建模中的具体应用.     

面向信息物理融合系统的异构模型转换方法

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.     

基于IDEF和UML的虚拟装配系统建模

为了解决复杂虚拟装配系统的系统建模问题,在分析IDEF和UML建模方法优缺点的基础之上,提出了一种两者相结合的系统建模方法.首先利用IDEF建立系统的功能模型、信息模型和过程模型,再根据IDEF和UML模型之间的映射机制,将IDEF模型转换为UML模型,从而完成系统从需求分析、功能设计、对象设计直至软件实现的整个过程.该方法能有效弥补单纯采用IDEF方法建模或UML方法建模的缺陷,实践证明在虚拟装配系统建模中具有重要的应用价值.     

教育语义网中的知识领域本体建模

针对多学科领域知识本体构建难度大和难以普及的问题,提出了适用于教育领域的基于知识工程的本体建模方法,通过确定领域知识的范围,对领域知识进行概念和术语的提取,然后基于分类后的概念集定义层次结构和构建关系模型,构建出完整的本体结构模型.该方法不仅简化了本体建模的过程,还可以使学科领域专家能够独立地开发出学科课程相关的本体.以“统一建模语言（UML）”课程为实例,示范了课程本体开发的过程,验证了上述学科领域知识本体开发方法的可行性．     

基于本体的饰品创新设计过程知识服务建模

为了在饰品的创新设计过程中,快速有效地重用已有的饰品设计知识,分析了饰品创新设计过程的特点,提出一种基于本体的饰品创新设计过程知识服务模型,并研究了建立该模型的几个关键技术.对传统本体的四元组模型加以改进,建立过程本体及其需求模型,给出领域知识本体的建立方法及其模型.探讨了过程本体与知识本体的映射规则,并以捕获设计人员的设计行为来触发映射过程的执行,客户端将自动获取的设计知识展现给设计人员,从而实现饰品创新设计过程中的知识服务.     

基于UML的自动饮料销售机系统的分析与设计

UML是一种面向对象的标准建模语言,它易于表达,功能强大且普遍使用,支持从需求分析开始的软件开发全过程,利用UML的建模机制,可以对大型复杂系统的各部分进行可视化表示、构建系统模型.以自动饮料销售机系统的开发为背景,研究了基于UML的应用软件系统的开发过程,给出了设计过程中的用例图、类图、时序图等.     

一种UML状态图模型检测方法

为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式...     

UML在嵌入式系统设计中的应用

为开发具有可复用性、可扩展性的高质量软件,探讨了基于UML的面向对象分析方法的设汁过程,并以“心电记录仪”为例给出用UML语言为嵌入式系统建模的方法,结果表明：UML溶入了软件工程领域的新思想、新方法和新技术,其作用域不限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程．用UML为软件系统建立模型不但有利于交流,还有利于对软件的维护．