SysML、AADL

UMLで業務的なモデリングを行うことに対して、SysML、AADLを使ってアーキテクチャを形式的に表現して分析するとのこと。