基于UML网络信息资源管理与服务系统建模

UML建模语言并不规定建模过程,而且uML建模标记非常丰富,为了构建有效的系统模型,要根据实际选择适当的过程和方法.本文以网络信息资源管理平台的开发为背景,介绍了在面向对象应用系统的分析与设计过程中,应用UML进行系统建模的过程和方法.     

基于UML的工程资料管理系统分析与设计

作为一个通用的建模语言,UML支持从需求分析、系统设计到具体实现软件开发的全过程.本文首先简要介绍了UML与基于Rose的软件系统建模方法,并以工程资料管理系统为应用背景,详细讨论了以Rose为工具建立系统的用例图、类图等静态模型和顺序图、状态图等动态模型的方法和实例.最后探讨了用UML分析设计应用软件时需要注意的问题.     

基于MetaEdit+的元建模

统一建模语言UML的广泛使用大大提升了模型在软件开发中的作用,以模型为核心的软件开发方法逐渐被人们所接受.但由于UML是作为一种通用建模语言而设计的,它既庞大而又复杂,所以不容易为领域专家所学习和掌握,常常使软件设计人员陷入繁重的建模工作而不能脱身.使用面向特定领域的建模语言DSL(Domain Specific La...     

基于UML的高校教材管理系统建模

面向对象建模是一种运用对象、类、继承、封装、聚合、消息传送、多态等概念来构造系统的软件开发方法.UML是一种面向对象的统一建模语言.基于UML的三种面向对象模型,运用UML建模机制为教材管理系统建模,给出相应的域类图、活动图、交互图和用例模型.     

构建网络辅助教学平台的相关核心技术研究

网络教学辅助平台是一种全新的学习方式,是具有交互性、具有丰富共享资源的一种数字化学习环境,实现网络辅助教学平台的构建,需要以下一些相关的技术：选择软件开发方法、数据库访问技术、ASP.NET技术、SQL Server数据库管理技术、UML统一建模语言技术。本文深入研究了构建网络辅助教学平台的核心技术,并与相关技术进行了对比。     

一种UML 软件架构性能预测方法及其自动化研究

软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法,将给开发者带来高风险和高成本等后果.如果能在软件开发周期的早期对软件系统性能进行预测,可以提前发现软件系统架构存在的性能瓶颈,并找出可能的优化方案,对各种设计方案进行比较以得出最优的软件系统架构.研究了一种基于模型的UML 软件架构性能预测方法:该方法选取软件架构设计中的UML 用例图、活动图和构件图,并引入构造型和标记值,将它们扩展为UML SPT 模型;进而,通过转换算法将UML SPT 模型转换为排队网络模型,该算法可处理同时包含分支节点和汇合节点的UML 模型活动图;最后,利用频域分析理论求解排队网络模型,以得出性能参数及性能瓶颈.同时介绍了UML 软件架构性能自动化工具的设计方案,并给出了软件架构性能预测实例.     

UML和SDL在开发L2CAP协议中的结合运用

建模语言的选取对软件开发至关重要，选择合适的建模语言可提高软件开发的效率，产生高质量的软件。UML和SDL是运用最广泛的两种建模语言。该文在分析二者的优缺点的基础上，以开发L2CAP为例，阐述了如何在同一软件开发过程中运用UML和SDL。     

基于RUP和UML的商场会员卡信息系统建模

Rational统一过程RUP是先进实用的软件开发过程,统一建模语言UML是功能强大的可视化建模语言。本文结合商场会员卡信息系统,遵循RUP的生命周期阶段,采用UML进行系统建模。在系统建模过程中各模型建立时,可进行相应的推导和转换。将RUP和UML结合起来指导软件开发,可提高软件开发的质量、效率和可维护性。     

基于UML的远程实物实验平台的设计

采用UML语言为远程实物实验平台建模,首先用实施图描绘了网上实物实验系统的体系结构,然后分别用UML类图和顺序图描述了平台的静态和动态模型,实践证明,UML是一种表达能力很强的建模语言,采用UML的建模技术为远程实物实验平台的设计提供了有利的保障.     

一种顺序图的形式化描述与推理过程

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题.最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释.这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件...     

城市公交调度系统软件设计与实现

针对城市公交运营调度手段落后、无法对运营车辆实时监控的现状,按照面向对象软件工程的思想,采用统一建模语言(UML)对城市公变调度软件系统进行了设计和实现.在需求分析的基础上,分别采用类结构图和时序图从动态角度和静态角度描述了软件系统的模型,并给出了部分通信协议和协议解析代码.该系统已采用C#语言在.NET平台上实现,并在实验室进行了测试.测试结果表明设计的正确性,实现了预期功能.     

基于UML的电子商务系统分析与设计

随着网络技术的日益发展,互联网已经深刻而广泛地影响着人们生活的方方面面。电子商务作为互联网发展的新产物,将从根本上改变几千年来形成的传统商业模式,充分体现出现代科学技术给人们生活带来的便利。UML是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。文章介绍了UML定义的5类（包含10种）模型图,给出了构建电子商务系统的步骤,对其应用进行了评价和展望。     

基于UML的Web商务平台的开发方法

统一建模语言UML是一种面向对象的软件开发方法,它融合了软件工程领域的新思想、新方法和新技术。本文用UML设计了一个Web商务平台,并用支持UML的建模工具--RationalRose Enterprise Edition实现了该Web商务平台。本文给出了Web商务平台的需求分析-用例图,Web商务平台的详细设计--序列图、活动图和类图,以及Web商务平台的实现--
组件图和布局图。UML作为标准建模语言,支持从系统需求分析开始的软件开发全过程,它使系统各开发团队能够较容易地沟通,从而增强了整个系统开发过程的可控性,加快了
系统的开发速度,提高了软件质量。     

DMS系统图形绘制软件架构模型的研究与设计

文章简单介绍了文中涉及的统一建模语言UML的概念,论述了配电自动化系统中图形绘制软件主要的功能需求和非功能需求,通过对这些需求的研究和分析,提出了一个基于模型-视图-控制设计模式、符合面向对象思想的图形绘制软件架构模型,详细分析了组成该模型的类,用UML的类图和时序图描述了模型的静态和动态架构,以开发原型系统的方式验证了该模型的合理性和可用性。     

基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.     

一种基于UML的网络安全体系建模分析方法

UML主要采用静态图、用例图、行为图和交互图等图形表示方式,是系统分析中实现可视化、详述和构造、文档化的一种标准通用建模语言。除软件系统模型之外,还可用来描述非软件领域,比如企业机构、业务过程、机械系统,以及用于复杂数据处理的信息系统,应用空间十分广泛。本文将讨论UML在网络安全系统领域中的建模分析方法。     

UML模型检测方法的研究

统一建模语言（UML）是设计和分析软件系统最常用的方法，如何保证UML模型满足某些特性是一个非常重要的问题，而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器（SPIN）对UML模型进行检测的方法。首先对UML模型进行形式化描述，使用层次自动机来描述状态图，然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA，使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束，通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。     

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

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