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

Suddhasil De; Diganta Goswami; Sukumar Nandi

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

492 downloads

Cite: BibTeX Plain Text

@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 De¹^,*, Diganta Goswami¹^,*, Sukumar Nandi¹^,*

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.

Keywords: Mobile middleware coordination tuple space robustness formalization Mobile UNITY

Published: 2013-07-09

: http://dx.doi.org/10.1007/978-3-642-37949-9_36