VDM Tool Integration

Generate Sequence diagrams from the call histories for Functions/Operations automatically from VDM Tools.

Details

Compatible with
Astah Professional 6.6 or later
Latest Version
1.0.0 (Dec. 17, 2013)
Developer
mas0061
Support
No technical support is provided. Please contact the plugin author.
Access on GitHub Download

How to Install

  1. Download the Plugin file.
  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]. If the pop-up below opens, restart Astah.
    Plugin installation confirmation dialog in Astah
  3. If [generate Sequence diagram] appears under [Plugin], your installation is complete.
    generate Sequence diagram menu under Plugin in Astah

How to Use

  1. Run the command below in the VDMTools interpreter. This exports calllog.txt.
    >> set calllog
  2. Open calllog.txt, keep the part you want to convert into a sequence diagram, delete the rest, and save the file. A sample is shown below.
    Sample calllog.txt exported from VDMTools
  3. In Astah, go to [Plugin] – [generate Sequence diagram] and select the calllog.txt file.
    generate Sequence diagram menu under Plugin in Astah
  4. A sequence diagram is generated from the call log exported from VDMTools.
Back to Plugin List