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