Mobile Wireless Middleware, Operating Systems, and Applications. 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers

Research Article

Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware

Download
505 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-36660-4_6,
        author={Suddhasil De and Diganta Goswami and Sukumar Nandi and Suchetana Chakraborty},
        title={Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware},
        proceedings={Mobile Wireless Middleware, Operating Systems, and Applications. 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers},
        proceedings_a={MOBILWARE},
        year={2013},
        month={2},
        keywords={mobile middleware coordination tuple space Mobile UNITY},
        doi={10.1007/978-3-642-36660-4_6}
    }
    
  • Suddhasil De
    Diganta Goswami
    Sukumar Nandi
    Suchetana Chakraborty
    Year: 2013
    Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware
    MOBILWARE
    Springer
    DOI: 10.1007/978-3-642-36660-4_6
Suddhasil De1,*, Diganta Goswami1,*, Sukumar Nandi1,*, Suchetana Chakraborty1,*
  • 1: Indian Institute of Technology Guwahati
*Contact email: suddhasil@iitg.ernet.in, dgoswami@iitg.ernet.in, sukumar@iitg.ernet.in, suchetana@iitg.ernet.in

Abstract

This paper suggests an approach for formalizing Tuple Space based Mobile Middleware (TSMM) that contains a fully-decoupled reactive tuple space model as coordination medium. Formalization of TSMM is carried out using Mobile UNITY.