EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT

被引：0

作者：

Takagi, Tomohiko ^{[1
]}

Otake, Rikuto ^{[1
]}

Matsumoto, Sho ^{[2
]}

机构：

[1] Kagawa Univ, Fac Engn & Design, Takamatsu, Kagawa, Japan

[2] Kagawa Univ, Grad Sch Sci Creat Emergence, Takamatsu, Kagawa, Japan

来源：

2024 IEEE 48TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC 2024 | 2024年

关键词：

software design; formal modeling; place/transition net; Vienna development method; verification;

D O I：

10.1109/COMPSAC61105.2024.00208

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper shows Extended Place/transition Net with Attributed Tokens Operational Profile (EPNATOP) for verifying software designs from the viewpoint of the quality of use. It consists of a weighted EPNAT model and actor state machines. Its structure and interpretation are discussed with an example.

引用

页码：1500 / 1501

页数：2