UML Statecharts的切片模型检验方法

统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.     

教务管理信息系统的数据库建模

数据库建模是数据库应用系统开发的关键步骤。在传统的结构化系统设计中,将需求分析阶段得到的ER图转化为关系数据库模型,而ER图仅仅着眼于数据。为了提高开发效率。采用面向对象的系统分析和设计方法,用系统分析阶段所获得的UML类图为基础进行数据库的逻辑结构设计,把类图转化为关系数据库模型。UML类图不但对数据建模,而且能对行为建模,这些行为在物理数据库中被设计成触发器和存储过程。在此以已开发的教务管理信息系统的数据库建模为例,讨论基于UML类图的数据库建模的方法与过程,该系统主要实现学生学籍管理和成绩管理。     

基于MDA的UML类模型转换XML Schema的方法

本文给出了统一建模语言(UML)类模型和XML Schema的转换方法,为模型驱动体系结构(MDA)的实现提供了基础.UML被MDA用来描述各种模型,成为建模语言事实上的标准;XML 以其结构性、标签性、可扩展性和可移植性成为数据交换方面的标准技术,广泛地应用于计算机软件.对用于实现MDA的UML类模型和XSD的转换进行了研究:分析了UML类图的关联、继承、组合和聚合关系,实现UML类模型和XML Schema的转换,最终生成XML文档.     

Modeling UML sequence diagrams using extended Petri nets

Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent systems?? requirements. To enhance formal analysis abilities, sequence diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the fragments of sequence diagrams and MARTE stereotypes are proposed respectively. They are proposed both in graphical and formal forms. The soundness of mapping rules is analyzed. The data related issues are handled through colored properties in TCPNIA models, guard functions and operational functions. A mapping rule for state invariant is proposed based on data related information. Through state invariant, complicated control relations can be expressed. Formal definitions for morphing and substitution in TCPNIA models are given. They provide modular and hierarchical modeling methods for TCPINA models. To show the applicability and feasibility of our method, an application example in vehicular ad hoc networks (VANETs) domain is studied.     

从UML状态图到PVS规范的自动转换、验证

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.     

UML类模型的VDM++形式化规约

利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。     

基于UML的面向对象建模方法的研究

为了研究较好的软件建模方法,运用UML中的5种图对面向对象建模的方法进行讨论及技术研究,提出如下建模过程：首先是系统需求;随后分析问题领域,建立系统的用例图;接着,建立系统的静态结构模型,并将系统的功能需求分解到各个对象类,以确定各个对象类的责任;然后,建立系统的动态行为模型;最后,给出物理模型。通过实例,对UML的面向对象建模机制做了系统概述,表明UML是一种优秀的建模语言,使用UML有助于开发者对整个系统有清晰的认识,从而建立各种系统模型,为后期编码工作做好充分的前期准备。     

UML到Verilog同态映射在SOC系统级建模上的应用

SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互，建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而能够验证并综合UML模型，加快了SOC设计流程。     

UML建模方法在高速公路监控系统中的应用

为了提高监控系统软件的设计效率和更好地使用UML进行系统建模,从理论和实践两个方面对UML在软件系统建模方面的应用进行了研究。把整个过程分为全局分析、局部分析、全局设计和局部设计四个阶段详细论述,最后简要介绍了系统的图形用户界面,完成了一个分布式高速公路监控系统的UML分析和设计。     

一个手机短信模拟系统：UML建模和C#实现

开发一个手机短信模拟系统,功能包括发送、接收、收费、通信录和收发件箱。文章以UML模型驱动系统的需求分析、设计和实现,即使用用例图、类图、状态图、顺序图和部署图描述系统的静态结构和动态行为。运用面向对象方法建模和编程,如模块化、继承、重定义和信息隐蔽。使用C#语言编程,系统运行在微软．NET环境上。     

基于Visio的站内搜索系统的UML建模过程

