A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool

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.