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

DOI オープンアクセス

説明

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.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390569700728406144
  • DOI
    10.5954/icarob.2021.os16-2
  • ISSN
    21887829
  • 本文言語コード
    en
  • データソース種別
    • JaLC
    • Crossref
    • OpenAIRE
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