摘要：关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统一建模语言uml是对象建模技术的发展结晶,可用于数据库的数据模型分析。通过技巧性的方法,可把uml模型映射到关系数据库,从而在数据库领域得到对象技术的诸多益处。

摘要：针对代码与模型之间的不一致性问题,提出了一种基于uml模型和Java代码之间的一致性检测方法。首先,对uml类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及uml时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了uml模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发uml模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。

摘要：uml不仅支持面向对象的分析和设计,而且支持从需求分析开始的软件开发的整个过程,这为uml引入到面向软件测试中提供了可能。随着uml模型的广泛使用,基于uml模型的软件测试越来越受到人们的关注。通过系统设计阶段的uml模型生成测试用例,可充分利用己有的设计结果来减少软件测试的总成本,对于已使用uml的工业界有着重要的意义。

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

摘要：任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度,因此可以向用户发出警告并且帮助用户改正甚至完善模型。

摘要：介绍了不同类型试题的自动批改方法。分析了基于Microsoft Visio构建的uml模型图的组成和结构,应用Visio二次开发技术,提出了一种基于图形元素比较的uml模型图的自动批改方法。该方法采用开放性设计模式,基于组件方式实现,具有良好的可扩充性。

摘要：随着社会经济与科技的不断发展,人类已经进入了全新的数字化、智能化时代。计算机技术与互联网络将逐渐被应用于人们生活中的方方面面。文章将重点分析基于uml模型技术的图书资料管理系统的设计,探讨该系统的优越性能,以及具体的设计思路。

摘要：面向对象的数据库开发框架对大型数据库应用的开发有重要作用 ,本文首先介绍了面向数据库开发框架的基本要求 ,然后介绍了uml对面向对象的数据库开发的支持 ,重点是介绍了OCL语言 ,最后用BorlandEco这样一个数据库开发框架开发了一个简易的模型 ,来显示uml模型驱动的数据库开发的巨大潜力。

摘要：软件测试是保证软件质量、提高软件可靠性的关键工作;基于模型的测试技术是目前国内外学者在软件测试领域的研究热点,大多数研究者主要关注基于模型的测试策略和遍历算法的研究,但对于计算机辅助测试工具的研究尚有不足,缺乏具有模型解析、模型处理、用例生成等综合功能的测试工具;针对以上的情况,本文分析了基于uml模型的集成测试工具的具体需求,通过跟踪需求,构建合理的操作流程,提出了一种以需求驱动为迭代开发模型、以uml模型覆盖准则为依据、以uml集成测试工具为开发目标的辅助测试工具设计方案,设计了一套具有uml模型解析、检测和测试序列自动生成功能的测试工具原型;该工具能对uml活动图和顺序图进行自动化的解析和转化,并通过遍历算法生成集成测试序列;最后,通过对多个测试实例的验证,说明了该集成测试工具的有效性和易用性。

摘要：利用uml模型来研制EJB组件是目前比较先进的方法。给出了从uml模型到EJB组件模型的转换过程,并以漏洞检测中间件的开发为例,介绍了利用uml模型设计和开发EJB组件的相关技术和开发过程。