甲建筑公司本身不具备所承揽项目的资质，为了中标，借用了乙建筑公司的资质。2007年8月，甲建筑公司所承建的工程竣工。但是，建设单位以甲建筑公司违法借用资质为名，提出所签订的合同无效，不予支付工程款，对此，下面说法正确的是( )。

A．所签的合同无效，建设单位必须支付工程款

B．所签的合同无效，建设单位可以不支付工程款

C．所签的合同无效，如果该工程经验收合格，建设单位必须支付工程款

D．所签的合同有效，建设单位必须支付工程款

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