Advertisement

Context-Aware Mobility Based on \(\pi \)-Calculus in Internet of Thing: A Survey

  • Vu Tuan Anh
  • Pham Quoc Cuong
  • Phan Cong VinhEmail author
Conference paper
Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST, volume 298)

Abstract

Nowadays, the computing is becoming faster and faster to support very other scientific areas. Internet of Thing (IoT) is taking much advantage from it. At the beginning of IoT, the static things joined in IoT such as: cameras, sensors, and vending machines. Due to the progress of computing science, IoT is expanding on mobile things such as cars, patients, cellphones and other mobile things for traffic controlling, health care, or getting information. The network of mobile things is called as Internet of Mobile Things (IoMT). There are some problems to be solved in IoMT as: Security and Privacy, Mobile Data Collection and Analysis. The data collected from the mobile things can help to improve the security and privacy better, or using for special purposes. To get the data of mobile things, moved from one cluster to another one, we need an algorithm to solve following things: mobility of mobile nodes, and changing in number of the mobile nodes. The pi-calculus is one solution for this problem. Pi-calculus is introduced by Milner as a formal language for modeling and verifying system requirements. In this paper, a survey is performed on pi-calculus for IoMT, and other related calculi.

Keywords

IoT IoMT Pi-calculus 

References

  1. 1.
    Anh, V.T., Cuong, P.Q., Vinh, P.C.: Context-aware mobility in internet of thing: a survey. EAI Endorsed Trans. Context-aware Syst. Appl. 6(16), e3 (2019).  https://doi.org/10.4108/eai.13-7-2018.158875CrossRefGoogle Scholar
  2. 2.
    Castiglioni, V., Lanotte, R., Merro, M.: A semantic theory for the internet of things. CoRR abs/1510.04854 (2015). http://arxiv.org/abs/1510.04854
  3. 3.
    Cristescu, I., Hirschkoff, D.: Termination in a \(\pi \)-calculus with subtyping. Math. Struct. Comput. Sci. 26(8), 1395–1432 (2016).  https://doi.org/10.1017/S0960129514000620Google Scholar
  4. 4.
    Deng, P., Zhang, J., Rong, X., Chen, F.: A model of large-scale device collaboration system based on pi-calculus for green communication. Telecommun. Syst. 52(2), 1313–1326 (2013).  https://doi.org/10.1007/s11235-011-9643-9CrossRefGoogle Scholar
  5. 5.
    Hildebrandt, T.T., Johansen, C., Normann, H.: A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebr. Meth. Program. 104, 227–253 (2019).  https://doi.org/10.1016/j.jlamp.2019.02.006MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Lanese, I., Bedogni, L., Felice, M.D.: Internet of things: a process calculus approach. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, 18–22 March 2013, pp. 1339–1346 (2013).  https://doi.org/10.1145/2480362.2480615
  7. 7.
    Lekshmy, V.G., Bhaskar, J.: Programming smart environments using \(\pi \)-calculus. Procedia Comput. Sci. 46, 884–891 (2015).  https://doi.org/10.1016/j.procs.2015.02.158Google Scholar
  8. 8.
    Liu, Y., Jiang, J.: Analysis and modeling for interaction with mobility based on pi-calculus. In: 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, 14th International Conference on Pervasive Intelligence and Computing, 2nd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2016, Auckland, New Zealand, 8–12 August 2016, pp. 141–146 (2016).  https://doi.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2016.42
  9. 9.
    Luca, G.D., Chen, Y.: Visual IoT/robotics programming language in Pi-calculus. In: 13th IEEE International Symposium on Autonomous Decentralized System, ISADS 2017, Bangkok, Thailand, 22–24 March 2017, pp. 23–30 (2017).  https://doi.org/10.1109/ISADS.2017.32
  10. 10.
    Miao, J., Wang, L.: Rapid identification authentication protocol for mobile nodes in internet of things with privacy protection. JNW 7(7), 1099–1105 (2012).  https://doi.org/10.4304/jnw.7.7.1099-1105CrossRefGoogle Scholar
  11. 11.
    Milner, R.: Communicating and Mobile Systems: The \(\pi \)-calculus. Cambridge University Press, New York (1999)Google Scholar
  12. 12.
    Newcomb, J.L., Chandra, S., Jeannin, J.B., Schlesinger, C., Sridharan, M.: Iota: a calculus for internet of things automation. In: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, pp. 119–133. ACM, New York (2017).  https://doi.org/10.1145/3133850.3133860
  13. 13.
    Sen, J., et al.: Internet of things: technology, applications and standardardization. CoRR abs/1808.09390 (2018). http://arxiv.org/abs/1808.09390
  14. 14.
    Vigo, R., Nielson, F., Nielson, H.R.: Broadcast, denial-of-service, and secure communication. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 412–427. Springer, Heidelberg (2013).  https://doi.org/10.1007/978-3-642-38613-8_28CrossRefGoogle Scholar
  15. 15.
    Wu, X., Zhu, H.: A calculus for wireless sensor networks from quality perspective. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, 8–10 January 2015, pp. 223–231 (2015).  https://doi.org/10.1109/HASE.2015.40
  16. 16.
    Xie, W., Zhu, H., Wu, X., Vinh, P.C.: Formal verification of mCWQ using extended hoare logic. MONET 24(1), 134–144 (2019).  https://doi.org/10.1007/s11036-018-1142-8CrossRefGoogle Scholar
  17. 17.
    Zhao, G., Zhang, N., Sheng, L.: Study of cognitive model for ad hoc network based on high-order multi-type \(\pi \)-calculus modeling. In: IEEE International Conference on Intelligent Computing and Internet of Things, ICIT 2015, Harbin, China, 17–18 January 2015, pp. 141–144. IEEE (2015).  https://doi.org/10.1109/ICAIOT.2015.7111556

Copyright information

© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2019

Authors and Affiliations

  1. 1.Faculty of Electronics TechnologyIndustrial University of Ho Chi Minh CityHo Chi Minh CityVietnam
  2. 2.Faculty of Computer Science and EngineeringHo Chi Minh City University of TechnologyHo Chi Minh CityVietnam
  3. 3.Faculty of Information TechnologyNguyen Tat Thanh UniversityHo Chi Minh CityVietnam

Personalised recommendations