面向对象-消息与依赖

①
定义：消息是对象之间在一次 并发系统的消息与顺序系统的消息有了很大不同，
表现在以下几个方面： 2.消息的同步与异步
同步消息：仅当发送者要发送一个消息而且接收者 已做好接受这个消息的准备时才能发送的消息。无 论发送者还是接收者，如发现对方未做好准备都必 须等待。 ② 异步消息：发送者不管接收者是否做好接收准备都 可以发送的消息称为异步消息。 ③ 阻断消息 ④ 限时消息
2：依赖对面向对象建模的作用
我们的建议是：
在面向对象的开发中，要原原本本的认识和表达经典的面向
对象理论所指出的类及对象之间的各种关系，即继承，聚合， 关联和消息，不要用那些语义含糊不清的所谓“依赖关系” 代替对类及对象之间这些基本关系的表达。
LOGO
1.1：顺序系统中的消息
在顺序系统中，“消息是向对象发出的操作请求”
这个定义是合适的。同时可以明确顺序系统中消 息的下述语法与语义特征： 在语法上，一个消息的描述应包括以下内容：消 息名，即接收消息的操作名；入口参数（0到多 个），及接收消息的操作要求的输入参数；返回 参数（0到多个），即接收消息的操作提供的输 出参数。 在语义上，一个消息应包括：发送者，这是通过 消息发送点的位置隐含表明的，不需要显示的表 示；接收者，是通过消息名表达的；其他需要传 送的信息，通过入口参数和返回参数表示。
①
1.2：并发系统中的消息
并发系统的消息与顺序系统的消息有了很大不同，
表现在以下几个方面： 5.消息的接收者是否唯一
把消息定向的发送给唯一的接收者，称为定向消息 ② 把消息发送给某个范围内所有可能的接收者，称为 广播消息。
①
1.2：并发系统中的消息
1.3：消息对OOA的意义
在运用面向对象方法构造的系统中，消息体现了对象行为
3：如何建立消息
2.建立控制流之间的消息 在前面的工作中已经理清了各个控制流，因而分析员能够
以这些从主动对象发源的控制流作为并发执行的单位，对 整个系统的动态执行情况进行全局的观察，从而发现这些 控制流之间需要那些消息。对每个控制流主要考虑以下问 题： 它在执行时，是否需要请求其他控制流中的对象为他 提供某种操作？ 它在执行时，是否要向其他控制流中的对象提供或者 索取某种数据？ 它在执行时，是否将产生某些可影响其他控制流执行 的事件？ 各个控制流的并发执行，是否需要传递一些同步控制 信号？ 一个控制流在何种情况下中止执行？如何唤醒？怎样 唤醒？
4：消息的规约
消息的规约包括对发送者和接收者两方面的说明。
在发送者的类规约中对每个发送消息的操作做以下说明：
指出这个操作在执行时可能发出的每一种消息，其内 容包括接收者的类名及操作名。 ② 说明操作者是与本操作顺序执行的还是并发执行的。 ③ 必要时说明该消息是同步的还是异步的，以及发送者 是否等待该消息的处理结果。 ④ 如果操作流程图是比较详细的，则应画出在什么位置 上发送什么消息。
之间的依赖关系。它是实现对象之间的动态联系，使系统 成为一个能运行的整体，并使各个部分能够协调工作的关 键因素。如同人体的神经，有了它，整个机体才能活动。 对顺序系统而言，OOA通过对消息的分析把所有的对象 操作串联在一起，在系统实现后，它们将在一个控制流中 顺序的执行。 在并发系统中，OOA把所有的对象组织到一些彼此并发 执行，但内部不再存在并发问题的控制流中。
2：消息的表示
2：消息的表示
在同一个对象内部的不同操作之间可能也需要传送消息。
这种情况是很常见的。 OOA模型主要用于表示不同类之间的关系，内部的消息 关系一般不需要在模型图中表示出来，只需要在每个类的 规约中指出它的每个操作需要向其他那些操作发送消息即 可。 但是，如果这种消息是发生在不同控制流之间，则应该在 模型图中显式的表示出来，因为控制流之间的消息往往被 用来传递重要的控制信息。
①
4：消息的规约
消息的规约包括对发送者和接收者两方面的说明。
在接收者的类规约中对每个操作做以下说明：
说明由这个操作接收和处理的每一种消息，规定消息 的格式和内容（称为消息协议）。内容包括消息名称， 输入与输出参数以及参数的数据类型。 ② 说明本操作是与发送者顺序执行的还是并发执行的。 ③ 必要时说明消息是同步的还是异步的。
传递的一种信息，例如人与人之间的对话，通信， 发通知，留言，交通信号灯对车辆和行人发出的信 号，人发给设备的遥控信号等，都可成为消息。 在软件系统中，消息这个术语较多的用于进程间的 通信。广义的理解，一个软件成分向其他软件成分 发出的控制信息或者数据信息，都可成为信息。一 个消息应具有发送者和接收者共同的语法与语义， 接收者在收到消息后，将按照其要求做出某种反应。
2：消息的表示
3：如何建立消息
1.建立控制流内部的消息



