Object 海外直订Formal Distributed Open Tc6 for 系统 分布式 Ifip Fou Wg6.1. Systems Based Methods 基于开放对象