Construction of Smart Sensor Networks Data System Based on Integration Formalized BCCS Model

• Main Authors: Chunlin Kuang, Guofang Kuang
• Format: Article
• Language: English
• Published: IFSA Publishing, S.L. 2013-08-01
• Series: Sensors & Transducers
• Subjects: Smart sensors; B method; Value-passing CCS; BCCS; Sensors network.
• Online Access: http://www.sensorsportal.com/HTML/DIGEST/august_2013/P_1292.pdf

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.