シーケンス図に基づくディペンダビリティケース作成法の適用性検討

摘要

筆者らはこれまでシーケンス図に基づくディペンダビリティケースの作成法を提案した．また名古屋大学の物品購入のシーケンス図を用いてこの作成法の有効性を確認した．本稿では、実際のシステムのシーケンス図を対してHAZOPによるリスク分析に基づく実験を行うことにより提案手法の適用性を評価する．