Proceedings ArticleDOI
Formalization of discovery and communication mechanisms of Tuple Space based Mobile Middleware for underlying unreliable infrastructure
Suddhasil De,Suchetana Chakraborty,Diganta Goswami,Sukumar Nandi +3 more
- pp 580-585
Reads0
Chats0
TLDR
This paper suggests an approach for formalizing these discovery and communication mechanisms of TSMM, in order to appropriately analyze robustness and flexibility ofTSMM in presence of underlying unreliability.Abstract:
Tuple Space based Mobile Middleware (TSMM), with tuple space as its coordination medium, provides decoupled coordination of different agents of its supported applications over mobile, dynamic and unreliable networks, like Infrastructure Basic Service Set (iBSS). TSMM includes its own discovery and communication mechanisms to achieve robustness and flexibility in such networks. This paper suggests an approach for formalizing these discovery and communication mechanisms of TSMM, in order to appropriately analyze robustness and flexibility of TSMM in presence of underlying unreliability. Formalization is carried out using Mobile UNITY.read more
Citations
More filters
Proceedings ArticleDOI
Middleware Reconfiguration Relying on Formal Methods
TL;DR: This paper proposes to reconfigure the middleWARE by moving adaptation decisions and actions from the middleware to an external and formally-based element and the whole adaptation process is performed based on the behavioural analysis of themiddleware execution trace.
Book ChapterDOI
Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications
TL;DR: This paper proposes mechanisms to resolve consistency problems in a fully-decoupled TSMM, and suggests an approach for formalizing proposed consistency mechanisms in TSMM in order to appropriately analyze reliability and robustness of TSMM as coordination platform for mobile applications.
References
More filters
Journal ArticleDOI
The many faces of publish/subscribe
TL;DR: This paper factors out the common denominator underlying these variants: full decoupling of the communicating entities in time, space, and synchronization to better identify commonalities and divergences with traditional interaction paradigms.
Journal ArticleDOI
Generative communication in Linda
TL;DR: This work is particularly concerned with implementation of the dynamic global name space that the generative communication model requires, and its implications for systems programming in distributed settings generally and on integrated network computers in particular.
Book
Parallel Program Design: A Foundation
TL;DR: One that the authors will refer to break the boredom in reading is choosing parallel program design a foundation as the reading material.
Journal ArticleDOI
LIME: A coordination model and middleware supporting mobility of hosts and agents
TL;DR: The model underlying LIME is illustrated, a formal semantic characterization for the operations it makes available to the application developer is provided, its current design and implementation is presented, and lessons learned are discussed in developing applications that involve physical mobility.