多项选择题

A.活动图
B.流程图和结构化流程图
C.Jackson 结构图
D.状态转移和状态图
E.形式规范语言