标准摘要 Cross Reference: 展开完整摘要 英文名称Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex