詳解Visual Studio DSL創(chuàng)建狀態(tài)機(jī)元數(shù)據(jù)模型
在本文之前，51CTO曾為大家介紹過(guò)《Visual Studio特定領(lǐng)域開(kāi)發(fā)中生成域類(lèi)和域關(guān)系》與《淺析Visual Studio中的特定領(lǐng)域開(kāi)發(fā)》。這里講講到的是Visual Studio DSL創(chuàng)建狀態(tài)機(jī)元數(shù)據(jù)模型。
在前幾節(jié)中，我們以創(chuàng)建的默認(rèn)項(xiàng)目介紹了Visual Studio DSL的一些基本的知識(shí)，包括域類(lèi)，域關(guān)系，圖形符號(hào)，圖形映射等，這些東西看起來(lái)可能會(huì)有些抽象，和我們第二節(jié)介紹的需求還沒(méi)有直接關(guān)系，不過(guò)這些概念確實(shí)我們開(kāi)發(fā)我們自己的Visual Studio DSL之前必須要掌握的。如果你對(duì)我們將要做的這個(gè)實(shí)際的案例的需求并不是很了解，請(qǐng)仔細(xì)需求一下我們這個(gè)狀態(tài)機(jī)的需求.如果你第一次看這一系列，或者是對(duì)這些基礎(chǔ)概念還不是很熟悉，建議你看一下前面的幾節(jié)基礎(chǔ)知識(shí)。
首先，按照第三節(jié)創(chuàng)建一個(gè)Minimal Lanauge模板項(xiàng)目，打開(kāi)DSLDefinition.DSL文件：
1. 把根域類(lèi)ExampleModel的名稱(chēng)修改StateMachine.同時(shí)簽入關(guān)系ExampleModelHasElements也會(huì)自動(dòng)重命名為StateMachineHasElements.
2. 修改域關(guān)系StateMachineHasElements左側(cè)的域角色Elements的屬性名(Property Name 注意不是修改Name--域角色名)改成States.同時(shí)簽入關(guān)系StateMachineHasElements自動(dòng)更新為StateMachineHasStates. [你也可以直接在域角色上點(diǎn)擊修改,因?yàn)閳D的域角色上顯示的是屬性名而非角色名).
3. 修改域關(guān)系StateMachineHasStates的右側(cè)已經(jīng)更名的域角色StateMachine，修改屬性Name為State.[注意,這里修改的是Name,而不是Property Name].
4. 修改域類(lèi)ExampleElement的Name為State.
注意這里是基于模板項(xiàng)目進(jìn)行更改,當(dāng)然,你也可以刪除這些自動(dòng)生成的域類(lèi)而是全新重新添加.另外或許你對(duì)這里的屬性名(property name)和域角色名(name)有些迷惑,請(qǐng)看前面的詳細(xì)區(qū)分.
其實(shí)到這一步我們已經(jīng)完成了狀態(tài)機(jī)與狀態(tài)之間元數(shù)據(jù)的DSL描述，接下來(lái)我們來(lái)完成狀態(tài)之間的關(guān)系.
5.我們可以看到，圖中的State與State之間已經(jīng)是引用關(guān)系，這正是我們想要的，我們修改關(guān)系StateReferencesTargets為T(mén)ransition.
6.修改Targets為屬性名為Successors，域角色名為Predecessor.
7.修改Sources的屬性名為Predecessors,域角色名為Successor.
同樣，如果不是基于修改，而是重新添加域類(lèi)也是完全可以的.
我們接下來(lái)給域類(lèi)添加一些屬性:
8.給域關(guān)系Transition右鍵添加域?qū)傩?DomainProperty)Event,Condition,Action,Label.類(lèi)型都為string.
現(xiàn)在來(lái)看一下我們的DSL,狀態(tài)機(jī)StateMachine,狀態(tài)State.State之間的有引用關(guān)系Transition,也就是我們需求中描述的轉(zhuǎn)移，它的屬性也就是狀態(tài)機(jī)元數(shù)數(shù)據(jù)---事件Event,警戒條件Condition,操作Action.
接下來(lái)，我們還需要給狀態(tài)添加一個(gè)屬性，來(lái)表示狀態(tài)機(jī)中的狀態(tài)分類(lèi)，是起始狀態(tài),結(jié)束狀態(tài)，還是普通狀態(tài).那么這個(gè)屬性就需要是枚舉類(lèi)型，下面我們需要添加一個(gè)自定義的枚舉類(lèi)型:
9.打開(kāi)DSL Explorer，在根結(jié)點(diǎn)LanguageSm（這個(gè)代表我們的DSL)上右鍵，選擇添加Domain Enumeration.
選中剛添加的域枚舉類(lèi)型，右鍵選擇屬性，修改Name為StateKind,這樣在DSL瀏覽器的Domain Types下面除了通用的類(lèi)型外，就多了我們的StateKind枚舉類(lèi)型，同樣，我們可用同樣的方式添加其它外部類(lèi)型（External Type),供我們的元數(shù)據(jù)所用。
我們?yōu)檫@個(gè)枚舉類(lèi)型添加枚舉值，右鍵添加Enumeration Literal，添加三個(gè)枚舉值Normal,Initial,Final,值分別對(duì)應(yīng)0,1,2.為我們的域類(lèi)State添加一個(gè)屬性Kind,數(shù)據(jù)類(lèi)型Type選擇我們剛剛添加的StateKind.
接下來(lái)，我們添加一個(gè)新的域類(lèi)（從工具條中選擇Domain Class拖到左側(cè)域類(lèi)區(qū)),更名為Action,這就是我們的元數(shù)據(jù)“操作”,為這個(gè)域類(lèi)添加兩個(gè)string類(lèi)型的屬性Label,Code.
現(xiàn)在我們需要考慮一下元數(shù)據(jù)中提到的進(jìn)入操作和退出操作，在進(jìn)入一個(gè)狀態(tài)前，對(duì)于這個(gè)狀態(tài)可以有進(jìn)入操作，在退出一個(gè)狀態(tài)時(shí)，可以有退出操作，很明顯，在狀態(tài)和操作之間，應(yīng)該是嵌入關(guān)系而非引用關(guān)系，也就是我們的狀態(tài)可以包含零或多個(gè)進(jìn)入操作，零或多個(gè)退出操作，那我們這個(gè)進(jìn)入操作和退出操作怎么來(lái)用DSL的域類(lèi)表示呢？如果我們也象描述狀態(tài)State那樣，由一個(gè)屬性來(lái)區(qū)分是進(jìn)入操作還是退出操作是否可行呢？如果是這樣的話，對(duì)操作Action的添加等就需要特殊處理。另外一點(diǎn)，如果我們針對(duì)狀態(tài)State與操作Action建立多個(gè)零至多的嵌入關(guān)系會(huì)導(dǎo)致DSL編譯時(shí)就會(huì)發(fā)生錯(cuò)誤，這是Visual Studio DSL所不允許的，這會(huì)造成歧義.[包含域類(lèi)方面和圖形映射方面都會(huì)有問(wèn)題].
在這里我們打算用DSL的另外一個(gè)特性來(lái)實(shí)現(xiàn)，也就是域類(lèi)的繼承，我們建立兩個(gè)新的域類(lèi)來(lái)表示進(jìn)入操作和退出操作，他們都繼承操作Action：
10.添加兩個(gè)新域類(lèi)EntryAction和ExitAction,并不需要給他們添加任何屬性.
11.建立它們與Action的繼承關(guān)系，選中工具箱中的Inheritance,先選中EntryAction,再指向選中Action.
上圖就是完成后Action,我們可以通過(guò)Bring Tree Here更簡(jiǎn)化域類(lèi)顯示(上右圖).
12.建立EntryAction和ExitAction和State的嵌入關(guān)系，注意選中工具箱中的embedding relationship后，要從State指向EntryAction.注意左邊的重?cái)?shù)是0…*,右邊的重?cái)?shù)是1..1.也就是說(shuō)一個(gè)狀態(tài)可以沒(méi)有進(jìn)入操作或退出操作，也可以有多個(gè)。而且對(duì)于每個(gè)進(jìn)入操作和退出操作，它們只能從屬于一個(gè)狀態(tài)State.
我們現(xiàn)在來(lái)看一下我們完成的整個(gè)DSL元數(shù)據(jù):
保存整個(gè)DSL文件后，我們點(diǎn)擊轉(zhuǎn)換所有模板(Transform All Templates),Visual Studio DSL根據(jù)我們的DSL文件中的元數(shù)據(jù)，用T4模板文件生成對(duì)應(yīng)的C#代碼，注意我們?cè)谝院竺慨?dāng)修改完DSL文件中的元數(shù)據(jù)后，都要記得轉(zhuǎn)換模板，才會(huì)使更改起作用.當(dāng)然，你也可以選中某一個(gè)tt文件，右鍵運(yùn)行自定義工具(Run Custom Tool)，針對(duì)這個(gè)文件單獨(dú)生成，尤其當(dāng)你的DSL文件相當(dāng)龐大時(shí)，這樣能夠提高生成速度。
轉(zhuǎn)換完成后，可以重新編譯整個(gè)解決方案，查看是否有錯(cuò)誤發(fā)生。我們象第五節(jié)那樣，查看一下DomainClasses.cs文件類(lèi)圖:
可以看到，元數(shù)據(jù)中的域類(lèi)，域關(guān)系都體現(xiàn)在生成的代碼中了.
原文標(biāo)題：Visual Studio DSL 入門(mén) 8---創(chuàng)建狀態(tài)機(jī)元數(shù)據(jù)模型
鏈接：http://www.cnblogs.com/lonely7345/archive/2010/02/22/1670805.html
【編輯推薦】
