UML对基于B/S模式的图书管理系统的分析与设计

对基于B/S模式下的图书管理系统进行分析,运用UML的静态和动态模型图,对系统的分析结果进行可视化建模,并对系统模型图进行概括性论证。     

基于UML图书管理系统的建模与设计

借助UML建模语言对图书管理系统进行了详细的分析和设计,同时在需求分析的基础上给出了系统的总体用例图、顺序图和活动图等,最后对此进行了归纳总结。     

基于UML的图书管理系统分析与设计

图书管理系统是信息化时代有效管理图书的重要手段,根据不同的权限,读者、管理员、系统管理员可以完成各自的操作。文中借助UML技术对图书管理系统进行了面向对象分析与设计,在需求分析阶段给出了系统用例图,在类设计阶段给出了系统类图,在交互性设计阶段给出了借书时序图。     

用Rational Rose实现图书管理系统的建模设计

本文在介绍了UML和Rose的特点后，以图书管理系统为例，通过用例图实现用户的需求，时序图和交互图表达系统的对象和类之间的交互，实现图描述系统的类及类之间的关联、添加系统中类的属性和操作以及用Rose生成类代码，从而建立一种通用的图书管理系统模型。     

基于UML图书管理系统的分析与设计

本文借阅介绍了UML的组成部分、特点和作用,并详细地阐述了在传统的软件开发阶段中使用UML对图书管理系统进行建模的主要过程。     

UML及其在图书管理系统中的应用

UML是面向对象的标准化建模语言，它溶入了软件工程领域的新思想、新方法和新技术。本文介绍了UML的主要内容，并以图书管理系统为实例，探讨了基于UML的建模过程。     

UML及其在图书管理系统中的应用

UML是面向对象的标准化的建模语言,它融入了软件工程领域的新思想、新方法和新技术。文章介绍了UML的主要内容,并以图书管理系统为实例,探讨了基于UML的建模过程。     

基于UML的图书管理系统的建模过程

UML是一种建模语言,它取代软件界的众多分析和设计方法,已经成为被业界认可的标准建模语言,在软件领域和其他领域都起着举足轻重的作用。UML支持从需求分析、系统设计到具体实现的软件开发全过程。本文通过对图书管理系统的分析,介绍UML的基本概念和建模过程,从而说明UML在实际问题中的应用。     

基于UML的人力资源管理系统的建模

采用面向对象方法,基于UML建模技术对人力资源管理系统进行分析与设计.通过用例图、类图及序列图等UML表示法工具分析设计了人力资源管理系统的静态模型和动态模型,完成了系统开发的分析、设计阶段的工作,并探讨了基于UML的系统建模方法及运用面向对象方法进行系统开发的优势.     

信用卡管理系统的UML建模研究

介绍了面向对象系统分析和UML的基本概念以及UML的建模过程,描述了信用卡管理系统的特点以及功能,建立了信用卡管理系统的类图及部分顺序图,重点研究了顺序图的特点。利用UML建模,使得用户和软件开发人员的沟通更加容易,从而提高了软件的开发效率。     

基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.     

基于OWL本体的UML类图推理

分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.     

UML活动图的操作语义

越来越多的系统采用UML(unified model language, 统一建模语言)作为建模语言来进行系统分析和设计. UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.     

基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。     

基于UML协作图和DFA的测试用例生成方法研究

UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷自动机（DFA）之间对应关系的基础上,提出一种将UML协作图转换为DFA,再从DFA中提取测试场景生成测试用例的方法,并将该方法应用于实际项目的测试用例生成。最后,通过对结果进行数据对比和分析,说明该测试用例生成方法的有效性。     

基于UML实时系统的分析和设计

介绍了统一建模语言的最新版本UML2及应用UML2进行实时系统设计的作用及意义.探讨了UML2中用在实时系统设计中的概念.结合一个使用UML2为家庭安全系统设计的例子,着重分析了系统的静态结构和动态行为,通过类图、顺序图、状态图等UML图描述系统的方法从整体上对系统建模,说明实时系统分析与设计过程.使用UML分析和设计系统能够提高软件设计的效率和质量增强软件的维护性和复用性.     

UML模型及其应用

文章扼要介绍了ＵＭＬ的发展历史以及它与过程的关系,并针对ＵＭＬ的特色及存在的一些争议,结合一个从ＪＡＶＡ软件测试系统详细探讨了用例图、类图、活动图、交互图和包图的基本概念、基本思想、鲜明特色以及某些具体的应用问题,然后简要介绍了状态图和配置图,最后总结了ＵＭＬ的优缺点及适用范围。关键词##4面向对象;;ＵＭＬ;;过程;;用例;;类图;;活动图;;交互图;;包图     

基于UML图和不同粒度切片的回归测试研究

针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类内测试提出一种基于UML状态图细粒度切片的方法。最后,将其应用于销售订单系统,结果表明以上两种分析方法可以有效地提高回归测试效率。     

基于进程代数的UML序列图的形式语义

UML序列图用于建模实例间动态交互过程．但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明。本文把序列图中的事件动作及其执行序列映射为进程代数中的进程表达式,利用进程代数语义框架来构建UML序列图的形式语义。首先,建立了序列图到进程代数的语义映射规则;然后用Plotkin风格的结构化操作语义给出并证明务件组合算子演绎规则;最后,归纳定义了算子次序约束条件并证明了其可终止性。     

UML2．0顺序图的XYZ／E时序逻辑语义研究

UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确，使得它的描述结果不利于进一步的分析和验证。基于此，本文在定义UML2．0顺序图的语法和语法约束的基础上，给出了UML2．0顺序图的XYZ／E时序逻辑语义，为使用UML2．0顺序图与XYZ／E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。