系统分析是系统开发的关键,软件建模技术使系统开发走向成熟。UML是一种标准建模语言,适用于用面向对象技术来描述的任何系统。现以站内搜索系统为例,阐述Visio2002中的UML建模问题,讨论了UML的建模机制及Microsoft Visio中UML的建模过程。     

基于实时UML的雷达软件设计

实时统一建模语言（UML）和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试，并讨论了如何选择UML工具与实时框架以及实时性分析等问题。     

基于UML的学生毕业设计选题系统研究

为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。     

基于ODDWG的面向对象软件集成测试序列生成

为了更好地完成面向对象软件测试中的集成测试,提出了一种基于UML类图的面向对象软件集成测试方法。首先从UML类图的文件中利用RationalRose提供的接口将类图中的类内信息、类间信息提取出来,并计算每个类的内聚度以及类间耦合度,同时把每个类看作有向图的结点,类的内聚度、类间耦合度的加权作为节点的权值,类间关系的出度作为关系的权值。根据动态绑定的特点,在图中添加类间可能存在的动态绑定线索;然后,遍历该动态对象赋权图生成集成测试的测试序列;最后对生成的序列进行筛选,得出最有效的测试序列。实验证明该方法是有效的。     

建立C~3I面向对象体系结构综合可执行模型

美国国防部已颁布了C^4ISR（Command，Control，Communications，Computers,Intelligence，Surveillance,and Reconnaissance）体系结构，以满足建立军队联合作战系统的需求。面向对象分析是构筑C^3I（Command，Control，Communications，Computers，Intelligence）系统体系结构的基本方法，对基于UML（Unified Modeling Language）面向对象体系结构的开发方法作了一般性的描述，它包括三个阶段：分析、综合和评价。指出了用UML产品在描述美国防部CAISR体系结构方面的一些限制，提出了从UML产品映射到可用于逻辑的、行为的和性能方面体系结构的评价的CPN（Colored Petri Nets）模型的方法，并详细阐述了此转换过程。最后应用实例表明了该方法的可行性和实用性。     

基于UML的嵌入式温室环境监测系统设计

为了实现对温室环境监测的需求,改进落后的软硬件系统设计方法,提出了一种先进的嵌入式温室环境监测系统设计方案。该系统主要以S3C2440为核心,采用UML的方法,利用UML用例图、类图等静态建模法和状态图、顺序图等动态建模法,完成对系统的建模。实际应用表明UML方法可以清晰、直观的实现系统。     

基于UML的医药价格监测管理系统开发

统一建模语言(UML)通过统一的语义和符号表示，使软件项目开发基于一个成熟的标准建模语言。介绍了应用UML对医药价格监测管理系统进行系统建模分析、设计及实现的具体过程。所开发的医药价格监测管理系统已在南通市实现全市联网运行，连接物价局、医疗保险中心、90多家医疗及药品销售单位，实现了全市药品及医疗收费价格的在线监测管理，对规范医药及医疗市场价格、提高物价执法水平起到了积极作用。     

UML/ADL在软件监控系统建模中的应用研究

以特定行业的软件监控系统为研究背景,运用UML/ADL集成建模方法进行建模和分析.首先进行了领域的需求分析,然后运用UML建立了对象结构模型和对象行为模型.验证了UML和ADL两种建模工具相集成的建模方法在工程应用中的可行性.     

一种新型的软件体系结构描述方法研究

UML2．0与XYZ／ADL在软件体系结构描述方面具有很强的互补性，如果将两者结合起来描述软件体系结构．不仅便于开发人员之间的理解和交流，也可以对体系结构进行下一步的分析和验证。文章分析了UML2．0跟UML1.X相比在软件体系结构描述方面的改进之处．根据UML2．0与XYZ／ADL在软件体系结构描述中的对应关系，提出一种通过定义UML2．0的XYZ／E语义．将UML2.0与XYZ／ADL结合起来描述软件体系结构的一种新的途径。