VDMToolsで実行したログからシーケンス図を生成するastahプラグイン