Plugin for linking with VDM by astah