国家自然科学二等奖, 全生命周期软件体系结构建模理论与方法, 2012