Formal modeling of smart logistics monitoring

In this paper, we present orders, customers, products, manufacturer, warehouse, transportation and payments components of our proposed smart logistics monitoring system model. This paper presents model which provide smart logistics service, identify customer demands, products and inventory management to develop smart logistics system. Four modules system management, order, customers, and manufacturer are described only here. It involves the wireless sensors, RFID, RTLS and actors to communicate with different components of the system. The proposed components require fewer resources in terms of sensors, RFID, RTLS, and actors. Further, sensors identify objects through RFID and it is readable through sensors from its barcode and barcode consists of objects details in terms of order registration, type, price, and color. The components of our proposed model are implemented by developing formal specification using VDM-SL, which is a formal specification language used for analysis of complex systems. The developed specification is validated, verified and analyzed using VDM-SL Toolbox.