2021年4月30日金曜日

Kaleidox/Service

前回はソフトウェア開発の中軸モデル要素であるコンポーネントのメタモデルについて検討しました。

今回はコンポーネントの派生モデル要素であるサービスについて取り上げます。

サービスは外部に対して公開されたコンポーネントという位置付けなので、外部から直接実行できるコンポーネントということができます。

Kaleidoxでサービスモデルを直接実行することができるので、サービスモデルを使ってコンポーネントの特性を見ていきたい思います。

今回はサービスのAPIを定義して、Kaleidox上で実行してみます。

サービスモデル

足し算と引き算を行うサービスcalcを以下のように定義しました。この定義に沿って、サービスモデル(コンポーネントモデル)の定義について説明します。

  1. * Service  
  2. ** calc  
  3. *** Operation  
  4. **** plus  
  5. ***** In  
  6. | 名前 | 型  | 多重度 |  
  7. |------+-----+--------|  
  8. | arg1 | int |      1 |  
  9. | arg2 | int |      1 |  
  10. ***** Out  
  11. | 型  | 多重度 |  
  12. |-----+--------|  
  13. int |      1 |  
  14. ***** Method  
  15. + arg1 arg2  
  16. **** minus  
  17. ***** In  
  18. | 名前 | 型  | 多重度 |  
  19. |------+-----+--------|  
  20. | arg1 | int |      1 |  
  21. | arg2 | int |      1 |  
  22. ***** Out  
  23. | 型  | 多重度 |  
  24. |-----+--------|  
  25. int |      1 |  
  26. ***** Method  
  27. ****** js  
  28. arg1 - arg2  

全体構造

サービスモデルの全体構造は以下のようになっています。

  1. * Service  
  2. ** サービス名  
  3. *** Operation  
  4. **** オペレーション名  
  5. ***** In  
  6. ***** Out  
  7. ***** Method  

Service節でサービスモデルの定義を行います。

Service節の直下にはサービス名を節名としたサービスの定義が並びます。

サービス名節の直下にはOperation節があります。

Operation節の直下にはオペレーション名を節名としたオペレーションの定義が並びます。

オペレーションの定義は次節で説明します。

拡張予定

前回、コンポーネントの部品として検討した部品の中でAPIに該当する部品をサポートしています。

以下の部品は現在は未実装です。

  • SPI
  • Bus
  • StateMachine
  • Entity
  • Configuration
  • Rule
  • Log
  • Metrics
  • Audit trails

これらのモデル要素はkaleidox上で順次実現していく予定です。

オペレーション

plusオペレーションの定義は以下になります。

  1. *** Operation  
  2. **** plus  
  3. ***** In  
  4. | 名前 | 型  | 多重度 |  
  5. |------+-----+--------|  
  6. | arg1 | int |      1 |  
  7. | arg2 | int |      1 |  
  8. ***** Out  
  9. | 型  | 多重度 |  
  10. |-----+--------|  
  11. int |      1 |  
  12. ***** Method  
  13. + arg1 arg2  

オペレーションの定義は以下の3つです。

In
入力定義
Out
出力定義
Method
Method定義

In節には入力情報を表形式で記述します。表では入力パラメタの名前、型、多重度を定義します。

Out節には出力情報を表敬式で記述します。表では出力パラメタの型、多重度を記述します。

Method節にはオペレーションの実装であるメソッドの定義を行います。

メソッド

Method節では、オペレーションの実装であるメソッドの定義を行います。

モデルが仕様のみで実装まで定義しない場合はMethod節を省略することができます。

ただし、Method節を省略した場合はKaleidoxでの直接実行はできません。手動で作成したプログラムを、SimpleModelerのプログラム自動生成と組み合わせて使用する形になります。

Kaleidox

オペレーションの実装をKaleidoxスクリプトで定義する場合は、Method節に直接Kaleidoxスクリプトを記述します。

サービスモデルのplusオペレーションの下には、以下のMethod節を定義しています。

  1. ***** Method  
  2. + arg1 arg2  

calcサービスのplusオペレーションが呼び出されると、Kalidoxスクリプト「+ arg1 arg2」が実行され、その結果が返却されます。

JavaScript

Method節の下にjs節が配置されている場合は、js節内をMethod実現のためのJavaScriptスクリプトとして使用します。

  1. ***** Method  
  2. ****** js  
  3. arg1 - arg2  

calcサービスのminusオペレーションが呼び出されると、JavaScriptスクリプト「arg1 - arg2」が実行され、その結果が返却されます。

Java ScriptEngine

Method節の下には、JavaScript以外にもJava ScriptEngineでサポートしているスクリプト言語を使用することができます。この場合は、Java ScriptEngineの認識する言語名を節名で指定します。

拡張予定

メソッドの実現方法として、外部のJava/Scalaプログラムを利用可能にする予定です。以下の形式が候補となっています。

  • JavaBeans (JAR)
  • Servlet (WAR)
  • OSGi

実行

それでは、Kaleidoxでサービスモデルを直接実行してみます。

前述のサービスモデルをinit.kldに格納してkaleidoxが認識できるようにします。

コマンド

まず、コマンドラインで実行してみます。

  1. $ klaidox calc.plus 1 2  
  2. 3  

サービス名とオペレーション名を「.」で繋いだ文字列でオペレーション名を指定します。calcサービスのplusオペレーションなので「calc.plus」となります。

引数には「1」と「2」を指定した結果、計算結果の3が返されました。

REPL

次はKaleidoxのREPLで実行してみます。

