形式化表示UML顺序图的结构操作语义

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.     

UML类图的度量分析与评价

运用CK度量方法和MOOD度量方法分别从类和系统两个角度对UML类图实例实施定量计算,对度量结果进行分析、评价,并提出改进措施.以此衡量UML类图模型质量的好坏,可以及时有效地对有缺陷的类进行调整.     

基于UML的毕业设计综合管理平台的类图建模

一个好的管理模式能有效地精简对毕业生的毕业设计进行管理的环节。本文通过UML语言的类图,详细描述了基于B/S架构的毕业设计综合管理平台是如何支持学生、指导教师和系统管理员这三种用户角色的。该管理平台的搭建更便于师生间的及时交流和指导,能方便实时地解决学生在毕业设计中遇到的各种问题,其完善的功能和友好的界面使学生在毕业设计的完成过程中能更加高效、便利,减少毕业设计管理流程中的冗余环节,节约管理工作的人力资源,进而提高毕业设计的管理质量。     

UML活动图的一种逻辑语义

为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.     

从UML类图到本体的自动映射

本体(ontology)是描述概念及概念之间关系的概念模型,通过概念之间的关系来描述概念的语义.然而,本体的描述语言种类繁多,阅读困难,不利于本体建模人员交流沟通.UML作为建模领域的公认标准,已被许多人熟知和广泛使用.基于UML和本体建模的相似性,提出利用UML类图描述本体模型,并建立了从UML类图到本体模型的自动映射,以提高本体建模的效率.     

基于模糊描述逻辑的模糊UML类图形式化

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。     

基于UML类图的企业信息视图建模的研究

利用UML方法建立企业的信息视图,研究了在信息建模方面采用类图(class diagram)建立逻辑模型以及逻辑模型向关系型数据库支持的物理模型的转换.     

基于common logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.     

基于本体的音频语义检索模型

通过分析现有音频检索中存在的问题,提出了一种对语音数据进行语义自动标注的方法,建立了一种新的音频本体库的检索模型,并对今后的研究方向进行了展望。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

基于扩展ITCPN的UML状态图建模

在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

应用SVG实现基于Web的UML图形编辑

在XML技术的基础上,应用SVG技术实现了一种基于Web的UML图形编辑方法．该方法是以XML数据文件表示UML图,然后通过XSLT变换程序把XML数据文件在服务器端变换为SVG代码,SVG代码在浏览器中显示．对图形的编辑操作包括放大、缩小和移动等,该方法的最大优势在于允许用户随时随地通过Web进行编辑．     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

基于UML和MVC的远程教育网站设计

网站是现代远程教育的平台,实现远程教育网站设计的可重用、提高网站的开发效率具有重要意义.使用UML统一软件建模语言和MVC模型、视图、控制方法来设计远程教育网站,用UML用例图做需求分析,用类图设计系统静态模型,用顺序图设计系统动态模型,用MVC设计系统组件结构.用这种方法设计的远程教育网站易于代码化,具有良好的可重用...     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

基于场景和UML图的CBSD软件集成测试方法研究

基于构件的软件开发(Component_Based Software Development,CBSD)是软件设计的新趋势,软件测试是软件质量的保证.构件化软件的测试核心是构件间的交互.介绍了一种基于场景和UML图的CBSD软件的集成测试方法,它以扩展的UML图为主要的测试模型,分析构件间的交互,并利用场景的思想生成测试用例.最后提出了一个构件化软件集成测试框架.     

UML类图的一种表示方法

由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。