UMLアクティビティダイアグラムからコントローラーの定量的保証と合成

UMLアクティビティダイアグラムをPRISM言語に変換し、定量的な検証を可能にする包括的なフレームワークを提案。