2026-05-19T07:44:27Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00187621 2025-01-20T02:09:47Z 6504:9465:9472

制約階層に基づくハイブリッドシステムモデリング言語HydLaの静的誤り検出手法 小山, 峻平 上田, 和紀 ソフトウェア科学・工学 検証したいシステムをモデル化する際、記述されたモデルが記述者の意図を正確に反映していないという問題がしばしば起き、これをモデリングエラーと呼ぶ。HydLaは制約プログラミングパラダイムに基づくプログラミング言語であり、その制約間に優先度を設定することができる制約階層の考え方も導入している。それにより、制約の条件を記述することによる記述量の増大を抑えることができるなどのメリットがある反面、記述量が少ないことでプログラムから一見して得られる情報は多くない。そのためモデリングエラーが発生しても検出や修正は難しい。本研究では、モデリングエラーの修正を容易にすることを目的として、静的にモデリングエラーを検出する手法を提案する。 conference paper 情報処理学会 2018-03-13 application/pdf 第80回全国大会講演論文集 1 2018 187 188 AN00349328 https://ipsj.ixsq.nii.ac.jp/record/187621/files/IPSJ-Z80-2B-04.pdf jpn