高级软件工程01概述、DOT与对象模型.pptVIP

2、CORBA对象模型（概念） 客户 对象 （执行服务） 以 客户/服务器模式 为 对象间互操作模型 CORBA对象模型 请求 对象实现 对象系统的实现执行请求服务所需的计算活动 这些活动可以包括计算请求的结果和更新系统状态 在这个过程中可能发出其它请求 实现模型包括两部分：执行模型和构造模型 执行模型描述如何执行服务 构造模型描述如何定义服务 （1）对象 符合传统对象的语义，具有封装、继承、多态等特点。 “对象 是 可标识的封装实体， 提供 客户可以请求的一个或多个 服务”。 CORBA对象模型 （2）请求（request） 客户通过发出请求来请求服务。 “从客户的初始化开始，至与该初始化因果相关的最后一个 事件之间的全部因果相关的事件序列”。 最后一个事件可能为： 客户从服务器接收到与请求相关的最后响应。 服务器在单向请求的情况下处理完相关操作。 与请求相关的事件序列因失败而终止。 与请求相关的信息包括： 操作 目标对象 零个或多个（实际）参数 以及可选的请求环境 CORBA对象模型 值（Value） 任何可以作为合法请求（实）参数的皆可以是值。 尤其是，一个值是一个OMG IDL数据类型的一个实例。 对象引用（object reference） 对象引用是可靠地指示一个特定对象的值。 特别地，每次在请求中使用引用时，对象引用将标识相 同的对象（受到某些空间和时间的实际限制）。 对象可以由多个不同的对象引用指示。 CORBA对象模型 （3）类型（type） 类型是与一个定义在一组实体之上的谓词（结果为布尔 型的单参数数学函数）相关联的可标识实体。如果谓词对于 某个实体为真， 那么该实体满足类型。 满足类型的实体称为类型的成员。 类型用于在签名（signature，基调、函数头）中对可 能的参数进行约束、特征化可能的返回结果。 对象类型（object type）是成员为对象引用的类型。 CORBA对象模型 （4）操作（operation） 一个操作是一个指示不可分割原语的可标识实体，该原语 是可以被请求的服务体。请求一个操作的活动被称为调用 （ invoking ，唤起）操作。 一个操作是由操作标识符标识的。 操作有一个描述请求参数合法值和返回值的签名。 签名包括： · 请求该操作时所需参数的规定 · 操作结果的规定 · 请求操作所引发例外处理的规定和它们附带的参数类型 · 可能影响请求的其它环境信息规定 · 客户预期从请求操作获得的执行语义指示 CORBA对象模型 操作签名的一般形式为： [oneway]op_type_specidentifier(param1,...,paramL) [raises(except1,...,exceptN)][context(name1,...,nameM)] 其中： · 可选的oneway关键字指示对该操作的请求预期获得最佳效果 语义；如果操作成功返回结果，则默认语义是只有一次，如 果返回例外处理，则默认语义是最多一次。 · op_type_spec是返回结果的类型 · identifier为接口中的操作提供名称 · 操作所需的操作参数；它们以修饰符in、out或inout标记， 目的是指示信息流的方向（相对于执行请求的对象） · 可选的raises表达式指示可以引发的用户定义例外处理，它们 用于终止对该操作的请求；如果没有提供这样的表达式，那么 不会引发任何用户定义的例外处理 · 可选的context表达式指示将对对象实现有效的请求环境信息； 没有其它信息需要与请求一起传送。 CORBA对象模型 （5）接口（interface） “接口是一组操作的描述，客户可以通过该接口向对象请求 这些操作”。 接口提供了句法描述，说明支持该接口的对象所提供服务的 如何被访问。 我们说一个对象满足一个接口，如果它按照操作的规约通过 接口的操作提供其服务。 一个给定接口的接口类型是一个对象类型，一个对象引用满 足该类型，当且