DocumentCode
2271638
Title
Supporting Tuple Space based Mobile Middleware over unreliable mobile infrastructures: Design and formal specifications
Author
De, Suvranu ; Chakraborty, Shiladri ; Nandi, Sukumar ; Goswami, Debkalpa
Author_Institution
Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Guwahati, Guwahati, India
fYear
2012
fDate
16-19 Dec. 2012
Firstpage
123
Lastpage
125
Abstract
Tuple Space based Mobile Middleware (TSMM) intends to facilitate coordination of different components (i.e. agents) of supported applications in multiple mobile, unreliable networks, which is a challenging problem. This paper proposes TSMM-specific discovery and communication mechanisms that enable TSMM to provide coordination over multiple networks. The paper also presents an approach of formalizing proposed mechanisms using Mobile UNITY.
Keywords
formal specification; middleware; mobile radio; Mobile UNITY; TSMM; formal specifications; multiple mobile; multiple networks; tuple space based mobile middleware; unreliable mobile infrastructures; unreliable networks; Mobile UNITY; Mobile middleware; communication; discovery; tuple space;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Networks and Telecommuncations Systems (ANTS), 2012 IEEE International Conference on
Conference_Location
Bangalore
ISSN
2153-1676
Print_ISBN
978-1-4673-5130-0
Type
conf
DOI
10.1109/ANTS.2012.6524241
Filename
6524241
Link To Document