A Pattern-Based Formal Modelling Framework for Wireless Sensor Networks

This paper proposes a pattern-based formal modelling framework for wireless sensor networks (WSNs) to investigate and evaluate the usability and reusability in the application of an existing set of formal modelling pattern for WSN development. The framework provides guidance demonstrating how refinement patterns and reusable event components can improve the formal development efficiency and minimize the engineering efforts and costs. We experiment this with modeling of a Healthcare Monitoring System (HCMS) case study. This is also accomplished with reusable events from the model achieved from our previous work. The results have shown the high level of reusability from this pattern-based formal modelling framework we seek.