Formal Speciication of a Dynamically Conngurable Distributed System Formal Speciication of a Dynamically Conngurable Distributed System