Modularisation Plug-inを使い始めました

"モジュール"による構造化を可能にするModularisation Plug-inを使い始めました。

概要メモを書いておきます。
（理解が進んだらWikiにも書きます。）

－－－－－－－－－－

各モジュールは"インタフェース"を持っており、モジュール間のやり取りはこのインタフェースを介する形でモデル化します。インタフェースには変数（他のモジュールが認識可能な抽象状態を表す変数）およびオペレーションを定義します。

モジュールは階層構造になっており、上位のモジュールは下位のモジュールのオペレーションの呼び出しおよび変数の参照を行うことができます。

インタフェースによって上位モジュールのモデルに影響を与えることなく下位モジュールのモデル（インタフェースの実現）を変更することができます。

【ざっとプラグインの説明を読んだところでの疑問】
インタフェースには初期化がなく、初期化は利用する側（上位モジュール）で適切に行うこととなっているが、インタフェースを実現するモデルを作ったときに初期化イベントの正当性をどうやって保証するのか。