基于UML的学生食堂自动收费系统研究

简要介绍了统一建模语言UML（Unified Modeling Language），给出了学生食堂自动收费系统问题描述，根据问题描述对该系统建立了类模型，用例模型，活动图和顺序图，这些图为此系统的形成奠定了基础。     

基于UML的学生食堂自动收费系统研究

简要介绍了统一建模语言UML(UnifiedModelingLanguage),给出了学生食堂自动收费系统问题描述,根据问题描述对该系统建立了类模型,用例模型,活动图和顺序图,这些图为此系统的形成奠定了基础。     

基于UML活动图的用例识别

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

UML用例图的Z形式规范

统一建模语言UML已经成为面向对象建模语言的标准，用例图在面向对象的软件开发过程中起着重要的作用，但是它缺乏Z形式语言的精确性。为了对它的描述更加精确，本文使用Z语言给出UML中用例图的形式化描述，并将其应用在一个简单的图书馆管理系统中。     

UML活动图的形式语义及分析

UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。     

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

基于ASM扩展的活动图进行业务过程建模

为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin／Odell OOA／D方法，该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为，并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的，通常不够准确，故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。     

基于时序描述逻辑的UML顺序图形式化研究

在统一建模语言（UML）规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及论证.针对UML顺序图缺乏精确的形式化描述问题,根据顺序图的时序特征,提出了增加交互操作符的UML顺序图的六元组形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑.应用时序描述逻辑的时态算子得到时序描述逻辑语义形式的UML顺序图.用UML顺序图描述完整的C语言执行过程,将其形式化描述,实验结果表明,这种方法是可行的.     

基于UML用例图的软件产品线需求建模方法

软件产品线方法是一种面向特定领域的、大规模、大粒度的软件复用技术。明确建模和描述软件产品线需求是软件产品线开发的关键问题之一。而传统的UML用例图等方法不足以完整描述产品线需求,特别是其变化性。通过分析软件产品线开发过程和软件产品线需求建模的特殊性,采用扩展UML用例图标签的方法,实现对软件产品线需求的明确描述。以网络图书销售软件产品线为例,进行具体说明。     

基于UML活动图生成功能测试线索

测试自动化是提高软件测试效率的重要途径。基于UML模型的面向对象软件测试是当前研究的热点。这些研究大都是类或集成测试，对于如何自动生成较为完整、合理的系统测试用例较少。在总结研究现状的基础上，以应用举例的方式提出一种从描述系统用例问顺序依赖关系的活动图和用例实现的活动图中获取系统功能测试线索的方法。     

M-H_2O系中溶液态物质的优势区域图

M -H2 O系中各溶液态物质在电势 pH平面内的优势区是Pourbaix图的一个重要内容。各物质的优势区大小由溶液态各物质的活性元素 (M)的总浓度T(M)决定 ;只有当各物质均含有相同数目的活性元素 (M)时 ,它们各自的优势区大小才与总浓度T(M)无关。T(M)一定时 ,E -pH平面内各点 (pH ,E)所对应的各物质的浓度可用改进的“二分法”求出。求出了Cu -H2 O系及不同总浓度T(S)和T(Cr)时简化的S -H2 O系和Cr-H2 O系各自的优势区域图。结果表明 ,随着T (S)的增加 ,S -H2 O系中较高级多硫化物的优势区增大 ,且移向低电势区 ;Cr -H2 O系中随T(Cr)的改变而变化最明显的是Cr3 ,Cr(OH) 3,Cr(OH) -4 ,和Cr3(OH) 5 4的优势区。     

一种基于UML的软件开发方法

基于UML的软件开发方法－－UMLM是作者针对UML（统一建模语言，Unified Modeling Language）有非专业开发人员的特点提出的。特别适合于一些对软件开发各方法仅有简单了解的非计算机专业人员开发一些实用的小型应用系统。本文通过一个例子说明如何运用UMLM开发应用系统。     

MATLAB环境下频率响应曲线的绘制方法

