一种结合UML和B的软件需求获取方法

精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.     

基于用例模型的面向对象需求分析方法

针对软件开发项目中需求文档详简程度不一及规范化程度不高的问题，采用面向对象 法，将标准建模语言的用例模型技术应用子需求分析，提出了一种精确描述用户需求的方法．应用 实例表明，该方法可以有效地避免或减少需求风险，有利于加快软件的开发过程．     

UML在嵌入式系统设计中的应用

为开发具有可复用性、可扩展性的高质量软件,探讨了基于UML的面向对象分析方法的设汁过程,并以“心电记录仪”为例给出用UML语言为嵌入式系统建模的方法,结果表明：UML溶入了软件工程领域的新思想、新方法和新技术,其作用域不限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程．用UML为软件系统建立模型不但有利于交流,还有利于对软件的维护．     

基于UML的软件测试用例自动生成技术的研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。     

基于用例驱动和UML的科技成果管理系统的分析与设计

以高校科技成果管理系统开发为背景,探讨了UML在该系统建模中的应用问题。详细介绍了用例驱动和用例分析的软件系统分析方法,对系统进行了需求模型、静态模型、动态模型及实现模型的建模。     

基于统一建模语言的软件体系结构描述

系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键。目前对软件体系结构的研究主要集中在软件体系结构的分析,描述等方面。利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构。这样,就可在软件开发方法中和软件体系结构,也可利用开发方法众多的支持工具。     

基于IDEF和UML的虚拟装配系统建模

为了解决复杂虚拟装配系统的系统建模问题,在分析IDEF和UML建模方法优缺点的基础之上,提出了一种两者相结合的系统建模方法.首先利用IDEF建立系统的功能模型、信息模型和过程模型,再根据IDEF和UML模型之间的映射机制,将IDEF模型转换为UML模型,从而完成系统从需求分析、功能设计、对象设计直至软件实现的整个过程.该方法能有效弥补单纯采用IDEF方法建模或UML方法建模的缺陷,实践证明在虚拟装配系统建模中具有重要的应用价值.     

基于本体的需求模型到UML模型转换方法

基于本体的需求建模能够保证需求描述的正确性和完整性,但最终得到的应用模型描述是基于应用本体的,不易于普通软件设计人员理解,无法直接成为设计时所需的需求规格说明文档.而UML语言已成为面向对象建模的实际标准.因此,将本体概念引入UML模型中,通过定义UML模型中的元本体,构建基于本体的需求模型到UML元模型的映射规则,在此基础上,设计并实现一种基于规则的图元自动转换工具,实现基于本体的需求模型到UML元模型的转换,为后期软件设计提供需求基础.     

可视化UML模型验证环境研究

针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。     

UML statechart based rigorous modeling of real-time system

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1 ) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system ; 2) an approach to capture timed automata based semantics from a 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 flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.     

人力资源管理信息系统的设计

以大中型企业为例,阐述了人力资源管理信息系统设计中采用的技术和方法,给出了使用UML语言进行系统建模的具体思想和方案．通过采用UML语言进行系统的分析和设计,解决了行业专家、软件设计人员和用户之间交流的难题,提高了系统的开发效率和质量.     

结合硬件特征的UML建模方法在嵌入式系统中的应用

为了解决UML对硬件特征描述较弱,软硬件设计时关系不紧密的问题,本文提出了结合硬件特征的UML建模方法。该方法将实时性、精度、环境要求等特性在模型中进行体现,同时将模型和开发流程有机的结合起来,不但提高系统设计的质量,也能针对不同需求快速修改设计。     

基于UML的自动饮料销售机系统的分析与设计

UML是一种面向对象的标准建模语言,它易于表达,功能强大且普遍使用,支持从需求分析开始的软件开发全过程,利用UML的建模机制,可以对大型复杂系统的各部分进行可视化表示、构建系统模型.以自动饮料销售机系统的开发为背景,研究了基于UML的应用软件系统的开发过程,给出了设计过程中的用例图、类图、时序图等.     

UML活动图在物流业务流程分析中的应用

大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户 和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为 研究对象,在进行较为详尽的调查基础上,运用UML(unified modeling language)语言进行了业务流程分析,明析 物流企业的业务流程.为进一步建立商务车队管理软件奠定了基础.     

基于迭代开发和UML的AMDD方法研究

敏捷模型驱动开发(AMDD)是模型驱动开发的敏捷版,强调构建\"足够好\"的模型.基于迭代开发的思想,分析敏捷模型驱动开发与统一建模语言(UML)之间的关系和应用,得出合理利用UML可以提高开发效率的结论.同时提出了在软件开发中敏捷模型驱动开发与UML存在的共同问题.     

基于SACRED元模型的模型驱动体系结构工具

模型驱动的体系结构（MDA）开发方法是以模型作为软件开发的主线，基于统一建模语言（UML）创建的模型不能很好地起到衔接用户需求和代码的桥梁作用，而且模型中存在不同的视角.在元对象设施（MOF）的基础上，定义了SACRED元模型，使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁，采用映射方式实现了平台无关模型（PIM）到平台相关模型（PSM）的转化，使得模型不需要关注系统细节，降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程，并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比，该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.     

深层搅拌法在局部地基处理中的应用

通过采用深层搅拌法加固场地内局部软弱土层,达到了设计对承载力及变形的要求,解决了软土地基加固这一难题．检测结果表明,该工程复合规范要求,质量合格．     

基于JavaCC的JAVA程序模型逆向转换

针对软件的维护和更新问题,提出一种基于编译技术、以类图和过程蓝图作为抽象模型的Java程序模型逆向变换方法。从对逆向变换的核心思想——逆向变换规则和机制出发,提出了从Java源代码到UML类图和过程蓝图的逆向变化规则,并用数学的形式进行了精确的定义。针对面向对象语言Java设计了一个逆向变换支撑工具,应用编译技术动态分析了Java源代码,逆向转换生成UML类图和过程蓝图的可视化模型。     

示波器软件体系结构设计模型

用软件体系结构框架来构建示波器软件设计模型，解决了各种示波器产品因不同容量的硬件和各种用户要求不同的功能造成软件不能共享的问题．为建立一个可供多用户、多功能的示波器软件，本文提供一个可供修正的管道与过滤器模型．     

Design of Fully Automatic Specification Selection System for Resistance Welding Equipment

A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding of multiple parts on a single machine in automobile factories. The system incorporates an automatic recognition system for different workpiece materials using the added machine fixture,visual detection system for nuts and bolts,and secondary graphical confirmation to ensure the corr...