Authors
Tomohiko Takagi1, *, Ryo Kurozumi2
1Department of Engineering and Design, Faculty of Engineering and Design,
Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396,
Japan
2Division of Reliability-based Information Systems Engineering, Graduate
School of Engineering, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi,
Kagawa 761-0396, Japan
*Corresponding author. Email: [email protected]
Corresponding Author
Tomohiko Takagi
Received 10 November 2019, Accepted 1 June 2020, Available Online 18 September
2020.
DOI
https://doi.org/10.2991/jrnal.k.200909.011
Keywords
Software modeling; behavioral model; place/transition net; VDM
Abstract
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.
Copyright
© 2020 The Authors. Published by ALife Robotics Corp. Ltd.
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/).