@techreport{oai:ipsj.ixsq.nii.ac.jp:00224955,
 author = {新井, 凪 and 佐竹, 柊路 and 小形, 真平 and 鈴木, 彦文 and 岡野, 浩三},
 issue = {15},
 month = {Mar},
 note = {情報ネットワークを構築・構成変更する準備として，ネットワークエンジニアはネットワーク図等を用いてネットワーク構成やその変更の仕様を作成し，その妥当性を机上で検討した後に，ネットワーク機器を設定する手順を含む作業手順書を作成する．通常，そのような机上検討や作業手順書作成は手作業で行うため，妥当性の確認漏れが生じたり，仕様と作業手順書間で整合性が損なわれることで，深刻な手戻りが生じうる問題がある．この問題を改善するために，我々はこれまでネットワーク構成モデルに基づきネットワーク機器の設定手順を自動生成する方法を検討してきた．本稿ではこれまでの方法を発展させる形で，ネットワーク構成モデルの正しさや妥当性を機械的に検証し，洗練されたモデルからネットワーク機器の設定手順を自動生成するようなモデル駆動型のネットワーク機器設定支援アプローチを示し，その発展性について考察を与える．, In preparation for constructing or changing the configuration of computer networks, network engineers use network diagrams to create a specification of the network configuration and its changes. After verifying the specification on the desk, they prepare a document of configuration procedures for the network devices. Since such desk review and document preparation are usually done manually, there is a problem that serious rework may occur due to lack of validation or inconsistency between the specification and the procedures. To improve this problem, we have proposed a method to automatically generate configuration procedures for network devices based on a network configuration model. In this paper, we present a model-driven approach to network device configuration support that automatically generates configuration procedures for network devices from models refined by verifying and validating a network configuration model systematically, and discuss its potential for further research.},
 title = {モデル駆動型ネットワーク機器設定支援アプローチ},
 year = {2023}
}