基于UML2.0的设备管理系统需求建模

采用基于UML2.0的用例图、活动图对设备管理系统进行业务建模.讨论了UML2.0对MIS系统业务建模的机制和特点,提出了针对中小型软件开发的需求分析方法,并给出了一个计算机设备管理系统实例.重点介绍如何使用UML2.0中的用例图和活动图对管理信息系统建立需求模型,首先分析机构组织特点,建立机构组织模型;然后提取机构的主要业务工作流,通过使用活动图建立企业工作流模型;最后根据活动图抽象出系统的执行者和用例,建立系统的用例图.并且给出了一个计算机设备管理系统需求建模实例.     

嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

基于JSP的Web应用建模与开发技术

在当今流行的Web开发技术中,JSP(javaserverpages)以其强大的优势,成为后起之秀,在Web开发领域独领风骚.UML(统一建模语言,unifiedmodelinglanguage)作为面向对象建模的标准语言,提供了针对具体应用的扩展机制,能够对日益复杂的Web应用进行建模,从而规范了Web应用软件开发过程.主要讨论了利用UML开发基于JSP的Web应用方法和技术.     

基于UML的Web应用软件的设计与实现

针对现有UML建模工具对Web应用程序设计支持不够理想的问题,提出了Web设计面向对象化的方法,抽象出Web应用程序中结构相似的、功能相近的可复用的内容.通过绘制UML示图进行Web软件结构、流程和数据建模,生成软件代码以及数据库结构的解决方案,并结合自己开发的UML建模软件工具WebBuilder阐述了用UML图设计Web应用程序的对象模型和功能模型,由此生成软件实例的方法.     

基于元模型的视图层 PIM 建模方法研究与实现

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

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

UML技术在Web开发中的应用

基于Web的应用系统变得非常普遍，对Web系统进行有效的建模是降低Web应用开发风险的重要方式。简要介绍了UML技术和Web应用程序框架，并对UML进行了扩展使得Web特有的构件能与系统模型的其余部分集成。     

基于UML的旅游决策支持系统分析与设计

UML语言是面向对象的建模语言，主要用于分析与设计阶段的系统建模，本文主要分析介绍基于UML的旅游决策支持系统，并建立了该系统的UML系统模型。     

UML在软件系统开发中的应用

针对UML在建模方面的优势,结合一个具体的实例,从系统的功能分析、系统设计到系统实施,介绍了应用UML建模的方法,重点描述了基于UML软件系统开发的建模过程,并通过软件设计平台Power Designer 15,构建了系统的需求模型、静态模型和动态模型,从而可以自动生成特定语言的代码框架,使程序的开发效率和成功率得到提高。     

UML建模在高校科研信息管理系统中的应用

介绍统一建模语言(UML),UML支持从需求分析、系统设计到具体实现的软件开发全过程.利用UML建模对高校科研信息管理系统进行分析设计,探讨了UML在面向对象需求分析中的应用.UML建模不仅能够建立可靠、完美的系统结构模型,而且可以更好地帮助开发人员理解系统中各项业务流程,方便用户和开发人员之间的交流,提高系统开发的效率.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

UML在MIS系统开发中的应用研究

统一建模语言(UML)是一种可视化的面向对象的建模语言，可用于对软件系统进行描述和构造软件的系统结构．本文在介绍UML的主要内容基础上，研究如何使用UML开发MIS系统，并通过一个仓库管理系统的实例，运用Rational Rose对UML的MIS应用作了进一步的说明。     

Rational统一过程的可视化建模的应用

为了提高开发软件的效率和软件的质量,采用新一代软件开发过程Rational 统一过程,以及功能强大的可视化建模语言UML,二者在软件开发过程中得到了广泛的应用.简要介绍RUP技术和UML语言的基本内容,并在RUP的指导下,运用UML建模技术,对设备缺陷管理及分析系统进行设计,对系统开发的各个阶段进行建模,该过程不但优化了系统的各阶段的迭代与建模过程,而且可以较容易应对需求变更,提前降低开发系统的风险,降低系统的复杂度,提高了软件开发的质量、效率和维护性.     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

跨平台可视化网页设计器的设计与实现

设计基于Java的跨平台可视化网页设计器。使用最新的Java开发工具JDK1．2,根据当前的输入信息,完成网页设计器应具有的各项功能。该网页设计器汇聚了目前流行的各种网页设计器的优点,同时具有其独特的特性－－跨平台,可使用在多种操作系统上,实现了一个功能齐全的网页设计器。     

基于UML的旅游信息系统建模研究

分析了统一建模语言(unified modeling language,UML)的建模机制,通过对综合性旅游信息系统组成及开发过程的研究,提出了一种基于UML综合性旅游信息系统的建模方法,并采用Rose工具对其进行面向对象的可视化建模,给出了详细的建模过程.结果表明,该方法能有效支持系统需求分析,快速捕获系统的设计缺陷,降低系统的开发成本.     

基于UML韵物流运输管理系统分析建模

本文以物流运输管理系统的开发为背景，探讨了UML（统一建模语言）在系统分析、设计中的应用问题。运用UML可视化建模方法，对物流运输管理系统进行分析建模。     

基于统一建模语言的分布式企业信息系统软件体系结构模型

讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和约束组成 ,采用 UML的一个子集作为体系结构建模语言 ,用例视图、逻辑视图、构件视图和配置视图是表示 UDESAM的 4个视图 .给出了基于 UDESAM的软件开发过程和以体系结构为中心、以面向对象为指导思想、基于构件、由用例驱动的软件开发策略 ,并以一个基于 Web的销售系统开发实例辅证     

运用UML构建机票预订系统模式

目的：建立一个能够方便旅客订票，航空公司快捷轻松地为旅客提供预订票服务；方法：运用UML(Unified Modeling Language)通用的可视化建模语言这种总结了以往建模技术的经验并吸收当今优秀成果的标准建模方法来构建机票预订系统模式；结果于结论：用UML构建了机票预订系统的静态模型、界面定义、使用个案、时序图、管理界面及体系结构．     

基于Web的智能电网可视化需求建模

随着电力系统规模的不断扩大,基于Web的智能电网可视化需求被提上日程,而需求建模是软件工程的初始阶段,也是重要阶段。文章使用统一建模语言(UML)的可视化建模方式进行系统分析,帮助用户与开发人员理解电网可视化的各项系统行为,缩短开发周期,降低系统开销。