Formalization of discovery and communication mechanisms of Tuple Space based Mobile Middleware for underlying unreliable infrastructure
01 Dec 2012-pp 580-585
TL;DR: 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.
Citations
More filters
01 Oct 2015
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.
Abstract: Adaptive middleware is a software for developing and executing distributed applications and can be reconfigured at runtime without its complete stop. The need of reconfiguration is usually triggered by changes in application's requirements and environmental conditions, to fix bugs or to extend the middleware's functionality. The development of an adaptive middleware still being a challenge due to the complexity of dealing with adaptation issues, such as how, when and where to reconfigure the middleware. Existing solutions to build adaptive middleware concentrate on the use of software mechanisms like aspect oriented programming and computational reflection to face the issues behind the reconfiguration. In this paper, we propose to reconfigure the middleware by moving adaptation decisions and actions from the middleware to an external and formally-based element. The whole adaptation process is performed based on the behavioural analysis of the middleware execution trace. In order to evaluate the proposed approach, we carried experimental experiments to check the effectiveness of the proposed adaptation mechanism and measure the overhead caused by the proposed adaptation mechanism.
5 citations
Cites background from "Formalization of discovery and comm..."
...Whatever the development phase, it is also possible to identify which aspects of middleware have been mainly formalised: middleware mechanisms and components [21], [22], middleware services [23], [24], [25] and middleware models [21], [26]....
[...]
05 Feb 2013
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.
Abstract: Tuple Space based Mobile Middleware (TSMM), with tuple space as its coordination medium, provides multiple decoupled behaviors for coordinating interactions between different agents of supported applications However, maintaining consistency in TSMM is a challenging problem, considering its underlying infrastructure with unpredictable host mobility, sporadic network dynamics, and unreliability in communication links Existing TSMM maintains consistency by coupling interacting agents, which in turn reduces decoupling abilities of TSMM, thereby restricting development of robust and flexible applications This paper addresses consistency problems while decoupling agent interactions in TSMM, which renders complete decoupling of interactions It proposes mechanisms to resolve consistency problems in a fully-decoupled TSMM Both OUT-consistency and IN-consistency problems are handled in proposed mechanisms This paper also 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 Formalization is carried out using Mobile UNITY
1 citations
Cites background from "Formalization of discovery and comm..."
...decoupled reactivity in tuple space [12], discovery and communication mechanisms in TSMM [15] etc....
[...]
References
More filters
TL;DR: The expressive power of the Mobile UNITY coordination constructs is reexamine from a new perspective rooted in the notion that disciplined usage of a powerful formal model must rely on formally defined schemas.
Abstract: Mobile UNITY refers to a notation system and proof logic initially designed to accommodate the special needs of the emerging field of mobile computing. The model allows one to define units of computation and mobility and the formal rules for coordination among them in a highly decoupled manner. In this paper, we reexamine the expressive power of the Mobile UNITY coordination constructs from a new perspective rooted in the notion that disciplined usage of a powerful formal model must rely on formally defined schemas. Several coordination schemas are introduced and formalized. They examine the relationship between Mobile UNITY and other computing models and illustrate the mechanics of employing Mobile UNITY as the basis for a formal semantic characterization of coordination models.
9 citations
"Formalization of discovery and comm..." refers background in this paper
...[5], [9]-[11]), authors believe that thorough formalization of discovery and COlmnu nication functionalities of any TSMM has not yet presented before....
[...]
13 Nov 2012
TL;DR: This paper suggests an approach for formalizing Tuple Space based Mobile Middleware that contains a fully-decoupled reactive tuple space model as coordination medium.
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
4 citations