网络服务体系结构及其形式化模型的研究

• Research on Network Service Architecture and Its Formal Model