Research Article
Formal Modeling of Mobile Middleware for Tuple Space Coordination over Multiple Heterogeneous Networks
513 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
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.
Copyright © 2013–2024 ICST
