CERN信息系统总体设计的进展