This paper proposes Synchronised Hyperedge Replacement (SHR) as a suitable modelling framework for Wireless Sensor Networks (WSN). SHR facilitates explicit modelling of WSN applications environmental conditions (that greatly affect the applications performance) while providing a sufficiently high level of abstraction for the specification of the adopted clustering mechanism. We model with SHR few communication and coordination aspects of a new algorithm, Balanced Minimum Radius Clustering (BMRC), for solving the balanced clustering problem.
展开▼