Tomohiko Takagi¹, Akio Usuda^2
1Department of Engineering and Design, Faculty of Engineering and Design, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396, Japan
²Division of Reliability-based Information Systems Engineering, Graduate School of Engineering, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396, Japan
pp. 81–86
ABSTRACT
Extended Place/transition Net (EPN) is expected to be one of formal software modeling techniques to realize model-driven development. This paper shows a personal on-demand learning technique that helps engineers to acquire skills for using EPN, and then illustrates a prototype tool for it. In the technique, each engineer as a learner tries to construct his/her EPN model so as to satisfy given software requirements. The key ideas of the technique are (i) to construct a learner's EPN model by using given components only, (ii) to convert a learner's EPN model into a VDM++ specification, and (iii) to visualize the behavior of software by using animated graphics. Preliminary discussion and experiments with trial users of the prototype tool have been conducted to evaluate the effectiveness of the technique
Keywords:software modeling, place/transition net, VDM, personal on-demand learning

ARTICLE INFO
Article History
Received 25 November 2020
Accepted 20 January 2022


Download article (PDF)