@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00220057, author = {Ryo, Hase and Yohei, Matsuura and Ryo, Hase and Yohei, Matsuura}, book = {ソフトウェアエンジニアリングシンポジウム2022論文集}, month = {Aug}, note = {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., 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.}, pages = {89--98}, publisher = {情報処理学会}, title = {Mathematical Modeling for Design and Verification of Stacks in Infrastructure as Code}, volume = {2022}, year = {2022} }