基于UML可适应的教学考评系统分析与设计

该文给出了UML的概念与要点,应用UML对教学考评系统进行了建模。给出了系统的用例模型、整体结构模型、静态模型、动态模型,并分析了模型对教学考评变化的可适应性。     

一种基于动作语义的UML1.X-2.0模型转换方法

虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X模型到UML2.0模型的转换.从顶层元模型的角度比较了这两个版本的不同,采用声明式和命令式混合的模型框架,给出了一种基于动作语义的UML模型转换方法,并用ASL描述交互元模型的转换实例,验证了方法的可行性.该方法将减少用户的重复劳动,实现软件的模型重用,也适用于其他元模型或模型层次上的转换.     

运用UML进行网络教学平台建模的一般过程

UML是一种有力的面向对象的可视化建模工具,可用于描述和构造软件的体系结构。文章对使用UML进行网络教学平台建模一般过程进行了描述,并给出了系统需求模型(静态结构模型和动态行为模型)的详细UML描述。最后对网络教学平台设计与实现中的几个重要问题做进行了讨论。     

UML Statecharts的模型检验方法

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.     

UML模型到COOZ规约的形式化转换

为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。     

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

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

基于UML模型的一致性研究

采用统一建模语言UML进行系统建模的过程中,模型一致性的建立和维护是正确建模的必要前提。在UML模型的基础上对模型一致性问题进行了分析,给出了一致性问题的分类及模型一致性产生的原因。在此基础上进行模型一致性研究,并提出了关于模型一致性问题的解决方案和思路。     

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。     

智能投票系统的UML建模

简要介绍了如何运用UML建模技术来设计智能投票系统,给出了系统的结构和主要功能,并举例就其中的主要模块详细介绍了UML建模。成功实现的智能投票系统验证了该模型的正确性。模型的建立过程对于同类软件的开发具有参考价值。     

面向对象的数据仓库模型设计

面向对象的方法是软件工程中最主要和最流行的设计方法,UML是面向对象系统的标准建模语言。论文首先分析了数据仓库的多维模型的特点和基本概念,然后给出了用面向对象的技术,并结合UML进行数据仓库模型设计的方法。     

从UML设计模型到测试模型的研究*

为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程.通过实例说明如何从UML设计模型转换为UTP测试模型的过程.此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持.     

一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来,可以从模型转换的角度来考虑这个问题,把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型,并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。     

用统一建模语言进行教案设计建模的应用研究

传统教案设计过程中的弊端,提出了一种以统一建模语言(UML)为基础的教案设计建模方法,并结合"计算机操作系统"这门课程的教学实践,探讨了这种教案建模方法在教学实际中的具体应用与实施过程。这种方法将UML建模方法引入到教案设计中,按照自顶向下、逐步细化的方式分别建立起教案的课题模型,静态模型和动态模型,在教学实践中取得了较好的应用效果。     

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法.UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求.SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它.在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点.通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换.     

信息系统UML建模研究

UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用.概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型,静态模型和动态模型的设计过程,同时重点探讨了在一般信息系统建模过程中普遍适用的系统类筛选、动态方法定义等相关技术.     

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果,使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。     

基于XML的电子病历数据模式研究

研究提出了基于XML的电子病历数据的建模方法:首先,抽象出电子病历系统中主要数据概念,并将其数据结构和关系图形化,建立其概念模型;然后,根据建立的概念模型到UML的映射机制,建立电子病历数据UML对象模型;最后,根据定义的UML模型到XML Schema的映射机制,实现UML方法描述的信息数据对象模型到XML Schema的转换,从而建立了基于XML Schema的电子病历数据模式.     

浅述UML及其应用

近年来UML在世界范围，已经逐渐成为面向对象技术领域占主导地位的标准建模语言。但在我国目前还处于UML应用的初级阶段。本文对UML产生的背景及其基本概念进行阐述，并结合实例进一步描述UML建模的方式，最后对UML的发展趋势进行预测。