Title :
MOOA: An Object Oriented Formalism for Wireless Sensor Networks
Author :
Yuan Mengting ; Wu Guoqing ; Zhang Fan
Author_Institution :
Sch. of Comput., Wuhan Univ., Wuhan
Abstract :
Wireless sensor networks (WSN) involve with a large amount of sensing devices. For a complex WSN system, establish a model before implementation could help find potential errors before deployment. We introduce a formal modeling language, MOOA, to specify WSN systems. Under the framework of MOOA, sensing devices is represented as objects, and communications is represented as messages among objects. We present the operational semantics of MOOA, so the properties of WSN systems can be verified.
Keywords :
formal languages; simulation languages; wireless sensor networks; formal modeling language; object oriented formalism; operational semantics; wireless sensor networks; Automata; Computer networks; Formal languages; Object oriented modeling; Protocols; Routing; Safety; Unified modeling language; Wireless communication; Wireless sensor networks;
Conference_Titel :
Wireless Communications, Networking and Mobile Computing, 2008. WiCOM '08. 4th International Conference on
Conference_Location :
Dalian
Print_ISBN :
978-1-4244-2107-7
Electronic_ISBN :
978-1-4244-2108-4
DOI :
10.1109/WiCom.2008.903
