VDM Tool integration

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


How to Install

  1. Download the Plug-in file by clicking the blue Download button at the top of this page.
  2. After the download is complete, drag the downloaded .jar file to an open instance of Astah. A pop-up will appear asking you to confirm installation, choose [Yes].
  3. If the pop-up below opens, restart Astah.
    astah plugin menu
    The [Plugin] menu exists in Astah version 7.2 or later. If you are using v7.1 or earlier, read this FAQ.
  4. If the [generate Sequence diagram] option appears under [Plugin], your installation is complete!

How to Use

  1. Run the command below using the VDMTools Interpreter. This will export calllog.txt.
              >> set calllog
  1. Open the calllog.txt, keep the part you want to export as Sequence Diagram, and remove the rest. Save the file.(Sample below)
  2. Run Astah, go to [Plugin] - [generate Sequence diagram] and select the calllog.txt file.
  3. Then Sequence Diagram will be generated based on the model information you exported from VDM tool.