On Modelling Sensor Networks in Maude

Two problems in modelling sensor networks are: how to scale up specification and analysis techniques to larger models, and how to flexibly monitor their behavior. Guided by three obvious principles, and exploiting features of Maude, a high-level, modular approach is used to construct a framework for the specification of sensor networks that structures computations and states so as to flexibly monitor a model of the network, reduce the size of the state, and very significantly reduce the execution times of various analysis methods.