利用UML开发J2EE应用

J2EE是目前开发网络业务应用的理想平台，而UML是可视化建模的工业标准。本文首先简单介绍了J2EE和UML，然后重点介绍如何有效运用UML对基于J2EE的应用进行可视化建模，并通过对一个网上购物系统的实际建模，简要说明了运用UML对基于J2EE的应用进行建模的过程。     

主动Overlay物联网QoS服务路由算法研究

在物联网环境中,服务可能由任意多个结点汇聚而成,而传统的尽力而为的通信服务不能保证服务质量(QoS)。为此,首先提出了主动Overlay物联网服务路由逻辑拓扑结构,然后对物联网服务路由问题进行了建模。在此基础上,设计了基于Agent和蚁群优化(ACO)的主动Overlay物联网QoS蚁群服务路由算法。该算法结合移动A-gent对ACO进行了改进,实现了保证QoS的服务路径选择。最后从理论上证明了该算法的正确性和收敛性,同时通过仿真实验对该算法的实际性能进行了验证和比较。     

LEO／MEO卫星网络中的一种抗毁动态路由算法

要首先分析了目前卫星网中流行的离线路由算法由于无法获知当前网络中流量的分布和链路的状态，因此无法对路由进行优化．也无法绕开故障链路的缺陷。针对这些缺陷，提出了一种抗毁动态路由算法。该算法首先通过一种基于簇的星问链路状态信息传递子算法，以较低的带宽开销将链路状态信息传遍全网；然后利用边界卫星源路由子算法。对链路状态、路由切换等因素进行综合优化。在Iridium系统模型的基础上对离线路由算法和抗毁动态路由算法进行了仿真，仿真结果证明后者具有更好的性能，尤其在部分链路故障时，优势更加明显。     

UML面向对象建模在网上图书销售系统中的应用

文章首先简要介绍了基于面向对象思想的统一建模语言UML的基本概念,然后阐述了UML建模机制与RUP相结合的生命周期迭代化建模思想,最后以网上图书销售系统的UML建模为背景,探索了基于UML的管理信息系统建模及UML中多种模型图的使用方法.     

基于OPNET的片上网络路由算法的建模与仿真

随着电路集成程度的快速发展,集成电路中传输的数据量也随之增加.传统的传输总线受带宽不足的影响,传输延时明显增大,片上网络很好的解决了这一问题.片上网络路由算法的设计决定了片上网络的性能,对一种自适应性片上网络路由算法进行建模及仿真,来分析其性能指标.首先介绍了片上网络的发展与优势;然后提出了一种高效的自适应路由算法并对其进行了详细阐述;之后结合最常用的网络拓扑结构,应用OPNET仿真软件建立三层仿真模型;最后对上述模型进行仿真,观察在大量数据包涌入网络时,所提算法处理数据包选择路径的能力.在延时性能上,所建立的路由模型远远优于传统的确定性路由算法.     

无线传感器网络的路由算法与仿真实现

无线传感器网络能够协作地实时监测、感知和采集各种环境或监测对象的信息，并对其进行处理，传送到信息接收者，其关键技术之一是路由算法及实现。分析了Directed Diffusion路由算法，用UML统一建模语言对该路由算法进行了建模，在网络模拟工具NS的模块上实现了对该路由算法的模拟仿真，分析了其时延、能耗、数据发送率等网络性能，并与Flooding路由算法作比较。仿真结果表明Directed Diffusion路由算法在某些方面有较好的特性。     

卫星网路由算法研究

提出了一种运行于卫星网络上的基于时空的路由算法，该算法包括三个步骤：初始阶段．计算候选路由阶段及选择转发路由阶段．当网络卫星节点取得数据报的目的出口节点(卫星)的地址后，使根据此刻的源卫星、目的卫星的位置，采用路径延时的度量标准(Metric)，对最佳路径进行计算，并得到一个经过优劣排序的候选路径集合．仿真实验结果表明该算法能较好地满足在卫星网络上完成路由功能的要求．     

基于UML的组件建模研究

首先分析了目前组件开发中存在的一些缺陷和不足,然后提出了一种基于UML的组件建模方法,对组件建模过程进行了探讨,最后给出了一个文件网络传输组件(FTCN)建模实例。     

基于卫星网的路由算法研究及其伪代码实现

