Development of an Early Prototype Tool for Learning Software Modeling Using Extended Place/Transition Net

DOI Open Access

Description

This paper shows an early prototype tool for learning software modeling using Extended Place/transition Net (EPN), and then gives the discussion about its effectiveness and challenges. A user of the tool, that is, an engineer tries to construct his/her EPN model based on given software requirements by selecting and putting the given components of EPN. The EPN model is converted into a VDM++ specification for a user who is familiar with Vienna Development Method (VDM). Also, the behavior of software based on the EPN model is partially visualized by using animated graphics for a user who is a learner at the first stage. In the end, the correctness of the user's EPN model is automatically checked.

Journal

Keywords

Details 詳細情報について

  • CRID
    1390569700728406144
  • DOI
    10.5954/icarob.2021.os16-2
  • ISSN
    21887829
  • Text Lang
    en
  • Data Source
    • JaLC
    • Crossref
    • OpenAIRE
  • Abstract License Flag
    Disallowed

Report a problem

Back to top