BSP法的优点在于利用它能保证信息系统独立于（）。