A formal description for protocols in WSN based on STeC language

Sensors are usually used in real-time system Since time constraint is an important requirement in real-time system, it is necessary to formalize the protocols in WSN by emphasizing on consistence of temporal and spatial. STeC is a language looking like an extension of process systems CSP and CCS including actions and communication. But it stresses the spatial-temporal consistence of real-time systems. This spatial-temporal consistence means that agents do its tasks when it arrives at required location or time. These locations may be physical spaces or states that agents stay. The time concept here stresses at what time it executes and how long it maintains. STeC can easily describe the protocols in WSN with no attention on its location parameter.