2024-03-29T09:47:48Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:002249552023-04-27T10:00:04Z01164:04088:11174:11243
モデル駆動型ネットワーク機器設定支援アプローチModel-Driven Approach for Supporting Configuration of Network DevicesjpnIOTセッションhttp://id.nii.ac.jp/1001/00224846/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=224955&item_no=1&attribute_id=1&file_no=1Copyright (c) 2023 by the Information Processing Society of Japan信州大学信州大学信州大学信州大学信州大学新井, 凪佐竹, 柊路小形, 真平鈴木, 彦文岡野, 浩三情報ネットワークを構築・構成変更する準備として,ネットワークエンジニアはネットワーク図等を用いてネットワーク構成やその変更の仕様を作成し,その妥当性を机上で検討した後に,ネットワーク機器を設定する手順を含む作業手順書を作成する.通常,そのような机上検討や作業手順書作成は手作業で行うため,妥当性の確認漏れが生じたり,仕様と作業手順書間で整合性が損なわれることで,深刻な手戻りが生じうる問題がある.この問題を改善するために,我々はこれまでネットワーク構成モデルに基づきネットワーク機器の設定手順を自動生成する方法を検討してきた.本稿ではこれまでの方法を発展させる形で,ネットワーク構成モデルの正しさや妥当性を機械的に検証し,洗練されたモデルからネットワーク機器の設定手順を自動生成するようなモデル駆動型のネットワーク機器設定支援アプローチを示し,その発展性について考察を与える.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.AA12326962研究報告インターネットと運用技術(IOT)2023-IOT-6015182023-03-082188-87872023-03-01