高級軟件工程-資料下載頁
2025-08-01 14:32本頁面
【正文】 、函數(shù)頭） 中對可 能的參數(shù)進(jìn)行約束、特征化可能的返回結(jié)果。 對象類型（ object type）是成員為對象引用的類型。 CORBA對象模型 （ 4）操作（ operation） 一個操作是一個指示不可分割原語的可標(biāo)識實(shí)體，該原語 是可以被請求的服務(wù)體。請求一個操作的活動被稱為調(diào)用 （ invoking ，喚起）操作。 一個操作是由操作標(biāo)識符標(biāo)識的。 操作有一個描述請求參數(shù)合法值和返回值的簽名。 簽名包括： 請求該操作時(shí)所需參數(shù)的規(guī)定 操作結(jié)果的規(guī)定 請求操作所引發(fā)例外處理的規(guī)定和它們附帶的參數(shù)類型 可能影響請求的其它環(huán)境信息規(guī)定 客戶預(yù)期從請求操作獲得的執(zhí)行語義指示 CORBA對象模型 操作簽名的一般形式為： [oneway]op_type_specidentifier(param1,...,paramL) [raises(except1,...,exceptN)][context(name1,...,nameM)] 其中： 可選的 oneway關(guān)鍵字指示對該操作的請求預(yù)期獲得最佳效果 語義；如果操作成功返回結(jié)果，則默認(rèn)語義是只有一次，如 果返回例外處理，則默認(rèn)語義是最多一次。 op_type_spec是返回結(jié)果的類型 identifier為接口中的操作提供名稱 操作所需的操作參數(shù)；它們以修飾符 in、 out或 inout標(biāo)記， 目的是指示信息流的方向（相對于執(zhí)行請求的對象） 可選的 raises表達(dá)式指示可以引發(fā)的用戶定義例外處理，它們 用于終止對該操作的請求；如果沒有提供這樣的表達(dá)式，那么 不會引發(fā)任何用戶定義的例外處理 可選的 context表達(dá)式指示將對對象實(shí)現(xiàn)有效的請求環(huán)境信息； 沒有其它信息需要與請求一起傳送。 CORBA對象模型 （ 5）接口（ interface） “接口是一組操作的描述，客戶可以通過該接口向?qū)ο笳埱? 這些操作”。 接口提供了句法描述，說明支持該接口的對象所提供服務(wù)的 如何被訪問。 我們說一個對象 滿足 一個接口，如果它按照操作的規(guī)約通過 接口的操作提供其服務(wù)。 一個給定接口的 接口類型 是一個對象類型，一個對象引用滿 足該類型，當(dāng)且僅當(dāng)所引用的對象也滿足該接口。 接口是用 OMG IDL指定的。接口繼承提供的復(fù)合機(jī)制允許對象 支持多個接口。 CORBA對象模型 值類型（ value type） 一個值類型是一個實(shí)體，同時(shí)具有接口與結(jié)構(gòu)的許多特征。 它是關(guān)于客戶可能請求的操作集合與可以由客戶訪問的狀態(tài) 集合的描述。 值類型實(shí)例總是某種編程語言中的本地實(shí)在實(shí)現(xiàn)體。 值類型是用 OMG IDL指定的。 抽象接口（ abstract interface） 一個抽象接口是一個實(shí)體，在運(yùn)行時(shí)可能表示一個通常的 接口，也可能表示一個值類型。實(shí)體運(yùn)行時(shí)刻的類型取決于它 們使用的語義。 CORBA對象模型 （ 6）屬性（ attribute） 屬性是接口的一部分 屬性從邏輯上等價(jià)于聲明一對輔助函數(shù) 一個獲取屬性的值（ set） 一個設(shè)置屬性的值（ get） 屬性可以是只讀的 CORBA對象模型 概念小結(jié)： 對象 (Object) 請求 (Request) 類型 (Type) 接口 (Interface) 操作 (Operation) 屬性 (Attribute) Class ? 為什么不同的體系中概念存在不一致？ 視角不同、抽象層次不同 OOP、 OOD、 OOA、運(yùn)行 ? CORBA對象模型
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號-1