ケルメタ

 パッケージ fsm ;
 
  ケルメタが必要
 
  kermeta :: standard を使用する
 
 クラス FSM 
 {
    属性 ownState  :  set  State [ 0. .* ] # owningFSM
    参照 initialState  :  State [ 1. . 1 ] 
    参照 currentState  :  State 
 
    
/ ** * FSMを     標準
出力に出力します*      /
    操作 printFSM ( ) は 、self.ownedState.each 
        { s | stdio.writeln ( " State : " + s.name ) s.outgoingTransition.each { t | stdio.writeln ( " Transition : " + t.source.name + " - ( " + t.input + " / " + t.output + " ) - > " + t.target.name ) } } end } 
           
              
             
               
                    
                          
            
        
    
 
 
 クラス State  {
    属性 名 : 文字列
    参照 owningFSM  :  FSM #所有状態
    属性 outgoingTransition  :  set  Transition [ 0. .* ] #ソース
    参照 incomingTransition  :  set  Transition [ 0. .* ] #ターゲット
    
    operation  step ( c  :  String )  :  String  is  do 
        // 有効な遷移を取得します。
        var  validTransitions  :  Collection < Transition >  
        validTransitions  : =     outgoingTransition . select  {  t  |  t . input . equals ( c )  } 
        // 有効な遷移が 1 つだけあるかどうかを確認します。 
        if  validTransitions . empty  then  raise  "No Transition!"  end 
        if  validTransitions . size  >  1  then  raise  "Non Determinism"  end 
        // 遷移を開始します。
        result  : =  validTransitions . one . fire 
    end 
 }
 
 クラス Transition  
 {
    参照 元 :  State [ 1. . 1 ] # outgoingTransition
    参照先 : State [ 1. . 1 ] # incomingTransition属性出力: String属性入力: String  
       
       
    
    操作 fire ()  :  String  is  do 
        // FSM の現在の状態を更新
        source . owningFSM . currentState  : =  target 
        result  : =  output 
    end 
 }