SDL的静态语义定义框架 - 倪朝; 黄洁; 艾波 (Tongxin xuebao)