Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens
- https://doi.org/10.2991/jrnal.k.200909.011How to use a DOI?
- Software modeling, behavioral model, place/transition net, VDM
This paper shows Extended Place/transition Net with Attributed Tokens (EPNAT) and a modeling technique using it in order to address the problem of EPN. In software modeling using EPN, objects of which the software consists need to be defined individually as sub-EPN models, even if they have the same behavior. On the other hand, in software modeling using EPNAT, objects that have the same behavior can be integrated into one sub-EPNAT model, and therefore EPNAT models would be smaller than EPN models. EPNAT models are converted to VDM++ specifications, and allow engineers to refine software specifications, create programs and test cases. A prototype tool has been developed to support the modeling technique.
- © 2020 The Authors. Published by Atlantis Press B.V.
- Open Access
- This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - JOUR AU - Tomohiko Takagi AU - Ryo Kurozumi PY - 2020 DA - 2020/09 TI - Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens JO - Journal of Robotics, Networking and Artificial Life SP - 194 EP - 198 VL - 7 IS - 3 SN - 2352-6386 UR - https://doi.org/10.2991/jrnal.k.200909.011 DO - https://doi.org/10.2991/jrnal.k.200909.011 ID - Takagi2020 ER -