Visual Studio DSL 入门 8---创建状态机元数据模型

    在前几节中,我们以创建的默认项目介绍了Vs.net dsl的一些基本的知识,包括域类,域关系,图形符号,图形映射等,这些东西看起来可能会有些抽象,和我们第二节介绍的需求还没有直接关系,不过这些概念确实我们开发我们自己的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.
      2010-2-21 8-15-11
     注意这里是基于模板项目进行更改,当然,你也可以删除这些自动生成的域类而是全新重新添加.另外或许你对这里的属性名(property name)和域角色名(name)有些迷惑,请看前面的详细区分.
     其实到这一步我们已经完成了状态机与状态之间元数据的dsl描述,接下来我们来完成状态之间的关系.
       5.我们可以看到,图中的State与State之间已经是引用关系,这正是我们想要的,我们修改关系StateReferencesTargets为Transition.
       6.修改Targets为属性名为Successors,域角色名为Predecessor.
       7.修改Sources的属性名为Predecessors,域角色名为Successor.
     2010-2-21 9-25-30 
     同样,如果不是基于修改,而是重新添加域类也是完全可以的.
     我们接下来给域类添加一些属性:
       8.给域关系Transition右键添加域属性(DomainProperty)Event,Condition,Action,Label.类型都为string.
     现在来看一下我们的Dsl,状态机StateMachine,状态State.State之间的有引用关系Transition,也就是我们需求中描述的转移,它的属性也就是状态机元数数据---事件Event,警戒条件Condition,操作Action.  
      接下来,我们还需要给状态添加一个属性,来表示状态机中的状态分类,是起始状态,结束状态,还是普通状态.那么这个属性就需要是枚举类型,下面我们需要添加一个自定义的枚举类型:
       9.打开DSL Explorer,在根结点LanguageSm(这个代表我们的dsl)上右键,选择添加Domain Enumeration.
     2010-2-21 15-26-44 
     选中刚添加的域枚举类型,右键选择属性,修改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编译时就会发生错误,这是Vs.net dsl所不允许的,这会造成歧义.[包含域类方面和图形映射方面都会有问题].
    在这里我们打算用Dsl的另外一个特性来实现,也就是域类的继承,我们建立两个新的域类来表示进入操作和退出操作,他们都继承操作Action:
    10.添加两个新域类EntryActionExitAction,并不需要给他们添加任何属性.
    11.建立它们与Action的继承关系,选中工具箱中的Inheritance,先选中EntryAction,再指向选中Action.
      2010-2-21 20-26-53             2010-2-21 20-39-36

    上图就是完成后Action,我们可以通过Bring Tree Here更简化域类显示(上右图).
    12.建立EntryAction和ExitAction和State的嵌入关系,注意选中工具箱中的embedding relationship后,要从State指向EntryAction.注意左边的重数是0…*,右边的重数是1..1.也就是说一个状态可以没有进入操作或退出操作,也可以有多个。而且对于每个进入操作和退出操作,它们只能从属于一个状态State.
     我们现在来看一下我们完成的整个Dsl元数据:
     2010-2-21 21-18-23

     保存整个Dsl文件后,我们点击转换所有模板(Transform All Templates),vs.net dsl根据我们的Dsl文件中的元数据,用T4模板文件生成对应的C#代码,注意我们在以后每当修改完Dsl文件中的元数据后,都要记得转换模板,才会使更改起作用.当然,你也可以选中某一个tt文件,右键运行自定义工具(Run Custom Tool),针对这个文件单独生成,尤其当你的dsl文件相当庞大时,这样能够提高生成速度。
     转换完成后,可以重新编译整个解决方案,查看是否有错误发生。我们象第五节那样,查看一下DomainClasses.cs文件类图:
2010-2-21 22-02-47
   可以看到,元数据中的域类,域关系都体现在生成的代码中了.

代码下载

参考资源
      1. Visual Stuido DSL 工具特定领域开发指南
      2. DSL Tools Lab     http://code.msdn.microsoft.com/DSLToolsLab  系列教程  [本系列的入门案例的主要参考]

作者:孤独侠客似水流年
出处:http://lonely7345.cnblogs.com/
本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。

 

posted @ 2010-02-22 00:05 孤独侠客 阅读(...) 评论(...) 编辑 收藏