WEKO3
アイテム
Automated Random Simulation Technique and Its Prototype Tool for Checking Abstract Collaborative Behavior of Multiple Systems Based on EPNAT
http://hdl.handle.net/10458/0002002184
http://hdl.handle.net/10458/00020021846fe46d74-40c6-4384-9ee5-c9c2fb361011
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
Fulltext (629 KB)
|
.png)
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2026-01-16 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | Automated Random Simulation Technique and Its Prototype Tool for Checking Abstract Collaborative Behavior of Multiple Systems Based on EPNAT | |||||||||||||||
| 言語 | en | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | eng | |||||||||||||||
| キーワード | ||||||||||||||||
| 言語 | en | |||||||||||||||
| キーワード | System design | |||||||||||||||
| キーワード | ||||||||||||||||
| 言語 | en | |||||||||||||||
| キーワード | System quality | |||||||||||||||
| キーワード | ||||||||||||||||
| 言語 | en | |||||||||||||||
| キーワード | Place | |||||||||||||||
| キーワード | ||||||||||||||||
| 言語 | en | |||||||||||||||
| キーワード | transition net | |||||||||||||||
| キーワード | ||||||||||||||||
| 言語 | en | |||||||||||||||
| キーワード | Vienna development method | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ | journal article | |||||||||||||||
| アクセス権 | ||||||||||||||||
| アクセス権 | open access | |||||||||||||||
| 著者 |
Matsumoto, Sho
× Matsumoto, Sho
× 片山, 徹郎
WEKO
6484
× Takagi, Tomohiko
|
|||||||||||||||
| 抄録 | ||||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||||
| 内容記述 | The collaborative behavior of multiple systems provides valuable functions and services to users. However, it is actualized by large and complex implementations, which frequently include serious failures. In this study, we propose an automated random simulation (ARS) technique for checking the abstract collaborative behavior of multiple systems at the design level. The abstract collaborative behavior is expected to be designed using an extended place/transition net with attributed tokens (EPNAT), and the checking is performed dynamically based on the design called "EPNAT model". The ARS technique consists of (1) an algorithm for model execution using random search with the evaluation of constraints including feasibility, and (2) a stopping criterion for model execution focusing on glue transitions. The ARS technique requires tool support; therefore, we developed a prototype tool. We ran the prototype tool with a trial model and three faulty models, and found its effectiveness and future challenges. | |||||||||||||||
| 言語 | en | |||||||||||||||
| 書誌情報 |
en : Journal of Robotics, Networking and Artificial Life 巻 11, 号 2, p. 175-179, 発行日 2025 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 出版者 | ロボット人工生命学会 | |||||||||||||||
| 言語 | ja | |||||||||||||||
| ISSN | ||||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||||
| 収録物識別子 | 24059021 | |||||||||||||||
| ISSN | ||||||||||||||||
| 収録物識別子タイプ | EISSN | |||||||||||||||
| 収録物識別子 | 23526386 | |||||||||||||||
| DOI | ||||||||||||||||
| 関連タイプ | isVersionOf | |||||||||||||||
| 識別子タイプ | DOI | |||||||||||||||
| 関連識別子 | https://doi.org/10.57417/jrnal.11.2_175 | |||||||||||||||
| 権利 | ||||||||||||||||
| 権利情報 | © 2025 The Society of Artificial Life and Robotics | |||||||||||||||
| 言語 | en | |||||||||||||||
| 著者版フラグ | ||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||