路由问题在通信网中一直是一个核心问题，路由算法的优劣将直接影响到整个通信网络的性能以及通信的质量，在卫星网络中也不例外。由于卫星网络具有区别于地面网络的拓扑结构的动态变化等独有的特点，使得适用于地面网络的路由算法不能用于卫星网络上，因此必须针对卫星网络的特点设计适合于卫星网络的路由算法。本文先阐述了路由算法的影响因素及设计目标，然后提出了一种运行于卫星网络上的基于时空的路由算法，给出了算法的详细步骤，并详细介绍了算法的伪代码实现。实验表明该算法能很好地满足卫星网络的要求。     

基于节点剩余能量和最大角度的无线传感器网络路由算法

针对传统无线传感器网络(WSNs)路由算法的缺点与不足,为了延长网络的生存时间,提出一种基于节点剩余能量和最大角度相融合的无线传感器网络路由算法.首先构建了无线传感器网络结构和能量模型,然后建立节点剩余能量和角度联合路由优化算法,最后采用Matlab 2012仿真工具进行仿真测试.仿真结果表明:该路由算法延长了整个网络的生存时间,具有较好的容错性和鲁棒性.     

Activity-based DEVS modeling

Use of model-driven approaches has been increasing to significantly benefit the process of building complex systems. Recently, an approach for specifying model behavior using UML activities has been devised to support the creation of DEVS models in a disciplined manner based on the model driven architecture and the UML concepts. In this paper, we further this work by grounding Activity-based DEVS modeling and developing a fully-fledged modeling engine to demonstrate applicability. We also detail the relevant aspects of the created metamodel in terms of modeling and simulation. A significant number of the artifacts of the UML 2.5 activities and actions, from the vantage point of DEVS behavioral modeling, is covered in details. Their semantics are discussed to the extent of time-accurate requirements for simulation. We characterize them in correspondence with the specification of the atomic model behavior. We demonstrate the approach with simple, yet expressive DEVS models.     

基于UML的城市污水处理系统的建模研究

利用Rational Rose工具创建UML模型,以城市污水处理过程为建模对象,从软件开发的整体高度,再现污水处理过程的框架及其步骤,为此,进行了用例图、活动图和时序图的建模分析设计,用于辅助研发污水处理仿真软件。同时介绍了UML在实际软件开发流程中的应用,最后完成了污水处理仿真软件的框架设计和开发。     

Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams

UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.     

基于UML活动图化简方法的工作流模型校核研究

针对开放、响应型系统建模UML活动图表现优良的特性，UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步，特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术，在UML活动图到活动超图映射基础之上，对活动超图建立化简规则，通过化简实现工作流模型校核。实践证明此方法有效。     

Test Synthesis from UML Models of Distributed Software

The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior models have long been recognized as the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. Two complementary approaches for modeling behavior have proven useful in practice: interaction-based modeling (e.g., UML sequence diagrams) and state-based modeling (e.g., UML statecharts). Building on formal V&V techniques, in this article we present a method and a tool for automated synthesis of test cases from scenarios and a state-based design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labeled transition system formalism, which is particularly appropriate for modeling applications involving asynchronous communication. The method is eminently compatible with classical OO development processes since it can be used to synthesize test cases from the scenarios used in early development stages to model global interactions between actors and components, instead of these test cases being derived manually. We illustrate the system test synthesis process using an air traffic control software example     

基于UML活动图的用例识别

在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本文提出了一种通过用UML活动图半自动生成用例的方法.首先通过引入形式化模型——统一结构来描述用例图与活动图,其次给出分解活动图的算法,然后根据分解活动图得到的依赖链生成对应的用例的事件流,从而得到用例模型,最后通过所开发的原型CASE工具进行案例的演示,验证了本文所提出的方法的可行性。     

基于UML的模具网络化协商事务处理系统分析与设计

UML是在Booch,OMT,OOSE等面向对象建模方法的基础上发展起来的新一代标准图形化建模语言。它具有非常丰富的表达能力,是目前最为流行的建模语言。文章基于我国模具制造业的基本发展状况,首先采用UML的用例图(UseCaseDiagrams)对模具网络化协商事务处理系统进行用例分析,然后再利用活动图(ActivityDiagrams)对它的工作流进行了分析,最后,在此基础上再进一步利用UML的类图(ClassDiagrams)对协商事务处理系统进行了设计。     

从UML到GSPN的转换和性能分析方法

UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息;然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式;最后利用基于GSPN的性能分析方法进行系统性能分析。同时给出了一系列性能指标的计算方法,如利用率、吞吐量、平均等待请求的数目以及响应时间等,可以考察系统性能的多个方面,方便系统设计和开发人员对系统性能进行分析和优化。     

光电干扰武器系统C3I可执行建模的研究

UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述，而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段，并且是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法，对光电干扰武器系统C3I进行了UML建模的一般描述，阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确的评价。