Algorithm 1 Pseudo code for sensor state transaction.

Ensure: Initialize var asset Ensure: Initialize var devID Ensure: Initialize var t-sensor   if tx.newstate then     sensor.state = tx.newstate     if tx.enables != null then         sensor.enabled =tx.enabled         t-sensor = sensor     end if   end if   return asset.update(sensor)   return event.msg(’Sensor with ID ’+ devID +’ changed its state.’) = 0