基于扩展I~*框架的嵌入式系统需求建模方法

系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在扩展的UML顺序图中实现对非功能属性"实时性"的描述。采用ATM实例,对上述建模方法进行分析并验证可行性。通过上述研究,最终完成了对嵌入式系统需求的完整描述,并结合UML顺序图的扩展实现对"实时性"的描述。     

UML 2.0的形式化语义研究

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

UML扩展机制在嵌入式实时建模中的应用

在嵌入式实时系统建模中,针对UML没有专门的图来描述实时性,对时间约束的建模能力不强的情况,提出了一种使用UML扩展机制进行嵌入式实时系统建模的方法,并介绍了该方法的一个应用实例。     

基于消息语义的UML2.0顺序图控制流分析

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.     

UML在电子政务系统中的应用和研究

为了实现和推动政府信息化、网络化,提高公共服务水平和监管能力、降低行政成本,本文以驿城区宣传部为例,采用统一建模语言UML,设计系统的用例图、系统的分析类图、顺序图等,提出一种实用的基于UML的需求分析及其建模方法。     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

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

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

基于Object-Z的带OCL约束的UML类图形式化描述

UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等.     

Web布局的UML Profile建模

UML是当前建立面向对象复杂系统比较流行的可视化语言,虽然在Web系统开发时可以使用UML对系统的结构和行为建模,但却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便.基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的Web布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和UML的建模工具中,并可产生原型化的界面.     

基于UML2.0的设备管理系统需求建模

采用基于UML2.0的用例图、活动图对设备管理系统进行业务建模.讨论了UML2.0对MIS系统业务建模的机制和特点,提出了针对中小型软件开发的需求分析方法,并给出了一个计算机设备管理系统实例.重点介绍如何使用UML2.0中的用例图和活动图对管理信息系统建立需求模型,首先分析机构组织特点,建立机构组织模型;然后提取机构的主要业务工作流,通过使用活动图建立企业工作流模型;最后根据活动图抽象出系统的执行者和用例,建立系统的用例图.并且给出了一个计算机设备管理系统需求建模实例.     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

基于UML的手机网络对战游戏系统设计分析

在当前的计算机软件设计中,大型软件系统基本上是采用面向对象方法来进行设计的,统一建模语言UML是面向对象分析和设计过程中重要的建模工具。通过以手机网络游戏系统的开发为背景,对UML的建模机制作了系统的概括,研究了基于UML的应用软件系统开发过程以及UML各图形之间的内在联系,介绍UML如何辅助完成用例建模、静态建模和动态建模。     

Extended UML with role modeling

UML is widely accepted and applied by the international software industry. UML is a powerful language for Object-oriented modeling, designing, and implementing software systems, but its Use-Case method for requirement analysis and modeling software patterns has some explicit drawbacks. For more complete UML, this paper proposes the Role Use-Case modeling and its glyphs, and provides an instance of requirement analysis using Role Use-Case method. Uses the Role Model to modeling software pattern at knowledge level. This paper also extends the UML Meta Model and accentuates “RM before UML’s class Modeling”.     

基于UML的软件构件技术

基于构件的软件开发已经得到广泛的认可和应用，结合UML建模技术在软件构件技术中应用，提出了一种基于构件的软件开发方法，对UML在软件构件开发中的应用进行了深入的探讨．它使得基于构件的软件开发的每个阶段任务明确，易于理解．     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例,分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点,利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

基于UML的旅游信息系统建模研究

分析了统一建模语言(unified modeling language,UML)的建模机制,通过对综合性旅游信息系统组成及开发过程的研究,提出了一种基于UML综合性旅游信息系统的建模方法,并采用Rose工具对其进行面向对象的可视化建模,给出了详细的建模过程.结果表明,该方法能有效支持系统需求分析,快速捕获系统的设计缺陷,降低系统的开发成本.     

MSC时间表示方法与UML序列图结合建模

介绍了系统建模中的时间相关概念，以及MSC和UML序列图对时间相关概念的表示．将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图．对时间进行建模．提高了UML序列图的时间建模能力，进一步满足了实际系统，尤其是实时系统建模的要求．     

基于UML网络化标准零件库系统的分析与设计

在分析和研究标准零件库信息系统的组成和统一建模语言(unified modeling language,UML)的建模机制的基础上,提出了一种基于UML网络化标准零件库信息系统的建模方法,并采用Rational Rose工具对其进行面向对象的可视化建模,详细地给出了系统用例模型、静态模型和动态模型的建模过程。采用该方法建立的系统模型,模块划分清晰,功能明确。     

UML技术在关口电能计量系统中的应用

从软件过程的需求出发，结合统一建模语言，重点讨论了迭代式软件开发技术，以及基于模型架构的软件设计技术。以关口电能计量系统的实际开发过程为例，详细论述了UML技术在软件系统开发中建立实用模型的方法，提出了一种基于设计模式的软件系统建模方法，该方法以成熟的设计模式为中心，实例证明该方法可提高软件系统设计效率并保证设计质量。     

基于接口的构件建模方法

软件复用是当前软件开发研究的一个重要领域,基于构件的软件开发方法是复用研究的重点。但是传统的软件设计技术不能很好的满足基于构件的系统的需要。它们对于基于构件的系统的设计只提供了很少的技术和指导。本文提出一种基于接口的构件建模和设计方法。这种方法使用UML作为工具,提供了系统化的构件建模手段。