Mathematical Modeling for Design and Verification of Stacks in Infrastructure as Code

• Item type: Symposium(1)
• 公開日: 2022-08-29
• タイトル: Mathematical Modeling for Design and Verification of Stacks in Infrastructure as Code
• タイトル / 言語: en
• タイトル: Mathematical Modeling for Design and Verification of Stacks in Infrastructure as Code
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 仕様と検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: Information Technology R&D Center, Mitsubishi Electric Corporation
• 著者所属: Information Technology R&D Center, Mitsubishi Electric Corporation
• 著者所属(英): en
• 著者所属(英): Information Technology R&D Center, Mitsubishi Electric Corporation
• 著者所属(英): en
• 著者所属(英): Information Technology R&D Center, Mitsubishi Electric Corporation
• 著者名: Ryo, Hase; Yohei, Matsuura
• 著者名(英): Ryo, Hase; Yohei, Matsuura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Cloud computing has been globally adopted as infrastructure for IT systems to realize efficient development and operation. Infrastructure as Code (IaC) can be used to automate deployment of resources in cloud environment. A stack is a concept to group resources and create modules of the scripts in design of scripts of IaC. As well as general software, refactoring scripts of IaC might improve their design; especially, decomposing a stack in an IaC script into multiple stacks is expected to improve reusability of the script. Modifying stacks, however, might change configurations regarding dependency between resources and reference to inputs and outputs. Misconfigurations regarding the changes of configurations can be considered as defects in the scripts since the defects will result in failure of resource deployment. This paper proposes a mathematical model of IaC scripts design based on graph theory to determine the configuration change required in processes of the stack decomposition for refactoring. This paper demonstrates a result of the refactoring regarding a sample script of IaC to check the proposed model feasibility.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Cloud computing has been globally adopted as infrastructure for IT systems to realize efficient development and operation. Infrastructure as Code (IaC) can be used to automate deployment of resources in cloud environment. A stack is a concept to group resources and create modules of the scripts in design of scripts of IaC. As well as general software, refactoring scripts of IaC might improve their design; especially, decomposing a stack in an IaC script into multiple stacks is expected to improve reusability of the script. Modifying stacks, however, might change configurations regarding dependency between resources and reference to inputs and outputs. Misconfigurations regarding the changes of configurations can be considered as defects in the scripts since the defects will result in failure of resource deployment. This paper proposes a mathematical model of IaC scripts design based on graph theory to determine the configuration change required in processes of the stack decomposition for refactoring. This paper demonstrates a result of the refactoring regarding a sample script of IaC to check the proposed model feasibility.
• 書誌情報: ソフトウェアエンジニアリングシンポジウム2022論文集; 巻 2022, p. 89-98, 発行日 2022-08-29
• 出版者 / 言語: ja
• 出版者: 情報処理学会