继电保护定值管理系统设计

基于工作流技术分析了定值单管理业务过程,利用UML活动图对定值单管理工作流程建模,在BEA Weblogic Integration支持下实现了定值单工作流系统,给出了与定值整定计算软件、配电AM/FM/GIS进行系统集成的方案.系统的实施实现了定值生产管理流程化、自动化和多部门协同.     

UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

UML在植物资源检索系统中的应用

为使山东省的植物资源数字化,改变植物工作者手工查阅工具书的现状,以更快捷、全面、准确的方式检索相关资料,设计并实现了山东省植物资源检索系统,并利用UML的其中5种图和其支撑软件Rational Rose,结合植物检索的流程,对植物资源检索系统进行了系统分析与设计,从软件工程的角度完成了功能模型、业务模型和数据模型的建立,从而以静态结构和动态行为相结合的方式较全面、客观、标准的展示了该检索系统的设计部分.     

一种可扩展3D游戏脚本系统的设计与实现

通过运用现代软件工程的思想,本文提出一种可扩展、可复用脚本系统的设计方法,具有良好的层次性、封装性、易理解性.首先介绍脚本系统的整体框架设计,然后通过UML类图详细描述系统关键类的设计,并同时给出系统演示,效果良好.     

基于.NET平台的信息系统开发方法

介绍了软件开发的相关环境、模式以及工具,提出一个基于.NET平台的信息系统的开发框架,以建筑设计项目管理软件开发为实例,对系统设计和实现过程作出技术分析.     

数据库应用系统的建模研究

介绍了当今的软件建模发展现状及UML的建模框架和策略,并针对高校机房计费系统的实例,讲解与RUP相容的建模框架,给出了基于UML的数据库应用系统建模的整体设计流程。     

基于PI3000平台的电力企业模型可视化研究

基于PI3000平台进行信息系统建设的第一步是企业模型的构建,原有的树状结构的模型描述方式不够清晰直观.提出了一种基于PI3000平台的电力企业模型可视化的方法,该方法以UML类图的方式展现信息系统中的企业模型,同时,为了增强可读性,重点研究了UML类图的自动布局过程.     

基于UML活动图测试场景的优先级判断

由于UML模型在设计过程中产生,作为测试模型不需要额外的开支,因此以UML作为测试模型的研究很多.目前的研究方法大多数采用灰盒测试方法[1]对各种模型的条件、节点、方法等进行遍历,得到测试场景.然而在实际中,通过这些方法从UML模型中会得到很多的测试场景,目的就是要对找出的灰盒测试用例进行优先级判断,找出较为重要的测试用例,这些测试用例能为实际的测试过程提供着重测试的依据.     

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems

This paper presents a quantitative framework for early prediction of resource usage and load in distributed real-time systems (DRTS). The prediction is based on an analysis of UML 2.0 sequence diagrams, augmented with timing information, to extract timed-control flow information. It is aimed at improving the early predictability of a DRTS by offering a systematic approach to predict, at the design phase, system behavior in each time instant during its execution. Since behavioral models such as sequence diagrams are available in early design phases of the software life cycle, the framework enables resource analysis at a stage when design decisions are still easy to change. Though we provide a general framework, we use network traffic as an example resource type to illustrate how the approach is applied. We also indicate how usage and load analysis of other types of resources (e.g., CPU and memory) can be performed in a similar fashion. A case study illustrates the feasibility of the approach.

基于UML的P2P流媒体系统模型研究

本文通过统一建模语言（Unified Modeling Language,UML）,以UML图的方式,在不同的抽象层次上分析了典型Peer-to-Peer（P2P）流媒体系统CoolStreaming的静态与动态模型,从多视角逼近基于Gossip协议的流媒体系统模型的本质。