UML类图中面向非功能属性的描述和检验

为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属     

基于F-SVMs的多模型建模方法

针对全局模型难以精确描述复杂工业过程的问题,提出一种基于模糊支持向量机(F-SVMs)的多模型(F-SVMs MM)建模方法。用模糊支持向量分类算法(F-SVC)对输入数据进行预处理,得到多模型模糊隶属度;用模糊支持回归算法(F-SVR)建立多模型(MM)估计器。应用该方法对pH中和滴定过程进行建模,仿真结果表明,F-SVMs MM跟踪性能好、泛化能力强,比USOCPN方法和标准支持向量机(SVMs)方法具有更好的性能和推广能力。     

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。     

虚拟矿井生产仿真系统的分析与设计

本文基于面向对象开发过程,构造了矿井生产仿真系统的总体框架,建立了矿井漫游虚拟仿真子系统的需求分析和系统设计的UML模型。从矿井虚拟仿真系统OOA到OOD阶段,分别体现了软件复用的特点,能够买现在可复用的UML模型基础上进行矿井生产虚拟仿真系统开发。模型可重用性好,已得到实际应用验证。     

LAN仿真与ATM网络

ＬＡＮ仿真（ＬＡＮＥｍｕｌａｔｉｏｎ－ＬＡＮＥ）就是为现有的多种ＬＡＮ协议在ＡＴＭ网络上运行提供一种可行的办法，实现ＡＴＭ网络与现存的以太网、令牌网和ＦＤＤＩ等互操作。本文介绍了ＬＡＮ仿真技术及其规范模型，并对ＬＡＮ仿真系统与虚拟ＬＡＮ等有关技术进行了分析     

模型驱动架构的语义组合Web服务的验证

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。     

MDA概念和技术在仿真系统开发中的应用研究

模型驱动架构(MDA)集成了统一建模语言(UML)、元对象机制(MOF)、可扩展标记语言(XML)和基于XML的元数据交换(XMI)等一系列标准,强调模型在软件开发中的重要作用.简要分析了建模与仿真和软件工程领域的若干典型模型开发与运行过程,将仿真系统的开发过程划分为需求工程、分析、设计、实现和试验五个主要阶段;探讨了模型驱动架构(MDA)的概念和技术(包括模型、建模技术、模型变换技术、代码自动生成技术等)在仿真系统开发各个阶段的应用;以交通仿真为例,给出了部分建模与仿真结果,展示了仿真系统开发过程与MDA相结合的可行性,表明了在MDA工具的支持下,MDA概念和技术的应用可以提高仿真系统的开发效率.     

土石方开挖数学模型和仿真系统的设计与研究

建立了土石方开挖数学模型,将开挖过程简化为相应的数学问题,利用数学理论进行分析和研究,为土石方分区分层分块开挖原则提供了科学的方法和理论的指导。讨论了土石方开挖仿真系统的组成、统一建模语言（Unified Modeling Language,UML）的建模机制,提出了一种基于UML土石方开挖仿真系统的建模方法,并利用Rational Rose工具对其进行面向对象的可视化建模,详细阐述了系统用例模型、静态模型和动态模型的建模过程。实例分析说明了土石方开挖数学模型、UML建模机制是有效的、可行的。     

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法.UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求.SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它.在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点.通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换.     

UML状态图在并行环境的应用研究

标准UML(unified model language)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性.针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的...     

基于UML的多智能体建模分析方法研究

以多智能体系统机器人足球仿真比赛为研究背景 ,对Agent理论和结构模型进行分析 ,探讨了使用UML语言建立Agent模型与结构之间映射关系的方法 .通过对Agent的内部结构与行为的描述 ,实现了A gent建模与其软件建模的统一 .并在开发机器人足球仿真比赛队伍AFU2 0 0 4Agent软件的过程中成功地加以应用 ,为Agent的建模和设计实现开启了新的思路 .     

基于UML的仿真应用系统映射方法研究

