MDA之路

          MDA,UML,XML,Eclipse及Java相關(guān)的Blog
          posts - 53, comments - 494, trackbacks - 0, articles - 2
            BlogJava :: 首頁(yè) :: 新隨筆 :: 聯(lián)系 :: 聚合  :: 管理

          OCL觀感:從游擊隊(duì)到正規(guī)軍

          Posted on 2005-03-18 09:51 wxb_nudt 閱讀(3265) 評(píng)論(10)  編輯  收藏 所屬分類(lèi): 技術(shù)雜談

          初次見(jiàn)到OCL是在《應(yīng)用MDA》這本書(shū)中,在介紹DBCDesign by Contract,契約式設(shè)計(jì))時(shí)候提到了OCL,當(dāng)時(shí)的感覺(jué)是OCL適合用于規(guī)定方法的前置條件和后置條件。匆匆一瞥,未能留下什么映像。再次見(jiàn)到OCL是在OMGUML2.0規(guī)范中,OMG大張旗鼓的將OCLUML的附屬中分離出來(lái),單獨(dú)作為UML的一個(gè)部分,名字就叫做Response to the UML 2.0 OCL RfP (ad/2000-09-03)。但是單從規(guī)范來(lái)看,OCL紛繁迷亂,未見(jiàn)其如此值得重視之處。以后卻屢屢在E文的paper中遭遇OCL,最有名的就是昨天看的“A Relational Approach to Defining Transformations in a Metamodel”,文中簡(jiǎn)直將OCL作為一種形式化語(yǔ)言來(lái)定義了元模型的轉(zhuǎn)換。這下我真的看到了OCL的強(qiáng)大威力。它沒(méi)有晦澀的形式化符號(hào),卻有著與其相當(dāng)?shù)谋磉_(dá)能力,通過(guò)OCL約束的UML類(lèi)圖才真正精確的表達(dá)了設(shè)計(jì)的概念。無(wú)論目前國(guó)內(nèi)應(yīng)用OCL的前景如何,它都是一門(mén)值得關(guān)注的技術(shù)。

          為什么要OCL?

          OCL的規(guī)范是這樣解釋它的由來(lái):A UML diagram, such as a class diagram, is typically not refined enough to provide all the relevant aspects of a specification. There is, among other things, a need to describe additional constraints about the objects in the model. Such constraints are often described in natural language. Practice has shown that this will always result in ambiguities. In order to write unambiguous constraints, so-called formal languages have been developed. The disadvantage of traditional formal languages is that they are usable to persons with a strong mathematical background, but difficult for the average business or system modeler to use.

          OCL has been developed to fill this gap. It is a formal language that remains easy to read and write. It has been developed as a business modeling language within the IBM Insurance division, and has its roots in the Syntropy method.

          UML圖(例如類(lèi)圖)通常不夠精細(xì),無(wú)法提供與規(guī)范有關(guān)的所有相關(guān)部分。這其中就缺少描述模型中關(guān)于對(duì)象的附加約束。這些約束常常用自然語(yǔ)言描述。而實(shí)踐表明,這樣做經(jīng)常造成歧義。為了寫(xiě)出無(wú)歧義的約束,已經(jīng)開(kāi)發(fā)出幾種所謂的“形式語(yǔ)言”。傳統(tǒng)上的形式語(yǔ)言,缺點(diǎn)是僅適合于有相當(dāng)數(shù)學(xué)背景的人員,普通商務(wù)或系統(tǒng)建模者則難以使用。

          OCL即為填補(bǔ)這一空白而來(lái)。它是一種保留了易讀易寫(xiě)特點(diǎn)的形式語(yǔ)言。它已在IBM的保險(xiǎn)分部作為一種業(yè)務(wù)建模語(yǔ)言開(kāi)發(fā)出來(lái),根植于 Syntropy 方法。)

          OCL的入門(mén)介紹

          Mdachina論壇的笨蛋01,提供了OCL入門(mén)教程,我就不再?gòu)?fù)述了。(注意論壇目前在調(diào)整期,地址可能很快過(guò)期。不過(guò)www.mdachina.net還是可以作為長(zhǎng)期的論壇入口)

          OCL的特性

          Jos WarmerAnneke Kleppe在他們的著作《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版中詳細(xì)介紹了OCL4個(gè)特性。

          1.       OCL是查詢(xún)(Query)語(yǔ)言也是約束(Constraint)語(yǔ)言:

          A constraint is a restriction on one or more values of (part of) an object-oriented model or system.一個(gè)約束就是對(duì)一個(gè)(或部分)面向?qū)ο竽P突蛘呦到y(tǒng)的一個(gè)或者一些值的限制。UML類(lèi)圖中的所有值都可以被約束,而表達(dá)這些約束的方法就是OCL。

          UML2標(biāo)準(zhǔn)中,OCL不僅用來(lái)寫(xiě)約束,還能夠用來(lái)對(duì)UML圖中的任何元素寫(xiě)表達(dá)式。每個(gè)OCL表達(dá)式都能指出系統(tǒng)中的一個(gè)值或者對(duì)象。因?yàn)?/span>OCL表達(dá)式能夠求出一個(gè)系統(tǒng)中的任何值或者值的集合,因此它具有了和SQL同樣的能力。SQLOCL都不是約束語(yǔ)言,因?yàn)?/span>OCL既是約束語(yǔ)言,同時(shí)也是查詢(xún)語(yǔ)言。

           

          2.       OCL是基于數(shù)學(xué)的,但沒(méi)有使用數(shù)學(xué)符號(hào)

          OCL的基礎(chǔ)是數(shù)學(xué)中的集合論和謂詞邏輯,并且它有一個(gè)形式化的數(shù)學(xué)語(yǔ)義。但是它并沒(méi)有使用某種數(shù)學(xué)符號(hào)。因?yàn)殡m然數(shù)學(xué)符號(hào)能夠清晰的、無(wú)歧義的表達(dá)事物,但是只有極少的專(zhuān)家可以看懂。所以數(shù)學(xué)符號(hào)并不適合用于一個(gè)廣泛應(yīng)用的標(biāo)準(zhǔn)語(yǔ)言。

          自然語(yǔ)言是最易懂的,但是它是含混不清晰的。OCL取了自然語(yǔ)言和數(shù)學(xué)符號(hào)的折中方案,使用普通的ASCII字符來(lái)表達(dá)數(shù)學(xué)中同樣的概念。如果你不喜歡當(dāng)前的OCL表達(dá)方法,OCL規(guī)范還允許你定義自己的OCL符號(hào)集,這點(diǎn)是可以理解的,因?yàn)?/span>OCL有一個(gè)清晰的數(shù)學(xué)語(yǔ)義。

          3.       強(qiáng)類(lèi)型的語(yǔ)言

          OCL是一個(gè)類(lèi)型語(yǔ)言,任何表達(dá)式的值都是屬于一個(gè)類(lèi)型的。這個(gè)類(lèi)型可以是預(yù)定義的標(biāo)準(zhǔn)類(lèi)型例如Boolean或者Integer,也可以是UML圖中的元素例如對(duì)象。也可以是這些元素組成的集合,例如對(duì)象的集合、包、有序集合等等。

          流行的類(lèi)型語(yǔ)義有Java,C++等,流行的無(wú)類(lèi)型語(yǔ)言有VB,好像JavaScript也是。

          4.       宣言式(Declarative)的語(yǔ)言

          Declarative翻譯為宣言式的我不知道是否正確,但是對(duì)理解其含義并沒(méi)有影響。與Declarative language相對(duì)應(yīng)的是過(guò)程式的語(yǔ)言(procedural language)。過(guò)程式語(yǔ)言,類(lèi)似編程語(yǔ)言,描述了動(dòng)作執(zhí)行的步驟。但是在宣言式的語(yǔ)言中,表達(dá)式僅僅描述了應(yīng)該去做“什么”,而不是應(yīng)該“怎樣”去做。為了保證這一點(diǎn),OCL的表達(dá)式是沒(méi)有副作用的,也就是說(shuō),計(jì)算一個(gè)OCL表達(dá)式的值不會(huì)對(duì)系統(tǒng)的狀態(tài)產(chǎn)生任何改變。

          因?yàn)?/span>OCL是宣言式語(yǔ)言,所以UML中的表達(dá)式被提升到了純建模的領(lǐng)域,而不必理會(huì)實(shí)現(xiàn)的細(xì)節(jié)和實(shí)現(xiàn)的語(yǔ)言。表達(dá)式在高的抽象層次上規(guī)定了系統(tǒng)的值,從而保留了100%的精確。

          從游擊隊(duì)到正規(guī)軍

          作為主流的建模語(yǔ)言,UML始終處于不冷不熱的地步,老像是游擊隊(duì),打一槍換一個(gè)地方,很難有人將UML自始至終的貫徹。OMG覺(jué)得“沒(méi)有紀(jì)律的部隊(duì)是不能打仗的”,因此加上了OCL這個(gè)“軍令”,希望能夠建設(shè)建模領(lǐng)域的“正規(guī)軍”。但是如果要詳細(xì)的用OCL描述所有約束,那么在設(shè)計(jì)階段花費(fèi)的時(shí)間就會(huì)大量增加,是否能夠在開(kāi)發(fā)的后期得到效率和質(zhì)量上的補(bǔ)償呢?我們只能希望如此。

          另外,MMLModeling Maturity Levels,模型成熟度層次)分為5層,要想能夠貫徹MDA方法,模型成熟度必須達(dá)到level4,即精確的模型,但是精確的模型目前只能用OCLUML來(lái)描述。所以,OCL也是通向MDA的必經(jīng)之路。到底它是通向MDA之路的橋梁還是絆腳石呢?


          評(píng)論

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2005-11-30 16:40 by attar
          A Relational Approach to Defining Transformations in a Metamodel

          能不能發(fā)到我的郵箱,謝謝
          anzylf110@sina.com

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2006-07-05 16:12 by 張曉蒙
          看了你的文章,我真的感覺(jué)受益非淺,我是一個(gè)普通的研究生,主要也是研究形式化方法的,而對(duì)UML也情有獨(dú)鐘,所以搞OCL對(duì)我來(lái)說(shuō)很感興趣.
          我是最近才接觸MDA,但一上手就感覺(jué)很有興趣,也打算把MDA作為自己的論文方向.我希望在今后的時(shí)間里能和您有多的交流.
          我的E-MAIL: doom5211@gmail.com
          我希望您能對(duì)我的學(xué)習(xí)提一些建議或幫助.我愿做您的學(xué)生,不管您是否是老師還是學(xué)生,能者為師啊.

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2006-07-14 09:31 by fallson
          A Relational Approach to Defining Transformations in a Metamodel

          能不能發(fā)到我的郵箱,謝謝
          wu_baiqing@yahoo.com.cn

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2006-07-26 23:23 by david du
          A Relational Approach to Defining Transformations in a Metamodel

          能不能發(fā)到我的郵箱,謝謝
          squalldavid@gmail.com

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2006-09-16 11:18 by triangel
          我的方向也是協(xié)議的形式化,可是目前仍在困惑中,這到底有什么使用價(jià)值,畢業(yè)后能從事什么方向的工作呢?

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2006-11-29 05:10 by KAZ
          請(qǐng)問(wèn)為什么MDACHINA的論壇我上不去啊,麻煩告訴我下,很著急,謝謝啊

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2007-01-25 22:02 by bb
          這個(gè)http://www.mdachina.net,現(xiàn)在不能訪問(wèn)了。
          是不是改網(wǎng)址了,大家知道的話,請(qǐng)告訴我。

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2008-06-05 16:53 by Marklittle
          服了,Addison Wesley是出版商,OCL的作者是Jos Warmer, Anneke Kleppe

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍  回復(fù)  更多評(píng)論   

          2008-06-05 23:45 by wxb_nudt
          @Marklittle
          你說(shuō)得很對(duì),暈了。作者應(yīng)該是Jos Warmer和Anneke Kleppe,sorry!
          文中已經(jīng)修改。

          # re: OCL觀感:從游擊隊(duì)到正規(guī)軍[未登錄](méi)  回復(fù)  更多評(píng)論   

          2009-11-23 21:24 by Cynthia
          謝謝樓主,正在學(xué)習(xí)一篇論文,其中有提到OCL,不是特別的了解。
          聽(tīng)完你的介紹對(duì)閱讀這篇論文有很大幫助。
          主站蜘蛛池模板: 宿松县| 新晃| 兰西县| 裕民县| 镇坪县| 惠州市| 穆棱市| 自治县| 奈曼旗| 宜城市| 平武县| 白朗县| 龙州县| 定边县| 特克斯县| 涡阳县| 株洲市| 永泰县| 惠安县| 沈阳市| 南靖县| 怀安县| 双桥区| 珠海市| 北辰区| 荆门市| 浑源县| 南乐县| 鄂尔多斯市| 安福县| 酒泉市| 长乐市| 贵港市| 广灵县| 太湖县| 东兴市| 梁平县| 定安县| 璧山县| 什邡市| 忻城县|