Abstract:

It is the core objective of the contextaware systems that mobile users can easily acquire sensor data distributed over the ubiquitous computing environment to get those context information. Therefore, this paper proposes a hybrid contextaware sharing mechanism which combines distributed peertopeer with Publish/Subscribe. Based on the Abstract State Machine, the paper designs and specifies the mechanism with high robustness and extensibility, and applies the AsmL tools to generate a finite a state machine to verify the validity and rationality, At the end of this paper, this mechanism is proved to be able to satisfy the requirements of dynamic distributed contextaware systems.

Key words: contextaware;peertopeer;abstract state machine;executable specification;finite state machine;AsmL