状态图的组成要素与建模 — 软件工程选择题

某在线教学平台中「作业」对象的生命周期建模：作业创建后初始处于「待提交」状态；学生提交作业（事件「提交」）后迁移至「已提交」状态；教师批阅完成（事件「批阅」）后进入「已批阅」状态；最终作业归档，生命周期结束。在该状态图中，状态「已提交」向「已批阅」迁移应使用的建模元素是：A. 初始状态（实心圆点）　B. 带「批阅」事件标注的迁移箭头　C. 终止状态（牛眼符号）　D. 判定分支（菱形）