根据《合伙企业法》的规定，下列各项中，属于普通合伙企业合伙人当然退伙的情形的是______。

A．合伙人在执行合伙企业事务中有侵占合伙企业财产的行为
B．合伙人未履行出资义务
C．合伙人被法院强制执行其在合伙企业中的全部财产份额
D．合伙人因重大过失给合伙企业造成损失

BSP发中，划分子系统、检查遗漏的过程和数据以及表达过程与数据的关系的图形工具是______。