| Item type |
SIG Technical Reports(1) |
| 公開日 |
2023-03-08 |
| タイトル |
|
|
タイトル |
モデル駆動型ネットワーク機器設定支援アプローチ |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Model-Driven Approach for Supporting Configuration of Network Devices |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
IOTセッション |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者名 |
新井, 凪
佐竹, 柊路
小形, 真平
鈴木, 彦文
岡野, 浩三
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
情報ネットワークを構築・構成変更する準備として，ネットワークエンジニアはネットワーク図等を用いてネットワーク構成やその変更の仕様を作成し，その妥当性を机上で検討した後に，ネットワーク機器を設定する手順を含む作業手順書を作成する．通常，そのような机上検討や作業手順書作成は手作業で行うため，妥当性の確認漏れが生じたり，仕様と作業手順書間で整合性が損なわれることで，深刻な手戻りが生じうる問題がある．この問題を改善するために，我々はこれまでネットワーク構成モデルに基づきネットワーク機器の設定手順を自動生成する方法を検討してきた．本稿ではこれまでの方法を発展させる形で，ネットワーク構成モデルの正しさや妥当性を機械的に検証し，洗練されたモデルからネットワーク機器の設定手順を自動生成するようなモデル駆動型のネットワーク機器設定支援アプローチを示し，その発展性について考察を与える． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
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. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA12326962 |
| 書誌情報 |
研究報告インターネットと運用技術（IOT）
巻 2023-IOT-60,
号 15,
p. 1-8,
発行日 2023-03-08
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8787 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-IOT23060015.pdf (1.9 MB)
