在使用UML对数据库应用系统进行建模的过程中，状态图和活动图常用于动态建模。下列状态图或活动图语法正确的是( )。