基于元模型的视图层PIM建模方法

模型驱动架构的核心思想是将建模语言当作开发语言使用,基于UML的平台无关模型建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差。研究基于元模型的视图层PIM建模方法,给出视图层PIM模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于EMOF元模型对UML建模语言进行扩展;使其对上述两种模型提供语义上和表示法的支持,最后基于Eclipse GMF框架开发了视图层PIM辅助设计工具GMTP。     

基于MDA的语义Web服务的组合与验证

针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.     

基于MDA的UML类模型转换XML Schema的方法

本文给出了统一建模语言(UML)类模型和XML Schema的转换方法,为模型驱动体系结构(MDA)的实现提供了基础.UML被MDA用来描述各种模型,成为建模语言事实上的标准;XML 以其结构性、标签性、可扩展性和可移植性成为数据交换方面的标准技术,广泛地应用于计算机软件.对用于实现MDA的UML类模型和XSD的转换进行了研究:分析了UML类图的关联、继承、组合和聚合关系,实现UML类模型和XML Schema的转换,最终生成XML文档.     

基于UML的分布式服务合约库系统建模

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述了这个元模型,并在UML2.0中进行了扩展,形成一个UML外廓.本文进一步地阐述了利用该外廓对青鸟分布式服务合约库系统所建立的模型.     

基于UML的建模及模型检验研究

UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器（SMV）对模型进行检验,有利于在系统的设计早期发现系统的缺陷。     

基于模型驱动设计方法的雷达仿真系统实现

根据某装备中雷达仿真系统的特点和需求,采用基于模型驱动的设计方法,在Rhapsody中应用UML2.0标准建模语言建立了系统开发过程中各个阶段的模型,根据模型设计并实现了雷达仿真系统。通过系统模型化的设计,使系统开发的重点从编码转到了建模之上,从而使系统的开发变得直观,且提高了系统的可靠性。     

一种基于模型驱动的系统架构设计方法

使用模型驱动的分析方法对系统架构设计进行了探究,并借助UML建模工具对某机载任务系统进行了架构建模。另外,对比分析了该设计方法与其他设计方法的不同,以及该设计方法在实际系统研发应用中可能面临的问题及解决方法。     

元模型可度量性及度量方法研究

随着UML这样的通用建模语言的广泛使用。人们开始更多地利用元模型和元建模做为软件设计和开发的手段之一．首先分析了元模型体系结构的特点及相关的包括元模型度量在内的元信息管理的要求．以OMG的四层元模型体系结构为例，对其核心成分UML元模型的争论一直都是热点问题，这提供了对其度量的必要性；元概念和OO度量的特点为对其评估提供了可行性依据．其次，在引入稳定性和设计质量的量化度量策略并进行了UML的五个元模型版本的度量实践之后，给出了度量结果的评估及与相关主观性研究的对比．最后，对元模型度量方法的研究给出了应用展望．     

Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．     

基于SOA的军事仿真系统架构研究

结合模型驱动架构开发思想与Web Service实现技术,根据军事电子信息系统仿真应用的需求和特点,提出了基于SOA的军事仿真系统架构模型,对架构模型的各个层次做了深入分析,并阐述了基于SOA的仿真系统的开发过程.     

Model development

In 2001, the Object Management Group (OMG), an IT industry standards body, came up with the Model Driven Architecture (MDA), an approach to software development grounded on the principles of high-level abstraction and hardware independence. Using MDA, teams of developers, it was proposed, would build a model of their system, which would then be used to create not just working prototypes but almost all the software code of the finished application. In its current version, 1.5, UML lacks the full functionality needed to realise the MDA ideal. The next release, UML 2, is intended to overcome the deficiencies of UML 1.5, adding features to fully support MDA and allow tools to generate working software code from UML models in a standard way.     

一种新型的软件体系结构描述方法研究

UML2．0与XYZ／ADL在软件体系结构描述方面具有很强的互补性，如果将两者结合起来描述软件体系结构．不仅便于开发人员之间的理解和交流，也可以对体系结构进行下一步的分析和验证。文章分析了UML2．0跟UML1.X相比在软件体系结构描述方面的改进之处．根据UML2．0与XYZ／ADL在软件体系结构描述中的对应关系，提出一种通过定义UML2．0的XYZ／E语义．将UML2.0与XYZ／ADL结合起来描述软件体系结构的一种新的途径。     

基于Visio的站内搜索系统的UML建模过程

系统分析是系统开发的关键,软件建模技术使系统开发走向成熟。UML是一种标准建模语言,适用于用面向对象技术来描述的任何系统。现以站内搜索系统为例,阐述Visio2002中的UML建模问题,讨论了UML的建模机制及Microsoft Visio中UML的建模过程。     

一种UML2．0模型动态特性的一致性验证方法

近年来，UML已经被广泛应用于软件的分析和设计，然而，由于软件系统的复杂性，在UML模型中，难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2．0模型状态图和顺序图一致性的方法。首先，用XYZ／E来形式化描述状态图并将其转化为Promela输入语言；然后，用LTL来表示顺序图间的相互作用；最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。     

C2C电子商务平台设计与实现

主要从软件体系架构和系统实现角度对C2C电子商务平台进行了研究。基于UML建模语言进行系统建模,综合使用Web2.0相关技术,采用分层次、构件化思想,设计并实现了一个具有柔性、个性化特征的C2C电子商务平台,以快速响应环境及用户需求的变化。     

基于UML语音发票查询系统的研究及应用

UML建模是面向对象技术的一个重要应用，也是近代软件工程环境中对象分析和设计的重要工具。本文首先介绍了UML的建模原理，然后结合海口地税语音发票查询系统项目的分析设计过程，对UML技术的具体应用作了详细的描述。     

MDA方法在飞机/悬挂物集成领域中的应用

提出一种被称为MDA的PnPW系统集成的开发过程.MDA用于构建PIM,并进而导出PSM和PSI.这些模型利用叫作UML和AADL的符号表示法构建.利用MDA,可以从许多不同的角度来分析系统的体系结构,并利用软件工具完成自动的代码生成过程,能够利用MDA实现这些高级模型的转换.讨论了飞机/悬挂物集成的当前状况,以及集成...     

基于UML铁道设备微机监测系统软件的设计

铁道设备微机监测系统负责对运行中的铁道设备的工作状态及参数进行实时监测及故障诊断，关系到安全运行，要求高可靠性和较强的数据处理能力。阐述了系统的总体结构，在分析UML建模技术的基础上，提出了基于UML的系统模型。     

基于UML的实验室预约管理系统设计

随着信息技术的高速发展,实验室传统的预约管理方式已经无法满足实际的需求,传统的手工预约方式存在着诸多弊端。文章结合信息技术与实验室需求,借助UML技术进行实验室预约管理系统的设计。UML作为一种统一的软件建模语言,在需求分析、系统的多角度观察等方面具有良好的建模能力。采用UML进行系统设计,还可以方便后续开发时编程语言的选择。