Construction of Smart Sensor Networks Data System Based on Integration Formalized BCCS Model
Chunlin Kuang, Guofang Kuang · 2013
Smart sensor means having information detection, information processing, information storage, logical thinking and judgment capabilities of the sensor. In this paper, CCS and B pass-by-value method and language, by giving a lightweight description language to achieve the BCCS model can be used to describe concurrent or distributed systems. The paper presents construction smart sensor networks data system based on integration Formalized BCCS model. The experiment shows that the B method combined with CCS on the powerful formal description of actual smart sensor networks data system capacity. This smart sensor can calculate the value of a physical quantity by using compensation sensor network data in order to improve intelligence. Copyright © 2013 IFSA.