VDM Plug-in

Generate Sequence diagrams of call histories for Functions/Operations automatically from VDMTools.

  • Version: 1.0.0 (Updated: December 17, 2013)
  • For use in: Astah Professional (6.7 or later) - download
  • Created By: mas0061
  • Get: from GitHub

How to Install VDM Plug-in

  1. Download the VDM Plug-in (.jar file) from here.
  2. Run Astah and go to [Help] - [Plugin List] menu and click [Install] button.
    vdm plugin
  3. Select the .jar file and restart Astah.
    vdm plugin
  4. With VDMTools use the command 'set calllog' (using the VDMTools Interpreter) to export a log file of call history for Functions/Operations. This file will be called calllog.txt
  5. In the file calllog.txt, choose the part you want to be shown in a Sequence Diagram, remove the rest and save the file. (Sample below)
    vdm plugin
  6. Run Astah, go to [Tool] - [with VDM] - [generate Sequence diagram] and select the calllog.txt file.
    vdm plugin
  7. The Sequence Diagram is automatically generated.
    vdm plugin


  • This Plug-in was developed by mas0061, if you have any feedback or questions, please contact him directly.

This Plug-in works with Astah Professional