基于多个域的UML模型的一致性检测

任何模型的表示都是要有意义的、一致的，通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级：从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度，因此可以向用户发出警告并且帮助用户改正甚至完善模型。     

基于UML模型的一致性研究

采用统一建模语言UML进行系统建模的过程中,模型一致性的建立和维护是正确建模的必要前提。在UML模型的基础上对模型一致性问题进行了分析,给出了一致性问题的分类及模型一致性产生的原因。在此基础上进行模型一致性研究,并提出了关于模型一致性问题的解决方案和思路。     

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果,使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。     

UML模型一致性问题研究

在定义模型一致性问题的基础上,以软件体系结构建模为例对模型一致性问题进行了分类,分析并总结出出现模型一致性问题的根本原因,最后,给出解决该问题的方法、步骤以及规则。     

基于规则的企业模型一致性检查

随着各种全新的制造理念的出现和信息技术的发展，企业模型的规模不断扩大，使得采用人工方式进行企业模型检查不仅耗时长，而且检查的完整性和正确性也难以保证。本文针对此问题，设计了一个基于规则的企业模型检查系统，并针对构件化企业建模系统（CEMS）定义了一个较为完整的规则库。     

基于UML模型的多态性与Java接口代码信息一致性检测的方法

UML模型是面向对象系统开发常用的建模语言,在由模型生成代码的过程中常常出现不一致问题,从而造成系统后期测试成本以及维护成本的增加。而UML模型中的多态性因执行路径的不确定性会对模型与代码的一致性产生重要影响,因此针对此问题提出以UML模型为基准,针对多态特性,对UML模型类图、时序图以及Java接口代码信息进行解析预处理从而获取时序调用图以及代码调用图,并对其进行多态性扩展。根据模型的信息来对代码的信息进行检测,如果出现不一致问题时根据模型信息对代码信息进行修改。通过以上提出的方法能够更加完善模型与代码的一致性检测,使检测更为有效、精准。     

UML/OCL工具的一致性检查研究

UML作为一种通用的可视化建模语言已被广泛应用,但UML模型的一致性问题一直限制着在软件开发中更有效地应用UML。本文阐述了UML模型一致性的相关概念,介绍了一种以OCL表示模型的一致性规则、并基于这些对模型进行一致性检查的方法。将此方法实现为一致性检查工具,提供了模型分析、语法检查和模型一致性检查等功能。     

基于关系模型的UML类图一致性检验

UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。     

基于规则的空间一致性维护

通过对空间数据的拓扑一致性问题的分析,给出了一种基于拓扑的空间数据模型,在此基础上提出了一种空间拓扑规则发现机制。利用所得的空间拓扑规则,判断空间数据是否具有拓扑不一致性,进而采取相应的策略进行拓扑一致性维护,以提高空间数据的质量。     

基于重写逻辑的UML模型一致性检查方法

在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML／MDA工具仪提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的没讣时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。     

UML模型的协调性检查

本文融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型，给出了这个需求模型的各个元素及相互间协调性检查的一种方法，这样。可以从软件开发的需求分析阶段检查模型的协调性，减少开发成本，最后再从协调的需求模型生成代码。     

基于数据库的UML一致性检查

UML是目前使用非常广泛的标准建模语言.但各模型间存在许多约束,出现不一致在所难免.而一致性检查单单依靠人工是无法完成的,需要实现一种机制来完成这项工作.于是便提出了用数据库解决这一问题的思想,并对其具体实现进行了大胆探索.在一定程度上实现了一致性检查,为以后的研究奠定了基础.     

基于UML和模型检测的安全模型验证方法

安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.     

UML状态机的模型检验方法

模型检验是一种确保设计规范正确性的形式化自动验证技术,本文提出了对UML状态机进行模型检验的方法。文中首先对UML状态机的语法和语义进行描述,然后基于语义中的RTC步给出生状态机全局可达状态迁移图的方法,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证UML状态机是否满足用计算树逻辑（CTL）公式表示的性质。     

UML Statecharts的模型检验方法

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.