Formal Specification of a Truck Geo-Location Big-Data Application

In the last few year’s social networks, e-commerce, mobile commerce, and sensor networks have resulted into an exponential increase in data size. This data comes in all formats i.e. structured, un-structured and semi-structured. To efficiently extract useful information from these huge data sources is important. This information can play a central role in making future decisions and strategies. A truck geo-location big-data application integrated with formal model is proposed. The truck geo-location data is un-structured and it is accessed and manipulated by Hadoop query engine. Labelled transition system based formal model of the application is proposed to ensure safety and liveness properties of correctness.

@article{Naseem2017,
  title     = {Formal Specification of a Truck Geo-Location Big-Data Application},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {8},
  number    = {4},
  year      = {2017},
  publisher = {The Science and Information Organization},
  author    = {Ayman Naseem and Nadeem Akhtar and Malik Saad Missen},
  doi       = {10.14569/IJACSA.2017.080447},
  url       = {https://doi.org/10.14569/IJACSA.2017.080447}
}