Abstract | ||
---|---|---|
This paper presents an extension of the pi-Calculus which allows the high-level modeling of self-organizing protocols for Wireless Sensor Networks (WSNs). Process algebras (PA) as pi-Calculus are concerning the high-level description of interaction among processes. Because the most important characteristic of self-organization is the restriction of interaction to neighboring elements (localized interactions), we extend the pi-Calculus with the locality awareness, a necessary abstraction to allow the modeling of self-organization in WSNs. To get full locality awareness of pi-Calculus we extended it with spatiality, probability and time. Moreover, new types of channels were included in the pi-Calculus to include the different types of communication existing in a WSN: distribution, broadcast and aggregation. In order to validate our new PA, we successfully model a self-organizing clustering algorithm for WSN. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICUMT.2009.5345551 | IEEE Internet Computing |
Keywords | Field | DocType |
data mining,process algebra,mathematical model,protocols,probabilistic logic,pi calculus,stochastic processes,wireless sensor networks,emergence,ad hoc network,calculus,clustering,wireless sensor network,algebra,self organization | Key distribution in wireless sensor networks,Computer science,Self-organization,Stochastic process,Theoretical computer science,Probabilistic logic,Wireless ad hoc network,Cluster analysis,Wireless sensor network,Process calculus,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dalimir Orfanus | 1 | 73 | 7.35 |
Tales Heimfarth | 2 | 155 | 22.72 |
Flávio Rech Wagner | 3 | 380 | 59.82 |