Modular GSNの定式化

摘要

システムの安全性などを保証する手段として，Assurance Caseが注目されている.Assurance Caseの記法として，Assurance CaseのModule化を可能とするModular GSNが提唱されているが，明確に定義されていない.このため，本稿では，Modular GSNを形式的に定義することを試みる.%Assurance Case attracts attention as a means to guarantee the safety of systems. Modular GSN has been proposed as the method that enabling of the Assurance Case Module. But Modular GSN has not been defined explicitly. In this paper, we define the Modular GSN formally.