Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net
Akio Usuda, Ryoichi Ishigami, Tomohiko Takagi · Proceedings of International Conference on Artificial Life and Robotics · 2023
Extended Place/transition Net (EPN) that is one of software formal modeling languages consists of the parts of PN and VDM++.The PN part deals with state transitions of software.On the other hand, the VDM++ part deals with actions and guards on the transitions, and requires skills of system engineers who construct EPN models.We propose an extended training technique of EPN-based modeling using visual blocks for the VDM++ part.The visual blocks implemented by Blockly will be useful to accelerate the trainees' understanding of syntactical aspects of VDM++, and thus they are introduced into each step of the existing training technique for EPN-based modeling.The effectiveness of the proposed technique is discussed through a preliminary experiment using our prototype tool.