基于模型的嵌入式系统软件工程语言AADL与UML的比较

随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级,模型驱动体系结构成为嵌入式系统开发的主流。统一建模语言(UML)和结构分析和设计语言(AADL)是模型驱动系统工程的标准,从方法、扩展机制和应用领域三个方面对两者进行研究和比较,讨论模型分析、模型转换等相关技术。最后,探讨了UML和AADL的发展与研究方向     

从UML到元建模研究理解

随着UML的流行,掀起了人们对于元建模研究的热潮,UML是一种标准的图形化建模语言,但是人为的为不同的软件开发不同的建模语言费时费力,而元建模的诞生解决了这个问题。本文以UML功用和特点,元建模各个模块之间的关系做了浅显的分析和理解。     

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

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。     

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

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

UML建模的嵌入式系统开发方法研究

介绍了嵌入式系统的特点,总结了开发嵌入式系统所要解决的关键问题,论证了使用UML开发嵌入式系统的可行性,并给出了一个在Rhapsody开发环境下使用UML开发嵌入式系统的实例.实例证明,使用UML开发嵌入式系统能够缩短开发周期,提高软件质量,降低测试成本.     

基于UML的嵌入式绗缝测试系统研究

为提高电脑绗缝机伺服运动控制系统的特性与可靠性,设计并实现了一种基于UML的嵌入式绗缝测试系统。以绗缝系统的需求规格、各种规范、标准和协议为基础,以UML的分析设计规约文档作为设计的重要依据,通过对UML文档的词法语法分析,利用类图、活动图、用例图分别完成单元测试、类簇测试和系统测试,通过分析测试结果完善绗缝系统的设计。     

基于UML规范的建模工具研究与设计

集中研究了基于UML规范的建模工具,提出了建模工具的整体架构,详细分析了架构的具体组成和各部分的主要功能以及各部分之间的通信过程,并且介绍了建模工具包含的主要功能特点及技术实现,最后展望了未来研究的发展方向。     

基于UML的嵌入式软件建模研究

本文以某型嵌入式控制系统软件的设计建模为例,证明了以可视化面向对象的UML建模工具,能够有效克服传统嵌入式系统软件设计中出现的问题,为嵌入式系统软件开发人员提供了一种新的设计开发方法。     

基于嵌入式系统的无线接入网硬件设计与实现

该文介绍了一个单片微处理器和嵌入式系统uClinux的无线接入网设计方案．阐述了ARM s3c4510b微处理器的优点及其外围电路的接口方法；讨论了嵌入式系统uClinux的移植，引导和驱动程序设计等关键技术。     

基于UML的嵌入式建模方法改进策略研究

统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.     

对统一建模语言的若干探讨

统一建模语言（UML）是由Rational公司开发的第三代面向对象的建模语言，它统一和扩展了Booch，Rumbaugh和Jacobson的表示方法，是未来面向对象软件开发的标准建模语言。在概述了MUL技术核心的基础上，着重讨论了从常用的面向对象方法（OO）到UML的升级方式，特别是Runbaugh的对象建模技术（OMT）技术到UML的转换。     

对统一建模语言的若干探讨

统一建模语言(UML)是由Rational 公司开发的第三代面向对象的建模语言,它统一和扩展了Booch、Rumbaugh和Jacobson的表示方法, 是未来面向对象软件开发的标准建模语言.在概述了UML技术核心的基础上, 着重讨论了从常用的面向对象方法(OO)到UML的升级方式,特别是Rumbaugh的对象建模技术( OMT) 技术到UML的转换.     

UML- Unified Modeling Language

Ohne Zusammenfassung Eingegangen am 25.02.1998     

面向对象的标准建模语言UML

面向对象的标准建模语言ＵＭＬ,是当今软件工程领域中最具有意义的成果之一,它定义的一统一定义和符号表示可以规范面向对象技术市场,使项目源于一个成熟的标准模语言,从而拓宽了所研制与开发的软件系统的适用范围,并提高其灵活程度。本文就ＵＭＬ中的一些特征与技术作了一个总体概述。     

基于UML的统一用户管理系统建模技术研究

论述了统一建模语言UML，运用UML技术设计了一个统一用户管理系统并分析了该系统的体系结构及主要模块。     

基于UML的人防电子地图系统分析与设计

文章首先介绍了面向对象思想的统一建模语言UML的基本概念和通用建模机制,然后以人防电子地图系统的UML建摸为背景。探索了基于UML的管理信息系统建模及多种模型图的使用方法。     

统一建模语言UML及其建模实例

以统一建模语言（Unified Modeling Language,UML)的九种图为重点，简要介绍了UML的基本概念、历史、内容及其应用；并通过对一个超级市场销售管理系统的实际建模，简要演示了应用UML建模的思路。     

统一建模技术研究

统一建模是指采用UML语言并运用RUP过程进行软件系统建模的技术。分析了统一建模的特点,总结了在统一建模过程中使用的一些技术,包括如何分析用例,如何在设计中保持一致的体系结构风格,如何识别和重组设计元素等。     

高校教学管理系统的UML模型

本文介绍了UML的基本概念、建模过程、以及UML建模的优点,描述了高校教学管理系统的特点以及功能,用一个实例来说明UML在高校教学管理系统开发中的应用,建立了高校教学管理系统中考试成绩管理部分的用例图,类图,顺序图,活动图和部署图。利用UML建模,使得用户和开发人员的沟通更加顺畅,提高了软件开发的效率。     

统一建模语言UML及应用

该文对UML的产生背景、UML的基本概念进行阐述,并以图书管理系统为例,描述了UML建模的方式。