基于模糊描述逻辑的模糊UML类图形式化
基于时序描述逻辑的UML顺序图形式化方法
基于时序描述逻辑的UML顺序图形式化方法陈振庆【摘要】根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUs的UML顺序图形式化方法.研究ALCQIUs时序扩展部分的语法和语义、ALCQIus断言公式集一致性定理,给出ALCQIus断言公式集一致性推理算法,并证明该推理算法的可判定性.以公安报警系统为例,说明基于ALCQIus的UML顺序图形式化规约和形式化验证具备可行性,并且ALCQIus为UML顺序图形式化提供了合理的逻辑基础.【期刊名称】《计算机工程》【年(卷),期】2013(039)003【总页数】5页(P36-40)【关键词】时序描述逻辑;统一建模语言顺序图;静态语义;动态语义;形式化规约;形式化验证【作者】陈振庆【作者单位】贺州学院计算机科学与工程系,广西贺州542800【正文语种】中文【中图分类】TP1821 概述统一建模语言(Unified Modeling Language,UML)[1]顺序图是一种重要的交互图，但由于缺乏精确的语义，不利于对其进行分析和验证。
形式化方法是UML 语义讨论的一个有效途径，包括Pnueli A 在内的诸多计算机科学家都认为采用形式化方法对系统进行验证是构造可靠软件的一个重要途径[2]。
描述逻辑是一阶谓词逻辑的可判定子集，具备很强的知识表示和推理能力，是研究UML 模型形式化方法的理想工具。
UML 顺序图对象间消息传递带有明显的时序特征，而传统描述逻辑只能表达静态结构知识，无法表达时序特征，必须对传统描述逻辑进行时序扩展，才能满足UML 顺序图形式化方法研究的需要。
文献[3]使用时间运算符扩展描述逻辑，提出了在时间段上受限的全称和存在量词。
文献[4]对描述逻辑ALC 进行了简单的时序扩展，加入了时态逻辑的时间点“Since”和“Until”运算符。
这些时序描述逻辑提供了有限的表达能力，无法满足UML 顺序图形式化的需要。
【计算机研究与发展】_逻辑模型_期刊发文热词逐年推荐_20140728
科研热词 描述逻辑 意图 多主体系统 多agent系统 面向对象的xml 非单调多重继承 语义 访问控制 自组织网络 自动机 线性时序逻辑 约束条件 粗糙真有效 粗糙真公理 粗糙真 知识表示 理论性质 模糊c-means 模型检测 概率算子 时间敏感 时态认知逻辑 时态授权 文档聚类 数据库安全 效用算子 扩展的horn逻辑模型 扩展xml-rl 愿望 形式化验证 应用 并发 安全协议 学习算法 奇异值时变信号 多子集语义 多代理系统 多agent合作逻辑 向量空间模型 双子集语义 协议验证 协商推理模型 协作 动态描述逻辑 动作 分式过程神经元网络 信念 主体 上下文感知 tmn密码协议 rbac carbac
科研热词 时序逻辑 描述逻辑 高性能计算 软件抗衰 软件体系结构 认知过程 言语行为 衰减算子 融合算子 网格计算 索引 状态图 活动图 模糊描述逻辑 模糊er模型 模态μ -演算 时序数据库 时序描述逻辑 时序er模型 文字处理 推理算法 扩展的horn逻辑模型 性能监控 形式语义 形式化验证 属性依赖 安全协议 存储 多agent 复杂文本布局 复杂文字 复杂性 可满足性 可信主体 反例 双重描述框架 原生数据库 公理系统 免疫系统 偏好意见 信任模型 体系结构描述语言 事务 xyz/e xml unicode uml tableaux loba逻辑 game理论 falnui er模型
2005年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
科研热词 模型 软件构架 语言变量 角色和任务 维组合格 维层次结构 线性时序逻辑 约束描述 约束 目标 泛逻辑学 模糊逻辑 模型检测 概率逻辑 智能控制 数据仓库 描述逻辑 授权模型 意图 工作流 多维数据模型 双足机器人 信念 信任管理 信任推理 信任向量 主观信任 不确定推理 pr/t网 alca agent组织结构 agent
UML类图详细教程(共109张)
类的自反(zì fǎn)关联
第27页，共109页。
关联的导航性 导航性表明类的关联方向(fāngxiàng)。如下图所示。
第28页，共109页。
关联和属性
在类关联和类属性之间存在精密的联系。源类和目标类之间的关联意味着 源类的对象能够承载(chéngzài)到目标类对象的引用。如下图所示。
第41页，共109页。
进一步创建类的关联(guānlián)：
增添WebSite类和Logon类
Teacher
view,maintains
contains
Grades
ReportCard
displays
WebSite
generates
OnlineUser
grants access to
view
Logon
性指定默认值，如下图所示。
第11页，共109页。
属性多重性：
多重性为可选项，它表达该类的每个实例的属性值的个数。可以像应用于类 之间的关系(guān xì)中那样把多重性应用于属性。例如，Student类具有属性
Grades。不希望该属性只包含单个值，而是希望它包含该学生的所有成绩，
可以是任意多个。
第3页，共109页。
二、UML类图中的符号(fúhào)
（一）类
类（Class）在UML中通常以实线矩形框表示，矩形框中含有若 干分隔框，分别包含类的名字、属性、操作、约束以及其他成 分等，如下图所示。
类的图形表示和示例
第4页，共109页。
在类图中，根据建模的不同景象，类图标中不一定列出全部的内容。 如在建立分析模型或设计模型时，甚至可以只列出类名，在图中着重 表达的是类与类之间的联系；在建立实现(shíxiàn) 模型时，则应当在类图标中详细给出类的属性和方法等细节。
uml表达逻辑模型
uml表达逻辑模型
UML（统一建模语言）是一种可视化的面向对象建模语言，提供了丰富的图形化表示法，使得开发人员能够更加直观地理解和描述软件系统的结构和行为。
在UML中，逻辑模型主要通过以下几种方式来表达：
1. 类图（Class Diagram）：类图是UML中最基本的图之一，用于描述系统中的类、接口以及它们之间的关系。
类图可以展示类的静态结构，包括属性、方法和关系等，从而帮助开发人员理解系统的逻辑结构。
2. 对象图（Object Diagram）：对象图是类图的一个实例，它展示了在某一特定时间点上系统中对象的快照。
对象图可以帮助开发人员理解系统在运行时的状态和行为。
3. 包图（Package Diagram）：包图用于描述系统中的包以及包之间的关系。
包是一种组织类、接口和其他元素的方式，可以帮助开发人员将系统划分为更小、更易于管理的部分。
4. 组件图（Component Diagram）：组件图用于描述系统中的组件以及它们之间的关系。
组件是系统中的可替换部分，可以执行特定的功能。
组件图可以帮助开发人员理解系统的物理结构和部署方式。
除了以上几种图之外，UML还提供了其他类型的图，如
用例图、顺序图、活动图等，这些图也可以用于描述系统的逻辑模型，但侧重点可能有所不同。
例如，用例图主要用于描述系统的功能需求，而顺序图则用于描述系统中对象之间的交互行为。
总的来说，UML提供了多种图形化表示法来描述系统的逻辑模型，开发人员可以根据需要选择合适的图来描述系统的不同方面。
UML的逻辑模型图
UML的逻辑模型图UML（Unified Modeling Language）是面向对象设计和开发中使用的一种标准化建模语言，其中逻辑模型图是其中的一种类型。
逻辑模型图是用于描述系统功能和行为的非物质结构模型，主要包括用例图、类图、对象图、状态图、活动图和序列图。
本文将重点介绍逻辑模型图中的用例图、类图和对象图三种。
用例图用例图通过描述用户和软件系统之间的交互来表示系统的功能和行为，是面向用户的一个模型。
用例图中包括参与者和用例两个主要元素。
参与者表示使用系统的人、人群或其他系统，用例则表示系统所提供的服务。
参与者与用例通过关系进行连接，分为关联关系、扩展关系、包含关系和泛化关系等。
以一个在线商城为例，客户、管理员、游客可以作为参与者，登录、注册、购物、添加物品等则是对应的用例。
客户可以通过购物车购买物品，可以查看订单状态，而管理员则可以修改物品、审核订单和退货等。
类图类图是用于描述系统内部静态结构的一种模型，它表示系统中的类、接口和它们之间的关系。
类图中包括类、接口、属性、方法等主要元素。
以一个汽车销售系统为例，车辆、销售员和客户都可以作为类。
而车辆包括品牌、型号、颜色、价格等属性，还有加速、制动等方法。
销售员则包括姓名、电话、销售量等属性，还有售车、联系客户等方法。
对象图对象图是用于描述系统中对象间的相对位置和关系的一种模型。
它可以表示对象在特定状态下的关系和属性，有助于表示对象之间的交互、通信和连接。
对象图中包括对象、属性、关系等主要元素。
以一个图书馆系统为例，书架、馆藏书、借阅者都可以作为对象。
借阅者可以借阅馆藏书，而馆藏书则可以属于不同的书架，还有编号、价格、作者等属性。
总结UML的逻辑模型图是面向对象设计和开发中使用的一种标准化建模语言，其中包括用例图、类图和对象图三种。
用例图主要用于描述系统功能和行为，类图用于描述系统内部静态结构，对象图则用于描述系统中对象之间的相对位置和关系。
通过应用这些模型，可以更加深入地了解系统的结构和功能，从而为系统的设计和开发奠定坚实的基础。
UML类关系图（泛化,实现,依赖,关联（聚合,组合））
UML类关系图（泛化,实现,依赖,关联（聚合,组合））UML的构造快包含3种：(1) 事物（4种）：结构事物，⾏为事物，分组事物，注释事物(2) 关系（4种）：泛化关系，实现关系，依赖关系，关联关系(3) 图（10种）：⽤例图，类图，对象图，包图，组件图，部署图，状态图，活动图，序列图，协作图事物是对模型中最具代表性的成分的抽象；关系把事物结合在⼀起；图聚集了相关的事物。
(2) 关系（4种）UML 中类与类, 类与接⼝, 接⼝与接⼝这间的关系有: 泛化(generalization) 关系, 关联(association)关系( 关联, 聚合, 合成), 依赖(dependency)关系，实现(realization)关系.泛化(generalization)关系是⼀个类（称为⼦类、⼦接⼝）继承另外的⼀个类（称为⽗类、⽗接⼝）的功能，并可以增加它⾃⼰的新功能的能⼒，继承是类与类或者接⼝与接⼝之间最常见的关系；在Java中此类关系通过关键字extends明确标识，在设计时⼀般没有争议性。
实现(realization)关系指的是⼀个class类实现interface接⼝（可以是多个）的功能；实现是类与接⼝之间最常见的关系；在Java中此类关系通过关键字implements明确标识，在设计时⼀般没有争议性；依赖(dependency)关系: 也是类与类之间的连接. 表⽰⼀个类依赖于另⼀个类的定义. 依赖关系总是单向的。
可以简单的理解，就是⼀个类A 使⽤到了另⼀个类B，⽽这种使⽤关系是具有偶然性的、、临时性的、⾮常弱的，但是B类的变化会影响到A；⽐如某⼈要过河，需要借⽤⼀条船，此时⼈与船之间的关系就是依赖；表现在代码层⾯，为类B作为参数被类A在某个method⽅法中使⽤。
(A use B)在java 中. 依赖关系体现为: 局部变量, ⽅法中的参数, 和对静态⽅法的调⽤.关联(association)关系:表⽰类与类之间的联接, 它使⼀个类知道另⼀个类的属性和⽅法.关联可以使⽤单箭头表⽰单向关联, 使⽤双箭头或不使⽤箭头表⽰双向关联, 不建议使⽤双向关联. 关联有两个端点, 在每个端点可以有⼀个基数, 表⽰这个关联的类可以有⼏个实例.常见的基数及含义:0..1:0 或1 个实例.0..*: 对实例的数⽬没有限制.1: 只能有⼀个实例.1..*: ⾄少有⼀个实例.他体现的是两个类、或者类与接⼝之间语义级别的⼀种强依赖关系，⽐如我和我的朋友；这种关系⽐依赖更强、不存在依赖关系的偶然性、关系也不是临时性的，⼀般是长期性的，⽽且双⽅的关系⼀般是平等的,表现在代码层⾯，为被关联类B以类属性的形式出现在关联类A中，也可能是关联类A引⽤了⼀个类型为被关联类B的全局变量；在java 语⾔中关联关系是使⽤实例变量实现的.关联关系还包括：聚合，组合关系。
UML类图画法全程解析
UML类图画法全程解析本节向⼤家介绍⼀下UML类图画法，主要包括UML类图元素和关系画法，希望通过本⽂的介绍，你对UML类图画法有⼀定的认识。
软件设计起步：UML类图画法学习设计模式，画UML类图是基础，通过UML类图，能更好地和⼤家交流，也能很容易就表达出⾃⼰的设计想法，它就好⽐普通话，是⼀种标准语⾔。
现在流⾏的主要⼯具有两种：RationalRose和MicrosoftVisio，这两种⼯具都⽐较易⽤，选择哪种⼯具就看个⼈的喜好了。
本⼈对Microsoft 的软件⽐较有好感，所以⾃然MicrosoftVisio2003是我的⾸选。
UML类图常⽤元素。
类：类是⼀种复杂的数据类型，它是将不同类型的数据和与这些数据相关的操作封装在⼀起的集合体。
CPerson是⼀个抽象类，它是不能被实例化的，⽽CFamily可以被实例化。
接⼝：接⼝是被调⽤者调⽤的⼀组操作⽅法。
其实CPerson也可以作为接⼝。
UML类图中常见的⼏种关系。
泛化（Generalization）：⼀句话，就是继承的表⽰。
是is-a的关系。
依赖（Dependency）:UML类图画法中依赖是⼀种使⽤关系，它说明⼀个事物规范的变化可能影响到使⽤它的另⼀个事务，但反之则不然。
依赖关系的表⽰法是虚线箭头，箭头尾部的元素依赖箭头头部的元素，是use-a的关系。
关联（Association）：⽤于描述类与类之间的连接，是has-a的关系。
聚合（Aggregation）：聚合是关联的特例。
如果类与类之间的关系具有“整体和局部”的特点，则把这样的关联称为聚合。
它往往有“包含”，“由……组成”的意思。
我这⾥举的都是平时UML类图画法常⽤的⼏种情况，当然UML还有很多知识我没有了解，⽐如关联就有许多种。
本节向⼤家介绍⼀下UML类图符号，只有掌握了UML符号的意义，你才能很好的使⽤，本节从⼋个⽅⾯向⼤家介绍UML类图符号，希望通过本节的学习你对UML类图符号有初步的认识。
UML实时活动图的形式化分析
UML实时活动图的形式化分析本文的主题为“UML实时活动图的形式化分析”，主要探讨UML实时活动图的结构、功能、优点及不足，并通过形式化方法进行深入解析。
总结与建议UML实时活动图是一种用于描述并发和异步系统的图形表示法。
它侧重于系统的动态行为，展示了系统中各个组件如何交互以及数据如何流动。
实时活动图的核心是活动和它们之间的关系，这些关系可以描述系统中组件之间的交互。
UML实时活动图由活动节点和转换节点组成。
活动节点表示系统中进行的操作，如计算、等待和通信等，而转换节点则表示这些操作之间的依赖关系和执行顺序。
UML实时活动图还支持并发和同步机制，这使得它能够有效地描述现实世界中的复杂系统。
（1）能够清晰地表示系统的动态行为和并发性，使系统模型更加完整和准确。
（2）支持将复杂的系统分解为更小的活动和转换，使分析更加简单和直观。
（3）适用于描述异步和分布式系统，提供了一种有效的建模工具。
（4）可以与UML的其他模型进行集成，如类图、顺序图和状态图等，提高了模型的完整性和可理解性。
尽管UML实时活动图具有许多优点，但仍存在一些不足：（1）对于复杂系统的描述可能过于繁琐，使得模型难以理解和维护。
（2）实时活动图中的并发和同步机制可能引入额外的复杂性，使得模型变得难以处理。
（3）实时活动图中的细节可能会掩盖系统的重要结构和行为特征，从而影响模型的精度。
本文对UML实时活动图进行了全面的形式化分析，总结了其优点和不足。
针对实时活动图的不足之处，本文提出以下建议：在使用实时活动图进行系统建模时，应注意适度抽象，避免过于详细或繁琐的描述，以提高模型的可理解性和可维护性。
当遇到复杂系统的描述时，可以考虑使用其他UML模型进行补充描述，如类图、顺序图和状态图等，以提高模型的精度和完整性。
对于并发和同步机制的使用，应进行谨慎设计，确保模型中各个活动之间的依赖关系和执行顺序得到准确的描述。
UML实时活动图作为一种强大的系统建模工具，在分析和设计复杂系统时具有重要作用。
第三章 模糊认知图
第三章模糊认知图3.1认知图因果知识通常涉及许多相互作用的事物及其关系，由于缺乏有力的分析工具，因此，对这类知识的处理显得比较困难。
在这种情况下，一些其它技术包括定性推理技术就被应用到因果知识的处理中。
认知图就是这种定性推理技术的一种。
认知图是一个新兴的研究领域，它是一种计算智能，提供了一个有效的软计算工具来支持基于先验知识的自适应行为。
对它的研究涉及到模糊数学、模糊推理、不确定性理论及神经网络等诸多学科。
认知图的显著特点就是可利用系统的先验知识、并对复杂系统的子系统具有简单的可加性，能表示出用树结构、Bayes网络及Markov模型等很难表示的具有反馈的动态因果系统。
在认知图中很容易鸟瞰系统中各事物间如何相互作用，每个事物与那些事物具有因果关系。
认知图通常由概念(concept)与概念间的关系(relations of concepts)组成。
概念(用节点表示)可以表示系统的动作、原因、结果、目的、感情、倾向及趋势等，它反映系统的属性、性能与品质。
概念间的关系表示概念间的因果关系(用带箭头的弧表示，箭头的方向表示因果联系的方向)。
3.2认知图的发展简史认知图首先由Tloman于1948年在 Cognitive Maps in Rats and Men一文中提出的，其最初目的是想为心理学建立一个模型，此后认知图便被应用到其他方向和领域中。
人们把认知图描述为有向图，认为认知图是由一些弧连接起来节点的集合，但不同的学者对弧与节点赋予不同的含义。
1955年Kelly依据个人构造理论(Personal construct theory)提出了认知图，概念间的关系是三值的，即利用“+”、“-"表示概念间不同方向因果关系的影响效果，“O”表示概念间不具有因果关系。
1976年Axelord在 structure of Decision –The Cognitive Maps of Political Elites 中提出的认知图比Kelly的更接近于动态系统。
基于时序描述逻辑的UML顺序图形式化研究
ａ．ｏｒｇ．ｃｎ／１００３—３２５４／６４９３．ｈｔｍｌ
Ｆｏｒｍ ａｌ Ｒｅｓｅａｒｃｈ ｏｆ ＵＭ Ｌ Ｓｅｑｕｅｎｃｅ Ｄｉａｇｒａｍ Ｂａｓｅｄ ｏｎ Ｔｅｍ ｐｏｒａｌ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌｏｇｉｃｓ
ｈｔｔｐ：／／ｗｗｗ ．Ｃ－Ｓ—ａ．ｏｒｇ．ｃｎ Ｔｅｌ：＋８６ １０—６２６６１０４ｌ
基于时序描述逻辑 的 ＵＭＬ顺序 图形式化研究①
冉 婕，谢树 云，漆丽娟
ｆ云 南 昭通 学 院 物 理 与信 息 工程 学 院，昭 通 ６５７０００） 通讯作者 ：冉 婕，Ｅ—ｍａｉｌ：ｚｔｒａｎｊｉｅ＠１６３．ｃｏｍ
计算 机系 统应 用 ＩＳＳＮ １００３—３２５４，ＣＯＤＥＮ ＣＳＡＯＢＮ Ｃｏｍｐｕｔｅｒ Ｓｙｓｔｅｍｓ＆ Ａｐｐｌｉｃａｔｉｏｎｓ，２０１８，２７（８）：２７６—２８０（ｄｏｉ：１０．１５８８８ｄ．ｃｎｋｉ．ｃｓａ．００６４９３］ ◎中 国科学 院软件 研 究所版 权所 有．
Ｅ－ｍａｉｌ：ｃｓａ＠ｉｓｃａｓ．ａｃ．ｃｎ
摘 要 ：在统一建模语言 （ＵＭＬ）规范中顺序图的语义是 以自然语言的形式描述 的，是一种半形 式化 的语 言，不 能对 系统 的交互行为进行 形式化分析及论 证．针对 ＵＭＬ顺序 图缺乏精确 的形式化描述 问题 ，根据顺 序 图的时序特 征， 提 出了增加交互操作符 的 ＵＭＬ顺序 图的六 元组形式化方 法．对描述逻辑进行时序扩展，得到可表示动态和 时序语 义的形式化规范— —时序描述逻辑 ．应用 时序描 述逻辑 的时态算子得到时序描述逻辑语义形式 的 ＵＭＬ顺序 图．用 ＵＭＬ顺序 图描述完整 的 Ｃ语言执行过程 ，将其形 式化描述，实验结果表 明，这种方法是可行的． 关键词：ＵＭＬ顺序图；形式化；时序描述逻辑；算子
一种基于描述逻辑的UML模型验证方法
计算机与数字工程
Ｃ ｍｐ ｔｒ＆ Ｄ ｇｔｌ ｎ ｉｅｒ ｇ ｏ ｕｅ ｉｉ ｇｎ ｅｉ ａＥ ｎ
Ｖｏ ． ９ Ｎｏ １ １３ ． １
５ ８
一
种 基 于 描 述 逻 辑 的 ＵＭＬ模 型 验 证 方 法
郝 斐¨ 董庆 超 曾广 军。
２ ００ ） １０ ７ ４０１） ３ ００ （ 北京军区总医院信息科” 北京 １０ ４ ） 解放军理工大学指挥 自动化学院 南京 ００９（ （ 通信指挥学存在 的概念 不一致 、 念冗余 等语 义一致 性 问题 ， 概 该文 提 出一种基 于描 述逻 辑 的
Ｈａ ｅ Ｄｏ ｇＱｉｇ ｈ ｏ Ｚ ｎ ａ ｇｕ 。 ｏＦ ｉ ｎ ｎ ｃ ａ ｅ ｇＧｕ ｎ ｊｎ’
（ ｅａｔ ｎ ｆ ｎｏｍａｉ ， ｅ ｅａ Ｈｏ ｐｔｌ ｆ ｅ ｉ ｌａｙＲ ｇｏ ”，Ｂ ｉｎ １０ ４ ） Ｄ ｐｒｍｅｔ ｆｒ ｔ ｎ Ｇ ｎ ｒｌ ｓｉ ｉｎ Ｍｉｔｒ ｅ ｉ ｏＩ ｏ ａｏ Ｂ ｊｇ ｉ ｎ ｅ ｉｇ ０ ０ ９ ｊ （ｎ ｔｕｅ ｆ ｍｍａ ｄＡｕｏ ｔ ｎ Ｌ ｉｅｓ ｙｏ ｃ ｎ ｅ＆ Ｔ ｃｎ ｌｇ ２，Ｎａｊ ｇ ２ ０ ０ ） Ｉｓｉ ｔ ｏ ｔ Ｃ ｏ ｎ ｔｍａｉ 。Ｐ Ａ Ｕｎ ｒｉ ｆ ｉ ｃ ｏ ｖ ｔ Ｓｅ ｅｈ ｏｏ ｙ ｎｉ １０ ７ ｎ
ｄ ｎ ｙ ｏ ｈ ｏ ｃ ｐ ．Ｔｏ ｓ ｌ ｅ ｔ ｅ ｅ ｐ ｏ ｌｍｓ ｈ ｓ ｐ ｐ ｒｐ ｏ ｉ ｅ ｔ ｏ ｆＵＭ Ｌ ｄ ｌ ｖ ｒｆ ａ ｉ ｎ ｂ ｓ ｄ ｏ ｓ ｒｐ ａ ｅ ｆｔ ｅ ｃ ｎ ｅ ｔ ｏ ｖ ｈ ｓ ｒ ｂ ｅ ，ｔ ｉ ａ ｅ ｒ ｖ ｄ ｓａ ｍｅ ｈ ｄ ｏ ｍｏ ｅｓ ｅ ｉ ｃ ｔ ａ ｅ ｎ Ｄｅ ｃ ｉ — ｉ ｏ ｔ ｎ Ｌ ｇ ｃ Ｂ ｅ ｃ ｉ ｉ ｇ ｓ ｍｅ ｂ ｓｃｃ ｎ ｔｕ ｔ ｆＵＭ Ｌ ｍｏ ｅ ｓｗｉ ｓ ｒｐ ｉｎ Ｌ ｇ ｃ ｈ ｔ ｏ ａ ｏ ｖ ｒ ｉ ｏ ｉ． ｙ ｄ ｓ ｒｂ ｎ ｏ ａ ｉ ｏ ｓ ｒ ｃ ｓｏ ｏ ｄ ｌ ｔ Ｄｅ ｃ ｉ ｔ ｏ ｉ ，ｔ ｅ ｍｅ ｈ ｄ ｃ ｎ ｃ ｎ ｅ ｔＵＭ Ｌ ｍｏ — ｈ ｏ ｄ ｅ ｓ ｉ ｔ ｎ ｏ ｏ ｙ ａ ｄ ｒ ａｉｅ ｔ ｅＵ Ｍ Ｌ ｍｏ ｅ ｅ ｉ ｃ ｔ ｎ ｗｉ ｈ ｅ ｈ ｏ ｏ ｙｏ ｎ ｏｏ ｙ ｒ ａ ｏ ｉｇ ｌ ｎ ｏ ｏ ｔ ｌｇ ｎ ｅ ｌ ｈ ｚ ｄ ｌ ｒｆ ａ ｉ ｔ ｔ ｅ ｔ ｃ ｎ ｌ ｇ ｆｏ ｔ ｌ ｇ ｅ ｓ ｎ ｎ ．Ｔｈ ｔ ｏ ｙ ｂ ｃ ｍｅ ｖ ｉ ｏ ｈ ｅｍｅ ｈ ｄ ｍａ ｅ ｏ ｔ ｅ ｆ ｕ ｄ ｔ ｎ ｆ ｒｎ ｘ ｅ ｅ ａ ｉｎ ＣＡＳ ｔ ｏ ｓ Ｓ ｓ ｔ ｒ ｖ ｄ ｕ ｐ ｒ ｕ ｉ ｇ ｔ ｅ ｓ ｅ ｉ ｃ ｔ ｎ ｐ ａ ｅ ｏ ｏ ｔ ｒ ｅ ｅｏ — ｈ ｏ ｎ ａ ｉ ｏ ｅ ｔｇ ｎ ｒ ｔ ｏ ｏ Ｅ ｏ ｌ Ｏ ａ ｏ ｐ ｏ ｉ ｅ ｓ ｐ ｏ ｔ ｄ ｒｎ ｈ ｐ ｃｆ ａ ｉ ｈ ｓ ｆ ｓ ｆｗａ ｅ ｄ ｖ ｌ ｐ ｉ ｏ
基于模糊描述逻辑的模糊XML模型的表示与推理
２（ 北 大 学 软 件 学 院 软 件 工 程 研 究 所 东
沈 阳 ｌ ０ １ ） １ ８ ９
沈 阳 １０１） １ ８ ９
摘
要
通 过分 析 描 述 逻 辑 与 Ｘ Ｌ之 间 的 关 系 ， 文 进 一 步 研 究 了基 于 模 糊 描 述 逻 辑 的模 糊 ＸＭＬ模 型 的 表 示 Ｍ 该 ， 出 了它 的语 法 、 义 、 识 库 以 及 推 理 算 法 ． 此 给 语 知 在
ＺＨ ＡＮＧ Ｆｕ
ＹＡＮ Ｌｉ
Ｍ Ａ ｎ — ｉ Ｗ ＡＮＧ ｎ Ｚｏ ｇ Ｍ ｎ ’ Ｘｉ ｇ ’
（ ｎｔ ｕｅ ｆ Ｃ ｍｐ ｔｒ ｐ ｉ ｔ ｎ Ｔ ｃ ｎ ｌｇ Ｃ ｌ ｇ ｆ Ｉ ｆ ｒ ａ ｉｎ Ｓ ｉ ｃ ａ ｄ Ｅｎ ｉｅ ｒ ｇ， ｒ ｅ ｓ ｒ ｎ ｖ ｒｉ Ｓ ｅ ｙ ｎ １ ０ １ ） Ｉ ｓ ｔ ｔ ｏ ｏ ｕｅ ｉ Ａｐ ｌ ａ ｉ ｅｈ ｏｏ ｙ， ｏｌ ｅ ｎ ｏ ｍ ｔ ｃｅ ｅ ｎ ｇ ｎｅ ｉ ｃ ｏ ｅ ｏ ｏ ｎ ｎ Ｎｏ ｔ ａ ｔ ｎＵ ｉ ｅｓ ｙ， ｈ ｎ ａ ｇ ８ ９ ｈ ｅ ｔ １ （ ｎｔｔ ｔ ｏ ｏ ｔ ｒ ｇ ｎ ｅ ｉｇ， ｃ ｏ ｌ ｆ Ｓ ｆ ｗａ ｅ Ｎｏ ｔ ｅ ｓ ｒ ｎ ｖ ｒ ｉ Ｉ ｓｉ ｅ ｆ Ｓ ｆ ｗａ ｅＥｎ ｉ ｅｒｎ Ｓ ｈ ｏ ｏ ｔ ｒ ， ｒｈ ａ ｔ ｎＵ ｉｅ ｓ ｙ，Ｓ ｅ ｙ ｎ １ ０ １ ） ｕ ｏ ｅ ｔ ｈｎａｇ １ ８ ９
中 图 法分 类 号 ＴＰ ８ １
Ｒｅ ｒ ｓ ｎ ａ ｉ ｎ ａ ａ ｏ ｎｇ ｏ ｚ ｙ ＸＭ Ｌ ｏ ｅ ｔ ｚ ｙ Ｄｅ ｃ ｉ ｉ ｎ Ｌｏ ｉ ｐ ｅ ｅ ｔ ｔｏ ｎｄ Ｒｅ ｓ ｎｉ ｆ Ｆｕ ｚ Ｍ ｄ ｌｗｉｈ Ｆｕ ｚ ｓ ｒｐｔｏ ｇ ｃ
UML中各种图的画法(全)
UML中各种图的画法(全)UML中各种图的画法(全)一、UML中基本的图范畴：在 UML 2 中有二种基本的图范畴：结构图和行为图。
每个 UML 图都属于这二个图范畴。
结构图的目的是显示建模系统的静态结构。
它们包括类，组件和（或）对象图。
另一方面，行为图显示系统中的对象的动态行为，包括如对象的方法，协作和活动之类的内容。
行为图的实例是活动图，用例图和序列图。
二、UML中的类图：1.类图的表示：类的 UML 表示是一个长方形，垂直地分为三个区，如图 1 所示。
顶部区域显示类的名字。
中间的区域列出类的属性。
底部的区域列出类的操作。
在一个类图上画一个类元素时，你必须要有顶端的区域，下面的二个区域是可选择的（当图描述仅仅用于显示分类器间关系的高层细节时，下面的两个区域是不必要的）。
描述：顶部区域显示类的名字。
中间的区域列出类的属性。
底部的区域列出类的操作。
当在一个类图上画一个类元素时，你必须要有顶端的区域，下面的二个区域是可选择的（当图描述仅仅用于显示分类器间关系的高层细节时，下面的两个区域是不必要的）。
·类名：如果是抽象类，则采用斜体·类属性列表：name : attribute type 如 flightNumber : Integer，这是最常见的表达形式n ame : attribute type = default value 如balance : Dollars = 0，这是带有默认值的表达形式·类方法列表：name(parameter list) : type of value returned注意：在业务类图中，属性类型通常与单位相符，这对于图的可能读者是有意义的（例如，分钟，美元，等等）。
然而，用于生成代码的类图，要求类的属性类型必须限制在由程序语言提供的类型之中，或包含于在系统中实现的、模型的类型之中。
2.继承的表示：为了在一个类图上建模继承，从子类（要继承行为的类）拉出一条闭合的，单键头（或三角形）的实线指向超类。
基于模糊推理的C4ISR系统服务发现方法
２１ ０ １年 ８月
ห้องสมุดไป่ตู้解放 军理 工 大学 学报 （ 自然科 学版 ）
Ｊ ｕｎｌ ｆ Ｌ ｉｅｓ ｙｏ ｃ ｎｅａ ｄＴｃ ｎ ｌｇ （ ｔｒｌ ｃ ｎｅＥ ｉｏ ） ｏ ｒａ ｏ Ａ Ｕｎｖｒｉ ｆ ｉ ｃ ｎ ｅｈ ｏ ｙ Ｎａｕａ Ｓ ｉ ｃ ｄｔ ｎ Ｐ ｔ Ｓｅ ｏ ｅ ｉ
ｂｕ ｌ ｎ ｈｅ ｄｏ ａｎ ｓ ｃｆｃ ｓ ｒ ｉ ｅ ｆ ｚ ｎｔ ｌ ｙ ａ ｃ ｄｉ ｏ ｔ ｅ ａ Ｍ ｏ ｅ ＤＡＦ．Ｗ ｉｈ ｈｅ ｈｅ ｐ ｉｄｉ ｇ ｔ ｍ ｉ ｐｅ ｉｉ ｅ ｖ ｃ ｕｚ ｙ ｏ ｏ ｏｇ ｃ ｏｒ ｎｇ ｔ ｈｅ Ｍ ｔ ｄ ｌｏｆＤｏ ｔ ｔ ｌ ｏ ｈｅ ｆ ｚ ｙ ｏｎ ｏｌ ｇ ｆ ｔ ｕ ｚ ｔ ｏ ｙ，ｅ ｉ ｅ ｓｃ ｎ ｒ ｕ ｅ ｔ ｏ ｉ ｎｏ ｅ ｇｅ ｔ ａ ｕｒ ｈｅ ｓ ｒ ｉ ｅ ｏ ｉ ｎｔ ｄ ａ ｃ ｉｅ — ｎｇ ｎｅ ｒ ａ ｅ ｓ ｈｅ ｄ ｍａ ｎ ｋ ｗｌ ｄ ｏ ｃ ｐｔ ｅ ｔ ｅ ｖ ｃ ｒ ｅ ｅ ｒ ｈ ｔ ｃ
Ｃ ＳＲ ｒ ｈｉｅ ｔ ｅ ｒ ｑ ｒ ｍｅ ｔ ｎ ｌ ｉ ｓ ａ ｈａ ｄ ｗｏ ｋ． Ａｎ ａ ｐｒ ａ ｈ ｆ ｒ Ｃ ＳＲ ｙ ｔ ｍ ｅ ｖｉｅ ｄｉｃ ｖｅ ｙ Ｉ ａ ｃ ｔ ｃ ｕｒ ｅ ｕｉｅ ｎ ｓ ａ ａ ｙｓｓ ｉ ｒ ｒ ｐ ｏ ｃ ｏ Ｉ ｓ ｓｅ ｓ ｒ ｃ ｓ ｏ ｒ
输 速度很 快 、 确率 很 高 。显 然 ， 准 这些 信 息都 是 模糊
基金项 目： 国家 ８ ３ 划 资 助 项 目（０ ７ ６计 ２ ０ＡＡ０ Ｚ２ ） １ １６ ．
作者简介 ： 朱卫 星 （ ９ ８ ） 男 ， 士生 。 师； １７一 ， 博 讲 研究 方 向： 指挥 自 动化 理 论 与 技 术 、 求 工 程 等 ； — ｉ ｚ ｕ ９ ９ 需 Ｅ ｍａｌ ｈ ｗｘ ９ ＠ ：
基于Object—Z的带OCL约束的UML类图形式化描述
２ ０ 年 １ ０ ８ ０月
沈阳工程 学 院学报 （ 自然科 学版 ）
Ｊ ｕｎ ｌ ｆ ｈ ｎ ａｇ Ｉｓ ｔｔ ｏ ｎ ｉｅｒ ｇ Ｎａｕａ Ｓｉ ｃ） ｏ ｒａ ｏ ｅ ｙｎ ｎ ｔｕｅ ｆ ｇｎ ｅｉ （ ｔｒｌ ｃ ｎ ｅ Ｓ ｉ Ｅ ｎ ｅ
Ｖ０ ． １４ＮＯ． ４
系统潜在 错误 的有 效 方 法ｌ ． １ 虽然 ＵＭＬ类 图可 以 通 ｊ 过不 同 的形式 语 言 （ Ｖ 如 ＤＭ、 Ｙ Ｚ Ｂ等 ） 形 式 化 Ｘ Ｚ、 、 来 描述 ， 每种 形式语 言 在描 述 类 图 时还 是 无法 准 确 获 但 得 ＵＭＬ类 图所 要 表达 的精 确语 义 ． ＵＭＬ ． Ｌ是 ２０ＯＣ ＵＭＬ的附加 形式 化 语 言 ， 它基 于一 阶谓 词 逻 辑 和 集 合论 ， 备精 确语义 且较其 他形式 语言 更容 易表达 、 具 书 写， 因此更适 合被用 来约束 Ｕ ＭＬ模 型 中 的业务 规则 、 限制 条件 以及定 义查 询 等 ； Ｏ Ｌ来 定 义 、 写 这 些 用 Ｃ 撰 模 型的相 关信 息 既清 楚 又不 会 使 模 型 产 生语 义 二 义 性 ． Ｌ运 算 的对 象 、 型和执 行结果 都是 ＵＭＬ中的 ＯＣ 类
是 否具 有 某 种性 质 进 行 证 明¨ ． 了 克 服 这个 缺 点 ， ２ 为 』 结 合 Ｕ ２ ０Ｏ Ｌ和 Ｏ ｊｃ—Ｚ语 言上 的共 同点 ， ＭＬ ． 格的数学理论， 这样 就 可 以产生 简 明 、 确 、 歧义 且可推 理和证 明的规格 精 无
演绎 验证 是形 式化 验证 的重 要 内容 之 一 ， 发 现 是
ｚ中， 类用一个命名的方框表示 ， 它包括可见性列表、 状态和操作（ 包括初始化操作 ）可见性列表（ ． 用序列过
UML包图的逻辑结构与模块划分方法
UML包图的逻辑结构与模块划分方法UML（Unified Modeling Language）是一种软件工程中常用的建模语言，用于描述和设计软件系统的结构和行为。
在UML中，包图是一种常见的图形表示方法，用于展示系统的逻辑结构和模块划分。
本文将介绍UML包图的逻辑结构以及一些常用的模块划分方法。
一、UML包图的逻辑结构UML包图是一种层次结构图，用于展示系统中不同模块之间的关系和依赖。
在包图中，使用包（Package）来表示模块，包内可以包含其他包、类、接口等元素。
通过包图，可以清晰地了解系统中各个模块之间的关系，以及模块与外部系统或其他模块的交互方式。
在包图中，可以使用依赖关系（Dependency）、关联关系（Association）、聚合关系（Aggregation）等来表示模块之间的关系。
依赖关系表示一个模块依赖于另一个模块，关联关系表示两个模块之间存在某种关联，聚合关系表示一个模块包含另一个模块。
二、模块划分方法在进行模块划分时，可以根据系统的功能、业务逻辑或者模块的复用性等因素来进行划分。
下面将介绍几种常用的模块划分方法。
1. 功能划分法功能划分法是根据系统的功能来划分模块。
首先，将系统的功能进行分类，然后将每个功能分配给不同的模块。
这种划分方法可以使得每个模块的职责清晰明确，便于开发和维护。
同时，不同的模块之间可以通过接口进行交互，提高了系统的灵活性和可扩展性。
2. 业务逻辑划分法业务逻辑划分法是根据系统的业务逻辑来划分模块。
将系统的业务逻辑进行分析，找出其中的关键业务流程，然后将每个业务流程分配给不同的模块。
这种划分方法可以使得每个模块的功能紧密相关，便于理解和维护。
同时，不同的模块之间可以通过消息传递或者调用关系进行交互，提高了系统的可靠性和可维护性。
3. 模块复用划分法模块复用划分法是根据模块的复用性来划分模块。
首先，将系统中已有的模块进行分析，找出其中具有通用性和可复用性的模块，然后将这些模块独立出来作为基础模块。
UML类图的一种表示方法
UML类图的一种表示方法李晶晶;郭雨婷;和晓萍【期刊名称】《山西大同大学学报（自然科学版）》【年(卷),期】2015(000)001【摘要】Sine UML class diagram meta-model is huge and comples, this paper proposes a method of UML class diagram meta-model based on description logic. First, it analyzes the relationship between the elements of UML class diagram meta-model and the de⁃scription logic SHOIN (D). And then it gives the representation of UML class diagram meta-model based on SHOIN (D).%由于UML类图元模型的庞大性和复杂性，为此，提出UML类图元模型基于描述逻辑的一种表示方法。
通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系，给出UML类图元模型基于SHOIN(D)的表示方法。
【总页数】3页(P8-9,19)【作者】李晶晶;郭雨婷;和晓萍【作者单位】云南民族大学数学与计算机科学学院，云南昆明650500;云南民族大学数学与计算机科学学院，云南昆明650500;云南民族大学数学与计算机科学学院，云南昆明650500【正文语种】中文【中图分类】TP311【相关文献】1.一种从UML类图和协作图到状态图的转换方法 [J], 吴晓龙;贲可荣2.一种支持MDA的UML类图到RDB模型的转换方法 [J], 曾一;王健;洪媛;周欣;蔡森虎3.一种基于UML类图和活动图的故障树生成方法 [J], 徐慧;燕雪峰;周勇4.一种UML类图结构复杂度度量方法 [J], 付晓东;邹平5.一种UML类图结构复杂度度量方法 [J], 付晓东;邹平因版权原因，仅展示原文概要，查看原文内容请购买。
UML的九种模型图
UML的九种模型图本⽂转⾃，仅供学习交流！⼀、作为⼀种建模语⾔，UML的定义包括UML语义和UML表⽰法两个部分。
UML语义：描述基于UML的精确元模型定义。
UML表⽰法：定义UML符号的表⽰法，为开发者或开发⼯具使⽤这些图形符号和⽂本语法为系统建模提供了标准。
这些图形符号和⽂字所表达的是应⽤级的模型，在语义上它是UML元模型的实例。
⼆、标准建模语⾔UML可以由下列5类图来定义。
⽤例图：从⽤户⾓度描述系统功能，并指出各功能的操作者。
静态图：包括类图和对象图。
类图描述系统中类的静态结构，不仅定义系统中的类，表⽰类之间的联系，如关联、依赖、聚合等，也包括类的属性和操作，类图描述的是⼀种静态关系，在系统的整个⽣命周期都是有效的。
对象图是类图的实例，⼏乎使⽤与类图完全相同的标识。
⼀个对象图是类图的⼀个实例。
由于对象存在⽣命周期，因此对象图只能在系统某⼀时间段存在。
⾏为图：描述系统的动态模型和组成对象间的交互关系，包括状态图和活动图。
状态图描述类的对象所有可能的状态以及事件发⽣时状态的转移条件，状态图是对类图的补充，活动图描述满⾜⽤例要求所要进⾏的活动以及活动间的约束关系，有利于识别并进⾏活动。
交互图：描述对象间的交互关系，包括时序图和协作图。
时序图显⽰对象之间的动态合作关系，它强调对象之间消息发送的顺序，同时显⽰对象之间的交互；协作图描述对象间的协作关系，协作图跟时序图相似，显⽰对象间的动态合作关系。
除显⽰信息交换外，协作图还显⽰对象以及它们之间的关系。
如果强调时间和顺序，则使⽤时序图；如果强调上下级关系，则选择协作图。
实现图：包括组件图和部署图。
组件图描述代码部件的物理结构及各部件之间的依赖关系，组件图有助于分析和理解部件之间的相互影响程度；部署图定义系统中软硬件的物理体系结构。
采⽤UML来设计系统时，第⼀步是描述需求；第⼆步根据需求建⽴系统的静态模型，以构造系统的结构；第三步是描述系统的⾏为。
其中在第⼀步与第⼆步中所建⽴的模型都是静态的，包括⽤例图、类图、对象图、组件图和部署图等5种图形，是标准建模语⾔UML的静态建模机制。
基于2型模糊描述逻辑的知识描述与推理及其在信任管理系统中的应用
Ａｂ ｔａ ｔ Ｄｅ ｃ ｉ ｔｏ ｇ ｃ ａ ｅ ｂ ｅ ｄ ｌ ｐ ｌ ｄ ｆ ｒ ｉｓ ｓ ｒ ｎ ｂ ｌ ｉｓ ｏ ｅ ｃ ｉ ｔ ｎ ａ ｄ ｍａ ｕ ｅ ａｇ ｒｔ ｍｓ ｉ ｓｒｃ ｓ ｒｐ ｉｎ Ｌｏ ｉｓ ｈ ｖ ｅ ｎ ｗｉ ｅｙ ａ ｐ ｉ ｏ ｔ ｔｏ ｇ ａ ｉ ｔ ｆｄ ｓ ｒ ｉ ｎ ｔ ｒ ｌ ｏ ｉ ｅ ｉｅ ｐ ｏ ｈ ｎ ｒ ａ ｏ ｉ ｇ Ｈｏ ｖ ｒ ｌ ｓ ｉａ ｓ ｒｐ ｉ ｎ Ｌ ｇ ｃ ｒ ｉ ｔ ｄ ｉ ｅ ｌ ｇ ｗｉ ｈ ｒｓ ｏ ｃ ｐ ｓａ ｄ ｒ ｌ ｓ ｅ ｓ ｎｎ ． ｗｅ ｅ ，ｃ ａ ｓ ｃ ｌ ｅ Ｄ ｃ ｉ ｔ ｏ ｉ ｓａ ｅ １ ｏ ｍｉ ｄ ａ ｉ ｔ ｔ ｅｃ ｉｐ ｃ ｎ ｅ ｔ ｎ ｏ ｅ ，ｗｈ ｃ ｋ ｓ ｅ ｎ ｎ ｈ ｉｈ ｍａ ｅ ｉ ｄ ｆｉｕ ｔｔ ｎ ｌ ｚ ｍｐ ｅ ｉｅ ｉ ｆ ｒ ｔｏ ｎ Ｓ ｍａ ｔｃＷ ｅ ｒ ｏ ｈ ｒｏ ｔ ｌ ｇ ｙ ｔ ｍｓ Ｔｏ ｓ ｍｅ ｅ ｔ ｎ ，ｔ ｐ ｕ ｚ ｔ ｉｆ ｌ Ｏ ａ ａ ｙ ｅ ｉ ｒ ｃｓ ｏ ｍａ ｉ ｎ ｉ ｅ ｎ ｉ ｃ ｎ ｂ ｏ ｔ ｅ ｎ ｏ ｏ ｙ ｓ ｓｅ ． ｏ ｘ ｅ ｔ ｙ ￣ｌ ｆ ｚ ｙ
并分析 了 ２型模 糊 碰 的描述和推理 方法 。最后 使 用 ２型模 糊 碰 建 立 了一 个基 于模 糊 本体 的信任 管理 系统 Ｆ ＿
Ｏｎ ｏ ｔ ＴＭ 。
关Hale Waihona Puke 词２型模糊 集， 描述逻辑 ， 知识描述 ， 信任 管理 系统
Ｒｅ ｒ ｓ ｎ ａ ｉ ｎ ａ ｄ Ｒｅ ｓ ｎ ｎ ｎ Ｔ ｕ ｔＭ ａ ａ ｅ ｎ ｙ ｔ ｍ ｔ ｐ － ｕ ｚ ｓ ｒｐ ｉ ｎ Ｌ ｇ ｃ ｐ ｅ ｅ ｔ ｔｏ ｎ ａ ｏ ｉ ｇ ｉ ｒ ｓ ｎ ｇ ｍｅ ｔＳ ｓｅ ｗｉ ａ Ｔｙ ｅ２ Ｆ ｚ ｙ Ｄｅ ｃ ｉ ｔ ｏ ｉ ｈ ｏ
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
信息 的模 糊 集 与 ＵＭＬ结 合 ， 出 了模 糊 ＵＭＬ， 提 并
将 多种层 次 的模糊 性引入 了 ＵＭＬ类 图口 。 ］ 然而， 模糊 ＵＭＬ是半形 式 化语 言 ， 乏精确 的 缺 语义 ， 不能 满足 软件工 程 中的应 用需 求 。一方 面 ， 只 有通 过 正 确 的形 式 化过 程 ， 能 获得 模 糊 ＵＭＬ 的 才 形式 化 语义 ， 我 们对 模 糊 ＵＭＬ有 清 晰一 致 的 理 使 解 。Ｍｏａ ｎ 就用 模糊 Ｐ ｔｉ ｔｍｅ ｉ ｅｒ 网形 式 化模 糊 ＵＭＩ
ＵＭ Ｌ，ｆ ｚ ｙ ＵＭ Ｉ ａ ｅ ｎ ｐ ｅ ｅ ｔ ｄ ｕ ｚ ｈ ｓ ｂ ｅ ｒ ｓ ｎ ｅ ．Ｓ ｍｉ ｒｔ ｉ ｌ ｏ ＵＭ Ｌ，ｆ ｚ ｙ Ｕ Ｍ Ｌ ｉ ｅ — ｏ ｍ ｅ ｎ ａ ｋ ｒ ｃｓ ｅ ａ ｕｚ ｓ ｓ ｍｉｆ ｒ ｄ ａ ｄ ｌ ｃ ｓ ｐ ｅ ｉｅ ｓ —
关 键 词 ：模 糊 ＵＭ Ｉ； 图 ； 糊 描 述 逻 辑 ； 式 化 类 模 形
中图分类 号 ： １２ ＴＰ ８
文献标 识码 ： Ａ
文 章 编 号 ： ０ ９３ ４ （ ０ ０ ０ —３ ６０ １ ０ — ４ ３ ２ １ ） ４０ ８ —６
Ｆｏ ｍ ａｌ ａ ｉ ｆｆ ｚ ｙ ＵＭＬ ｃ ａｓ ａｇｒ ｒ ｉ ｔｏｎ ｏ ｕ ｚ ｚ ｌ ｓ ｄｉ ａｍｓ ｂａ ｅ ｕ ｚ ｓ ｒｐ ｉ ｎ ｌ ｉ ｓ ｄ ｏｎ ｆ ｚ ｙ ｄｅ ｃ ｉ ｔｏ ｏｇ ｃ
Ａｂ ｔａ ｔ ｉ ｃ ｊｒｔ ｆｉ ｆｒ ｔ ｎ ｉ ｈ ｅ ｌｗｏ ｌ ｓ ｕ ｃ ｒａｎ ａ ｄ ｖ ｇ ｅ ｗｈ ｓ ｄｆｉｕ ｔｆｒ ｓｒ ｃ ：Ｓｎ ｅ ａ ｍａｏ ｉｙ ｏ ｎ ｏ ｍａｉ ｎ ｔ ｅｒ ａ ｒｄ ｉ ｎ ｅ ｔ ｉ ｎ ａ ｕ ｉｈ ｉ ｉｆ ｌ ｏ ｏ ｃ
ｐｌ ｄ ｔ ｕ ｚ Ｍ Ｌ ａ ａ ｍ ｏ ｌｔ ｒｆ ｈ ｔｉ ａ ｖ ｉａ ｅ ｉ ｏａ ｆ ｚｙ Ｕ ｅ ｄ ｔ ｄｅ ｏ ｖｅ ｉｙ ｔ ａ ｔｗ ｓ ａ ａ ｌ ｂｌ．
Ｋｅ ｒ ｓ ｕ ｚ Ｍ Ｉ ｕ ｉｉｄｍ ｏ ｅｉｇ ｌｒ ｕ ｇ ）； ｌｓ ｉｇ ａ ；ｆｚ ｙｄ ｓｒｐ ｉｎ ｌｇｃ ｏ ｍａｉａｉｎ ｙｗｏ ｄ ：ｆ ｚ ｙＵ （ ｎｆ ｄ ｌ ａ ｇ ａ ｅ ｃａ ｓｄ ａ ｒ ｍ ｅ ｎ ｕ ｚ ｅ ｃ ｉｔ ｉ ；ｆｒ ｌ ｔｏ ｏ ｏ ｚ
化 表 示 模 糊 ＵＭＩ 类 图 的 方 法 ， 扩展 模 糊 描 述 逻 辑 ｆ ＨＯＩ Ｄ） 其 逻 辑 基 础 ， 细 描 述 模 糊 ＵＭ Ｌ 类 图 中 — Ｓ Ｎ（ 为 详
的类 、 性和 各种 关 系转化 为模糊描 述 逻辑表 达 的形式化 过程 ， 属 最后 用 实例证 明该 方 法是 可行 的 。
基 于 模 糊描 述 逻辑 的模 糊 Ｕ ＭＬ类 图形 式 化
周 波 ， 张 亚非 ， 陆建 江 ， 王进 鹏 ， 苗 壮
（ 放 军 理 工 大 学 指 挥 自动 化 学 院 ， 苏 南京 ２ Ｏ ０ ） 解 江 １ ０ ７
摘 要 ：由于 ＵＭＬ难 以表 示现 实世 界 中存在 的 大量不确 定和模 糊 的信 息 ， 因此前人 提 出 了模 糊 ＵＭＬ。与 ＵＭＬ类似 ， 模糊 ＵＭＬ是 半形 式化语 言 ， 乏精 确 的语 义 。为解 决这一 问题 ， 出一种 用模 糊描 述逻辑 形式 缺 提
ＺＨＯＵ ， ＺＨＡＮＧ ａ ， ＬＵ ｉ ｎ ｊａ ｇ， Ｗ ＡＮＧ ｉ— ｎ ＭＩ Ｂｏ Ｙ 一 Ｊ ａ —ｉｎ Ｊ ｎ ｐｅ ｇ， ＡＯ ｕ ｎ Ｚｈ ａ ｇ
（ｎ ｔｔ ｔ ｆＣｏ Ｉ ｓｉ ｅｏ ｍｍａ ｄＡｕ ｏ ｔｏ ｕ ｎ ｔｍａ ｉｎ，ＰＬＡ ｉ．ｏ ｃ．＆ Ｔｅｈ． Ｕｎｖ ｆＳ ｉ ｃ ，Ｎａ ｊｎ １ ０ ７，Ｃｈｎ ） ｎｉｇ ２ ０ ０ ｉａ
现 实世 界 中存 在 大 量 的含 糊 信 息 和 不 确 定 信 息。 在许 多的应 用 中， 两类信 息无 法用统 一建模 语 这 言 ＵＭＬ表示 。 因此 ， 马宗 民将 能表示 含糊 和不确 定
面， 为能对 模糊 ＵＭＩ 类 图的一 致性 、 模糊 类 的可满 足 性和模 糊 类 间 的包 含关 系 等 逻辑 问题 进 行检 查 ， 需 要通过 形 式化 获 得完 备 正 确 的 自动 推理 算法 ， 进
ｍａ ｔｃ ．Ｉ ｄｅ ｏ ｓ ｌ ｅ ｔ ｉ ｏ ｅ ，ａ ｐｐ ｏａ ｈ ｔ ｏ ｍａ ｉｅ ｆ ｚ ｎ ｉｓ ｎ ｏｒ ｒｔ ｏ ｖ ｈ ｓｐｒ ｂｌｍ ｎ ａ ｒ ｃ ｏ ｆ ｒ ｌｚ ｕｚ ｙ ＵＭ Ｉ ｌ ｓ ｉ ｇ ａ ｔ ｕ ｚ — ｃ ａ ｓ ｄ ａ ｒ ｍｓ ｗｉｈ ｆ ｚ ｙ ｄｅ ｓ ｒｐｔｏｎ ｌ ｇ ｃ ｓ ｐｒ ｐ ｓ ｄ．Ｔｈｅ ｆ ｚ ｙ ｄｅ ｃ ｉ ｉ ｏ ｉ — ｃ ｉ ｉ ｏ ｉ ｓ ｗａ ｏ ｏ ｅ ｕ ｚ ｓ ｒｐｔｏｎ ｌ ｇ ｃ ｆＳＨＯＩ ｗａ ｘ ｅ ｄｅ ｔ ｏ ｃ ｅ ｅ ｆ ｚ ｏ Ｎ ｓ ｅ ｔ ｎ ｄ ｗｉｈ ｃ ｎ ｒ ｔ ｕｚ ｙ ｄ — ｍａｉ ｎ，ａ ｈ ｏ ｍａ ｉａ ｉ ｌｍｅ ｓ ｉ ｕｚ ｙ ＵＭ Ｌ ｌ ｓ ｉ ｇ ａ ｗａ ｅ ｒｂｅ ｎｄ ｔ ｅ ｆ ｒ ｌｚ ｔｏｎ ｏｆｅｅ ｎｔ ｎ ｆ ｚ ｃ ａ ｓ ｄ ａ ｒ ｍ ｓ ｄ ｃ ｉ ｄ．Ｔｈｉ ｐ ｒ ａ ｈ ｗａ ｐ ｓａ ｐ ｏ ｃ ｓａ —
解放军理工大学学报（ 自然科 学版） 第 １ 卷 第 ４期 ２ １ １ ０ ０年 ８月 Ｖ １ １ ｏ ４ ｕ ． １ ｏ． Ｎ ． Ａ ｇ ０ ０ １ ２
Ｊｕｎｌ ｆ Ｌ ｎ ｅ ｉ ｆ ｃ ｎ ｅ ｎ ｅｈ ｏｏｙ（ ｔｒｌ ｃ ｎｅ ｄｔ ｎ ｏｒａｏ Ａ Ｕ ｉ ｒ ｔ ｏ ｉ ｃ ｄ ｃｎ ｌ Ｎａ ａ Ｓ ｉ ｃ ｉｏ） Ｐ ｖ ｓｙ Ｓ ｅ ａ Ｔ ｇ ｕ ｅ Ｅ ｉ