嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

基于JSP的Web应用建模与开发技术

在当今流行的Web开发技术中,JSP(javaserverpages)以其强大的优势,成为后起之秀,在Web开发领域独领风骚.UML(统一建模语言,unifiedmodelinglanguage)作为面向对象建模的标准语言,提供了针对具体应用的扩展机制,能够对日益复杂的Web应用进行建模,从而规范了Web应用软件开发过程.主要讨论了利用UML开发基于JSP的Web应用方法和技术.     

基于UML的信息系统业务建模方法

利用统一建模语言UML的扩展机制,提出了一个基于UML的业务建模方法．首先对UML模型及其扩展机制进行了简要的描述．然后提出了一个基于UML的多视图业务模型,该模型是由功能视图、资源视图、组织视图、信息视图和工作流视图构成的．针对每个视图模型的特点,采用相应的UML扩展机制对其进行描述．基于UML的业务建模方法为信息系统业务建模提供一个新的解决思路．     

Web布局的UML Profile建模

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

UML的精简与扩展

近年来,UML受到计算机各界人士的普遍关注,得到了广泛的应用,并在世界范围内形成了其事实上的建模规范的地位.针对目前UML中存在过于复杂和庞大的问题,结合对面向过程的结构化设计方法和面向对象的设计方法的比较,讨论了UML的核心、精简内核、扩展机制,以及用其重新实现UML标准的问题.     

UML技术在Web开发中的应用

基于Web的应用系统变得非常普遍，对Web系统进行有效的建模是降低Web应用开发风险的重要方式。简要介绍了UML技术和Web应用程序框架，并对UML进行了扩展使得Web特有的构件能与系统模型的其余部分集成。     

面向对象的本体建模应用研究

UML在面向对象的软件开发中有广泛的应用,将UML应用于构建本体是实现面向对象的本体建模的有效途径.分析了UML应用于本体建模的理论依据,通过扩展UML将本体建模元语映射到UML元素集,从而实现面向对象的本体建模.并且针对不同的应用领域的实际需要,给出了扩展UML的不同方法,以及相应的实现机制.     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

扩展UML状态图在状态时限描述中的应用

由于常规的UML状态图难以描述对象的状态时限，故需在建模时对其进行扩展。在概述UML状态图模型及扩展机制的基础上，以期刊编辑部稿件状态时限描述为例，探讨如何通过持续时间、最早开始时间、最早完成时间、最迟开始时间、最迟完成时间、总时差、自由时差等时间参数扩展UML状态图，以增强UML状态图描述对象活动及状态时限的能力。     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

词义扩展的隐喻和转喻认知机制探微

试图对隐藏于词义扩展背后的认知机制——隐喻和转喻思维进行探究。通过对两种认知机制及两种词义扩展形式进行具体分析，发现隐喻机制是一词多义现象的认知基础，而转喻机制则是词类转换现象的主要认知理据，从而为词义演变的研究提供了一个新的视角。     

A UML profile for framework modeling

The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.     

UML-G:针对地理信息应用的面向对象建模语言

在分析其他学者的针对GIS的建立的OO(Object-oriented)模型基础上,基于目前已经成为建模技术标准的UML,并利用其扩展机制,包括构造型、标记值和约束,对UML进行扩展,定义了针对地理信息应用的面向对象建模语言UML-G,描述了UML-G的元模型,并采用UML-G对空间对象和空间关系的模型表达进行了研究,包括简单空间对象、覆盖对象、复合空间对象、时态空间对象以及空间关系的表现.通过分析以及相关实例的表述,表明UML-G可以很好地在GIS开发过程中使用,从而使得模型更加简洁并具有更好的表现能力.最后指出了进一步的研究方面.     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

基于工作过程的软件技术专业《UML 建模技术》课程设计

UML建模技术的基本理论和方法有益于提高学生的抽象能力、逻辑思维能力和归纳分析能力等。UML建模技术课程对于培养学生的软件开发综合素质,提高学生的软件开发、测试、维护能力和软件项目管理能力具有重要的意义。本文通过科学的课程设计,使学生能够快速的掌握和运用这门课程。     

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

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

Model-based testing with UML applied to a roaming algorithm for bluetooth devices

In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.