Abstract: 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.

Ayman Naseem, Nadeem Akhtar and Malik Saad Missen, “Formal Specification of a Truck Geo-Location Big-Data Application” International Journal of Advanced Computer Science and Applications(IJACSA), 8(4), 2017. http://dx.doi.org/10.14569/IJACSA.2017.080447

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