联锁软件的统一建模语言和Petri网建模

使用统一建模语言(unified modeling language，UML)为联锁软件建立平台无关的模型(platform independent model．PIM)，可以实现在异种平台间的移植和复用，并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。     

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

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

HDC软件的UML建模研究与实现

工业自动化领域中的智能仪表广泛采用HART协议,HART组态软件的应用能够完全实现HART协议设备的智能功能。基于WinCE平台,采用UML面向对象技术,分析设计了HART组态软件,并采用用例对软件需求进行了分析,建立了软件的静态模型和动态模型,最终开发实现了具有可互操作性的HART设备组态软件。采用UML建立的软件系统模型,具有对象描述清晰、软件开发速度快、可维护性高、适应需求不断变化等特点。     

基于UML类图和顺序图的C++代码自动生成方法的研究

UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言,研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度,提高软件的质量。提出一种将UML类图和顺序图相结合生成具有静态结构和动态行为信息的C++代码的方法,从而解决现在多数代码生成工具只能将静态图转换为C++代码框架而不能处理动态行为模型转换的问题。该方法包括UML类图和顺序图的元模型以及相应的转换规则。最后通过一个采用Velocity技术实现的代码生成器生成代码的实例描述了代码生成的具体过程及结果。     

一个基于UML顺序图的场景测试用例生成方法

UML顺序图是基于UML开发的软件设计模型的重要组成部分，它描述了软件系统的动态行为，是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于UML顺序图的场景测试方法，它以UML顺序图为主要测试模型，结合UML状态图和类图生成所有的测试场景，最后使用范畴一划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例，用于测试该场景中对象之间的交互。由于UML已广泛用于软件分析和设计阶段，通过UML模型生成测试用例可充分利用已有的设计结果，减少测试阶段所需的费用，对于已使用UML的工业界有着重要的意义。     

基于UML面向方面动态行为建模

面向方面动态行为建模在设计阶段实现了横切关注点的分离,能更好的解决编程阶段代码的纠缠和散射问题,从而提高了软件的可重用性,可维护性,可跟踪性.由于面向对象的动态行为建模通常由标准的面向对象建模语言UML表示,所以文章在UML的基础上,建立面向方面横切关注点的动态模型.     

基于UML的远程实物实验平台的设计

采用UML语言为远程实物实验平台建模,首先用实施图描绘了网上实物实验系统的体系结构,然后分别用UML类图和顺序图描述了平台的静态和动态模型,实践证明,UML是一种表达能力很强的建模语言,采用UML的建模技术为远程实物实验平台的设计提供了有利的保障.     

高职院校网络报名系统领域驱动建模

UML是统一建模语言的简称,可使用它对软件领域进行面向对象的分析和设计。领域模型是指软件领域中具有静态特征和动态行为的事物。该文首先讲述UML的相关内容,然后具体描述如何使用UML建模方法完成网络报名系统的分析与设计,最后阐述建立系统领域模型的过程。     

基于MDA的Web服务合成

随着已有Web服务数量的不断增加，如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地，利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题，针对Web合成的动态行为建模部分，提出建立基于UML的平台无关Web服务动态行为模型的方法，并且给出了平台无关动态行为模型到Web服务合成语言BPEL、WSCI之间的转换方法。     

一种Web服务模型的动态行为转换方法研究实现

随着业务流程的复杂性与日俱增,编排和协调Web服务的价值也日益被人们所认识。近年来,国内外一些研究机构和IT企业在关于模型驱动架构MDA在Web服务中的应用方面作了不同程度的研究,但仅仅集中于Web服务模型的静态结构转换。根据MDA的思想,在Web服务模型的转换中,使用动态行为的平台无关模型PIM来定义业务流程,并提供将PIM转换成平台相关模型PSM的方法。研究Web服务模型的动态行为转换,讲述用UML活动图定义业务流程,并提供一种如何从UML活动图转换成BPEL的方法。     

基于UML和平台的嵌入式系统设计方法研究

针对嵌入式系统设计和开发的特点和需求的不断提高导致设计开发的复杂性,研究了将UML和平台结合进行嵌入式系统设计的一种方法,使用UML描述平台细节和所提供的功能;利用UML的扩展特性建立了一种UML平台profile,包含建立新的构造类、构造关系、标签值和约束;并将这种UML和平台相结合的设计方法应用在嵌入式系统实例上,选择了组成嵌入式系统实例的硬件和软件平台,针对实例平台不同的服务层次建立了面向应用建模服务的相应实例平台模型,使用了静态图和动态图表示了这种平台模型,并且描述了实例平台模型的一种应用.     

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

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

基于UML状态图的模型信息自动提取技术研究

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为.在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法-基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析.自动提取模型信息技术提高了协议测试序列的自动生成效率.     

基于UML的3D打印系统平台架构设计

针对小批量定制产品,3D打印可满足不同材料、工艺参数、加工精度等多种需求,但需要采用不同的3D打印方法加工零件,单一的打印设备很难满足不同客户的需求,建立一个3D加工中心服务平台,可为不同用户提供快速便捷的加工服务。UML作为面向对象建模语言,以多种视图的形式表示软件系统的静态结构和动态行为。用UML设计了3D打印系统平台的总体架构,为远程打印服务平台开发提供了具体的设计方案。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

UML行为图驱动的Java程序运行时验证工具

UML是一种标准的可视化建模工具，广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UMI。行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例集作为输入，运行经过插装的被测Java程序，得到一组用于验证的程序运行轨迹。通过对程序运行轨迹和UML行为图中合法的事件序列的比较，该工具可以对程序的动态行为规约进行检查。本文描述了该工具的设计思想、算法和实现技术，并通过对实例研究对该工具的可用性和有效性进行了讨论。     

用UML实现SDG自动建模研究

分析了符号有向图（Signed Directed Graph,SDG）自动建模方法的国内外研究现状,阐述了该方法和建立相应软件平台的必要性和紧迫性.介绍了统一建模语言（Unified Modeling Languagee,UML）、UML模型建立特点、SDG技术和SDG模型建立的方法.分析提出用UML方法辅助研究SDG自动建模策略,采用UML构建SDG自动建模软件平台.本研究和软件平台的构建扩展了UML在工业领域的应用范围.     

基于模型转换实现行为协议的研究

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法，编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束，运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。