REPLのプロンプトから「calc.plus 1 2」と実行すると、計算結果の3が返されました。

  1. kaleidox> calc.plus 1 2  
  2. 3  

トレース

calc.plusの実行時のコールツリーは、REPLコマンド「:trace」で表示することができます。先程の「calc.plus 1 2」の場合は以下になります。

  1. kaleidox> :trace  
  2. INVOKE(302)[Script] (calc.plus 1 2) => 3  
  3.   INVOKE(104)[Function(Operation):service-script-kaleidox(calc.plus)] (calc.plus 1 2) => 3  
  4.     INVOKE(60)[Lambda:calc.plus] (1 2) => 3  
  5.       INVOKE(53)[Script] (+ arg1 arg2) => 3  
  6.         INVOKE(23)[Function(Eval):+] (+ arg1 arg2) => 3  
  7.           INVOKE(15)[Variable:arg1] arg1 => 1  
  8.           INVOKE(1)[Variable:arg2] arg2 => 2  

Web REST

KaleidoxをWebで実行するためのコンテナとしてpbjを開発しました。

  • https://github.com/asami/pbj

pbjを実行するとWebサーバーが立ち上がります。ポート番号は8080です。

curlコマンドでpbjサーバーを呼び出します。

パス名はサービス名「calc」、オペレーション名「plus」をつなげた「/calc/plus」です。引数にはarg1、arg2にそれぞれ「1」、「2」を指定します。

  1. $ curl "http://localhost:8080/calc/plus?arg1=1&arg2=2"  
  2. {"status":200,"data":3}  

実行の結果、JSONの形式で実行結果が返されました。プロパティdataに計算結果の「3」が入っています。

jqコマンドを併用してJSONを整形すると、以下のようになります。

  1. $ curl "http://localhost:8080/calc/plus?arg1=1&arg2=2" | jq .  
  2. {  
  3.   "status"200,  
  4.   "data"3  
  5. }  

トレース

Webサーバ上で実行したときのコールツリーは「_trace」パラメタを「true」にすると取得することができます。

  1. $ curl "http://localhost:8080/calc/plus?arg1=1&arg2=2&_trace=true"  | jq  
  2. {  
  3.   "status"200,  
  4.   "data"3,  
  5.   "trace": {  
  6.     "kind""root",  
  7.     "trace": [  
  8.       {  
  9.         "kind""invoke",  
  10.         "timestamp""1619340084576",  
  11.         "label""Script",  
  12.         "enter""(calc.plus :arg1 1 :arg2 2)",  
  13.         "leave""3",  
  14.         "lap"8,  
  15.         "trace": [  
  16.           {  
  17.             "kind""invoke",  
  18.             "timestamp""1619340084577",  
  19.             "label""Function(Operation):service-script-kaleidox(calc.plus)",  
  20.             "enter""(calc.plus :arg1 1 :arg2 2)",  
  21.             "leave""3",  
  22.             "lap"6,  
  23.             "trace": [  
  24.               {  
  25.                 "kind""invoke",  
  26.                 "timestamp""1619340084578",  
  27.                 "label""Lambda:calc.plus",  
  28.                 "enter""(1 2)",  
  29.                 "leave""3",  
  30.                 "lap"5,  
  31.                 "trace": [  
  32.                   {  
  33.                     "kind""invoke",  
  34.                     "timestamp""1619340084581",  
  35.                     "label""Script",  
  36.                     "enter""(+ arg1 arg2)",  
  37.                     "leave""3",  
  38.                     "lap"2,  
  39.                     "trace": [  
  40.                       {  
  41.                         "kind""invoke",  
  42.                         "timestamp""1619340084582",  
  43.                         "label""Function(Eval):+",  
  44.                         "enter""(+ arg1 arg2)",  
  45.                         "leave""3",  
  46.                         "lap"1,  
  47.                         "trace": [  
  48.                           {  
  49.                             "kind""invoke",  
  50.                             "timestamp""1619340084582",  
  51.                             "label""Variable:arg1",  
  52.                             "enter""arg1",  
  53.                             "leave""1",  
  54.                             "lap"0  
  55.                           },  
  56.                           {  
  57.                             "kind""invoke",  
  58.                             "timestamp""1619340084582",  
  59.                             "label""Variable:arg2",  
  60.                             "enter""arg2",  
  61.                             "leave""2",  
  62.                             "lap"1  
  63.                           }  
  64.                         ]  
  65.                       }  
  66.                     ]  
  67.                   }  
  68.                 ]  
  69.               }  
  70.             ]  
  71.           }  
  72.         ]  
  73.       }  
  74.     ]  
  75.   }  
  76. }  

まとめ

サービスのモデルを作成し、Kaleidoxで直接実行してみました。今回はAPIのみでしたが、コンポーネントの回に検討したBusなどのメカニズムとそのモデルについても順次実現していく予定です。

同じモデルがコマンドライン、REPL、Webのそれぞれでそのまま実行できることを確認できました。モデルを直接実行できれば、プログラミングの工数削減、仕様と実装のズレの低減といった大きなメリットがあります。

また、Kaleidoxのようなモデル実行プラットフォームが提供するアプリケーションフレームワーク機能により、ドメインモデルではスコープ外の非機能要件についても自動的に利用可能になるメリットもあります。

今回はKaleidoxが提供する機能であるトレース機能を紹介しました。実運用では、本番環境でしか発生しない障害などが発生することが多々ありますが、トレース機能を用いると効率的に障害調査を行うことができることを期待できます。

諸元

Kaleidox
0.1.16
Pbj
0.0.2