动态分布式系统中多层次配置文件的形式描述及管理

• FORMAL SPECIFICATION AND MANAGEMENT OF MULTI-LAYERED CONFIGURATION FILE IN DYNAMIC DISTRIBUTED SYSTEMS