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

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