人为地模拟当前对象操作的执行 分析该消息的发送者与接收者在执行时是否属于同一 个控制流，从而辨别该消息是否在一个控制流内部。 在类规约中对当前操作的说明中指出由它发出的每一 种消息，给出接收者的类名和操作名；从当前操作所 在的类向所有接收消息的类画出消息连接线，用实线 封闭箭头表示控制流内部的消息，用虚线封闭箭头表 示控制流之间的消息。 沿着控制流内部的每一种消息追踪到接受该消息的对 象操作，重复进行以上的操作。
3：如何建立消息
3.对象分布问题及其对消息的影响
在面向对象的软件开发中，系统功能分布与数据分布都将
通过对象的分布来实现。分布问题对OOA的影响是： 在每一台处理机上分布的一组对象中，至少应该有一 个主动对象；所有的被动对象都是在本机的至少一个 主动对象的驱动下运行的。 分布在同一台处理机上的对象之间的消息通信，既可 能是一个控制流内部的，也可能是不同控制流之间的。 分布在不同处理机上的对象之间的消息通信则只能是 不同控制流之间的。 各种不同的消息在实现时所依赖的消息通信机制也有 所不同。
①
关于依赖关系的讨论
自从面向对象技术问世以来，大部分文献谈到对
象之间的关系，所关注的是继承，聚合，关联， 消息这四种关系；各种面向对象编程语言所支持 的，以及大部分面向对象的分析与设计方法所要 表达的，主要也是这四种关系。 然而在UML中却定义了另外一种关系，叫做依 赖。
1：什么是依赖
在UML出现之前，在几种经典的面向对象方法中只有
①
1.2：并发系统中的消息
并发系统的消息与顺序系统的消息有了很大不同，
表现在以下几个方面： 3.接收者对消息的不同响应方式
在消息产生之前，处理这个消息的控制流并不存在； 仅当发送者发出这个消息时才立刻创建一个控制流 来响应这个消息，完成它要求的操作。 ② 处理信息的控制流已经存在，并且与发送者同步的 接收消息。接到消息立刻处理。 ③ 接收者异步地接收与处理消息，即在消息发出之后 的某个时刻才接收与处理该消息。 ④ 某些消息所指出的接收者可能并不关心这种消息， 也不作任何回应。
2：依赖对面向对象建模的作用
UML起源于多种面向对象方法的融合，然而他的发展却超出
了面向对象建模的范围。它被定名为“建模语言”，而不是 “面向对象建模语言”，因此它可以把任何与建模问题有关 概念包含进来，不管这些概念是不是面向对象的。诚然，面 向对象的系统建模仍然是UML支持的主要目标，但是UML 也提供了许多非面向对象的概念，依赖就属于这种情况。 从目前的应用状况来看，依赖的概念和表示法在一些工程项 目中被用得很滥，很粗糙。人们随便就可以在两个块之间画 一个虚线箭头，表示它们一个依赖另一个。至于是什么样的 依赖则不甚了然。在面向对象的建模中，人们常常满足于用 这样一些语焉不详的虚线箭头把图中的类符号连接起来，是 整个图看起来像是一个模型了，从而代替了发现类及对象之 间各种基本关系的努力，也不去深究这些“依赖关系”的确 切含义。
1.2：并发系统中的消息
1.2：并发系统中的消息
并发系统中的消息有两种情况： 发生在控制流内部的情况。 发生在控制流之间的情况。
1.2：并发系统中的消息
并发系统的消息与顺序系统的消息有了很大不同，
表现在以下几个方面： 1.消息的多种用途
向接收者发出一个服务请求 ② 向接收者提供一些数据 ③ 向接收者发布一个通知或事件信息 ④ 向接收者发布一个同步控制信号
LOGO
第四小组讲义
组员：任万春
朱雪刚
消息
学习目标：介绍如何分析和认识对象之间在行为
上的依赖关系，并通过消息来表示这种关系，从 而使OOA模型最终成为一个有机的整体。
主要内容
1：什么是消息 2：如何表示消息 3：如何建立消息 4：消息的规约
1：什么是消息
在现实生活中，消息通常指的是人或其他事物之间
①
1.2：并发系统中的消息
并发系统的消息与顺序系统的消息有了很大不同，
表现在以下几个方面： 4.发送者对消息处理结果的不同期待方式
发送者在发出消息之后等待，直至得到处理结果才 继续原先的工作。 ② 发送者不等待处理结果，发出消息后立刻继续执行， 只是在以后的某个执行点或某种时机查看消息的处 理结果。 ③ 发送消息后，发送者既不等待，也不再关心其处理 结果。
1.1：顺序系统中的消息
1.1：顺序系统中的消息
顺序系统中，对象之间的关系具有下述特点： 每个消息都是向对象发出的一个服务请求，它
将引起接收者的一个操作的执行。 除了唯一的主动对象含有唯一的主动操作之外， 其他的对象操作都是被动的，他们只有在接收 到消息时才开始执行。 每个消息的发送和执行都是同时进行的，即消 息都是同步的。 整个系统中所有的操作都是串行的。
1.1：顺序系统中的消息
顺序系统中的一切操作都是顺序执行的。它的
OOA模型只有一个主动对象（并且这个主动对 象只有一个主动操作）其余的对象都是被动对象。 实现之后的系统在运行时，将之对应一个处理机 调度单位（进程及线程）。 系统从唯一的主动对象的主动操作开始，当它需 要其他对象（被动对象）的某个操作为它完成某 项工作时，就向它发送一个消息，控制点转移到 接收消息的对象操作，使这个操作开始执行。