MOOA: An Object Oriented Formalism for Wireless Sensor Networks

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.