AADL

• axiomatic architecture description language 公理体系结构描述语言;