基于组件的仿真应用系统设计方法在视图建模时往往存在标准不统一的问题,提出了仿真应用系统向统一建模语言UML映射的解决思路,仅用两种视图实现了系统的完整建模,完成了系统静态组成结构向UML复合结构图的映射以及系统动态行为向UML活动图的映射。参考模型驱动架构MDA的开发过程,对完成映射的系统进行了代码自动生成,实现了用户的零编码。最后,通过某一海军作战仿真实例证明,此方法达到了基于组件的仿真应用系统视图建模标准化的目的,提高了系统的一致性。     

基于UML的医院信息系统建模

UML是一种面向对象的建模语言,能够将用户的业务需求映射为模型,可大大提高系统的开发效率和扩展性。运用UML用例图、时序图、协作图、状态图、活动图等表示方法,对医院信息系统HIS的需求和业务流程进行分析与设计,准确地表达系统的功能需求,有效解决了HIS的需求分析和业务建模问题,为下一步的总体设计奠定了良好的基础。     

基于UML的空间位置和坐标变换建模方法

针对常用的WGS-84坐标系统,应用基于统一建模语言（UML）的面向对象建模方法,建立空间位置和坐标变换的对象模型,采用UML类图描述空间参考坐标系模型、空间位置模型和坐标变换模型的对象定义、层次结构和关联关系,采用UML活动图和顺序图描述坐标变换算法。     

实时系统动态行为模型的一种形式分析方法*

提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。     

RM方法在基于HLA的分布式仿真系统中的应用

角色建模（Role Modeling，简称RM）技术是一种着眼于刻画对象间动态协作关系的建模方法。针对HLA强调联邦成员之间互操作和服务重用性的特点，将角色建模技术与统一建模语言（Unified Modeling Language，简称UML）相结合，应用于基于HLA的分布式仿真系统开发中，既提高了仿真系统的服务重用性，又弥补了UML在联邦成员之间协作表达能力上的不足。     

UML活动图在工作流过程建模中的应用研究

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言，其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要，对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展，给出了扩展后UML活动图的数学模型。     

基于一致性时钟同步方法的天基时频同步网建模与仿真技术研究

以卫星网络为核心的天基信息网络是现代通信网络的主要发展方向,卫星网络的高精度时频同步是天基信息网络正常运行的基础,也是卫星应用研究必不可少的前提条件;针对天基信息网络的时频同步问题,对基于一致性时钟同步方法的天基时频同步网建模与仿真技术进行了研究,通过相邻卫星节点建立的星间测量链路,实现了高精度时钟同步;进行了天基时频同步网建模与仿真系统的需求及功能组成的分析,完成了卫星网络场景仿真以及一致性时钟同步方法的仿真,仿真结果表明,逻辑时钟的时间偏差优于0.1 ns,相对频率偏差优于1e-10,时间间隔误差优于0.1 ns,时钟偏差优于10 ps@1000 s,阿伦方差优于1e-15@1 h。     

UML2．0顺序图的一种有穷自动机模型

为了在软件开发早期阶段对UML2．0顺序图模型进行分析和验证,本文给出了UML2．0顺序图的一种有穷自动机模型。首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML2．0顺序图,最后分析了UML2．0顺序图中的时间建模机制,设计了从UML2．0顺序图中提取时间约束的算法。以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础。     

基于HLA和UML的光电对抗系统仿真研究

根据当前的仿真技术发展和面临的光电对抗系统的实际需求,设计了一个以光电对抗仿真为背景,基于HLA技术的可扩展的开放式仿真体系结构,着重研究基于FEDFP模型的联邦开发过程、联邦设计及运行流程.并用UML分析设计联邦成员用例图、类图、活动图,进一步增强了建模的直观性和易理解性.该系统实现了一个可重用、具有互操作性的光电仿真"支撑平台" ,为战术应用研究和论证提供先进的技术途径和管理运作方式,对光电仿真的继续研究提供参考.