本文给出了MATLAB环境下线性系统的Bode图、Nyquist图、Nichols图的绘制方法,为线性控制系统的频域分析提供了一种简单有效的途径。     

电梯仿真设计的UML实现

介绍了统一建模语言 UML的基本知识 ,并利用 Rational Rose分析、设计了电梯的仿真模型 ,并给出了电梯仿真中有关类的设计和 UML框图     

加权Voronoi图的离散生成

加权Voronoi图是Voronoi图的一种扩展,有着广泛的应用.给出了一种新的构建加权Voronoi图的离散生成法.此方法无需复杂的计算,容易实现.     

Dynamic polar diagram

The polar diagram [C.I. Grima, A. Márquez, L. Ortega, A new 2D tessellation for angle problems: The polar diagram, Computational Geometry 34 (2006) 58-74] of a set of points on the plane and the contracted dual of polar diagram (CDPD) [B. Sadeghi Bigham, A. Mohades, The dual of polar diagrams and its extraction, in: International Conference of Computational Methods in Sciences and Engineering ICCMSE, vol. 7, Greece, 2006, pp. 451-454] have been introduced recently. In this paper, we introduce the Dynamic Polar Diagram and present an algorithm to find it using CDPD and a hash structure for point location problem. In the dynamic polar diagram, the points can be added to or removed from the point set. For this problem, a brute-force method runs in O(nlogn) time and also there is a sketch of an algorithm in [C.I. Grima, A. Márquez, L. Ortega, A new 2D tessellation for angle problems: The polar diagram, Computational Geometry 34 (2006) 58-74] that takes O(n) time in all cases (best, average and worst). In our approach, we first determine an area out of which the polar diagram does not change due to insertion or deletion of a site. Then we present a new algorithm to solve the problem in O(kp) time where kp is the number of the sites whose polar regions are affected by the new addition or deletion of p.     

Power图的性质及构造算法研究

点集的Power图是点集Voronoi图的推广,特别适用用来解决涉及球（圆)的几何问题,文中首先对Power图的基本性质进行了几何化的证明;之后,研究了权为负数时对Power图的影响,指出在Power图的理论中允许权为负数,从而Power图可以应用到具有负权性质的领域;最后,给出了平面点集的Power图的构造算法,该算法到用Power图与正则三角化互为对偶的原理,在点集的正则三角化的基础上构造Power图,同时给出了实例以说明算法的有效性。     

UML在CRM系统中的建模应用研究

客户关系管理系统(CRM)是以客户为中心,利用信息技术,实现市场营销、销售、服务等活动自动化。为了建立可靠、可重用、可维护的CRM系统,应用UML技术对CRM系统建模。分析了UML建模的优点,探讨了UML建模技术,提出了利用UML技术实现对CRM系统的分析建模,使用用例图分析系统的功能需求,叙述了应用类图、顺序图、组件图、配置图设计系统的结构。应用UML的可视化建模,降低了系统的复杂性,提高了软件开发效率和质量。     

eulerForce: Force-directed layout for Euler diagrams

Euler diagrams use closed curves to represent sets and their relationships. They facilitate set analysis, as humans tend to perceive distinct regions when closed curves are drawn on a plane. However, current automatic methods often produce diagrams with irregular, non-smooth curves that are not easily distinguishable. Other methods restrict the shape of the curve to for instance a circle, but such methods cannot draw an Euler diagram with exactly the required curve intersections for any set relations. In this paper, we present eulerForce, as the first method to adopt a force-directed approach to improve the layout and the curves of Euler diagrams generated by current methods. The layouts are improved in quick time. Our evaluation of eulerForce indicates the benefits of a force-directed approach to generate comprehensible Euler diagrams for any set relations in relatively fast time.     

基于UML的蜂窝式客户管理系统的设计与研究

UML是一种标准的图形化建模语言,它是面向对象分析与设计的一种标准表示.蜂窝客户管理系统利用UML类图建立了系统静态模型,并对蜂窝定义与划分模块使用用例图进行需求分析和用时序图来完成动态模型的建立.