Quality, Reliability, Security and Robustness in Heterogeneous Networks. 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers

Research Article

Formal Modeling of Mobile Middleware for Tuple Space Coordination over Multiple Heterogeneous Networks

Download
498 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-37949-9_36,
        author={Suddhasil De and Diganta Goswami and Sukumar Nandi},
        title={Formal Modeling of Mobile Middleware for Tuple Space Coordination over Multiple Heterogeneous Networks},
        proceedings={Quality, Reliability, Security and Robustness in Heterogeneous Networks. 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers},
        proceedings_a={QSHINE},
        year={2013},
        month={7},
        keywords={Mobile middleware coordination tuple space robustness formalization Mobile UNITY},
        doi={10.1007/978-3-642-37949-9_36}
    }
    
  • Suddhasil De
    Diganta Goswami
    Sukumar Nandi
    Year: 2013
    Formal Modeling of Mobile Middleware for Tuple Space Coordination over Multiple Heterogeneous Networks
    QSHINE
    Springer
    DOI: 10.1007/978-3-642-37949-9_36
Suddhasil De1,*, Diganta Goswami1,*, Sukumar Nandi1,*
  • 1: Indian Institute of Technology Guwahati
*Contact email: suddhasil@iitg.ernet.in, dgoswami@iitg.ernet.in, sukumar@iitg.ernet.in

Abstract

Tuple Space based Mobile Middleware (TSMM), with tuple space as coordination medium, exhibits multiple decoupling qualities during coordination, which enhances its robustness and flexibility and makes it an appropriate coordination platform for underlying mobile and dynamic networks. However, formal semantics of TSMM are required for reasoning TSMM as coordination platform, which also help in developing supported applications. This paper suggests an approach of formalizing TSMM that can be deployed over multiple heterogeneous mobile and dynamic networks. Formalization is carried out using Mobile UNITY.