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: This article considers the nature of the underlying formal models that will enable us to specify and reason about mobile computations, and employs the methods of UNITY, a highly modular extension of the UNITY programming notation.
Abstract: Mobile computing represents a major point of departure from the traditional distributed-computing paradigm. The potentially very large number of independent computing units, a decoupled computing style, frequent disconnections, continuous position changes, and the location-dependent nature of the behavior and communication patterns present designers with unprecedented challenges in the areas of modularity and dependability. So far, the literature on mobile computing is dominated by concerns having to de with the development of protocols and services. This article complements this perspective by considering the nature of the underlying formal models that will enable us to specify and reason about such computations. The basic research goal is to characterize fundamental issues facing mobile computing. We want to achieve this in a manner analogous to the way concepts such as shared variables and message passing help us understand distributed computing. The pragmatic objective is to develop techniques that facilitate the verification and design of dependable mobile systems. Toward this goal we employ the methods of UNITY. To focus on what is essential, we center our study on ad hoc networks, whose singular nature is bound to reveal the ultimate impact of movement on the way one computes and communicates in a mobile environment. To understand interactions we start with the UNITY concepts of union and superposition and consider direct generalizations to transient interactions. The motivation behind the transient nature of the interactions comes from the fact that components can communicate with each other only when they are within a a certain range. The notation we employ is a highly modular extension of the UNITY programming notation. Reasoning about mobile computations relies on extensions to the UNITY proof logic.
123 citations
"Formalization of discovery and comm..." refers methods in this paper
...Mobile UNITY [7], an extension of UNITY model [8], is used for formalizing these mechanisms....
[...]
...Section II gives a brief overview discovery and cOlmnunication mechanisms of TSMM having a decoupled reactive tuple space model, which is next formalized using Mobile UNITY in Section III....
[...]
...This paper has proposed an approach of formalizing discov ery and conununication mechanisms of a decoupled TSMM, which is being deployed over iBSS, using Mobile UNITY....
[...]
...In this section, communications and discovery mechanisms of TSMM for iBSS are formally specified using Mobile UNITY....
[...]
01 Jan 2006
TL;DR: This chapter discusses the suitability of tuple-based models for mobility and introduces a simple taxonomy of tuplebased middleware models for mobile systems.
Abstract: This chapter focuses on tuple-based (Linda-like) coordination models as middleware services for mobile and pervasive computing systems. After having introduced the basic concepts of tuple-based coordination, the chapter discusses the suitability of tuple-based models for mobility and introduces a simple taxonomy of tuplebased middleware models for mobile systems. Then, on the basis of the introduced taxonomy, the chapter presents several proposals – both industrial and academic – that have been made in this area. Eventually, the paper outlines open research issues and promising research directions in the area of tuple-based coordination models for mobile
24 citations
"Formalization of discovery and comm..." refers background in this paper
...Tuple space model [2], a popular coordination model, supports multiple inherent decoupling qualities [3], and as such is a potential coordination medium for mobile middleware [4], called Tuple Space based Mobile Middleware (TSMM)....
[...]
01 Dec 2010
TL;DR: LIMONE's tuple-antituple structure is modified for improving its performance and scalability, both original and modified models are analyzed and experimented to show the improvements.
Abstract: Tuple Space based Mobile Middleware (TSMM), a new genre of mobile middleware, is developed to tackle emerging dynamics in underlying infrastructure. It uses tuple space model to coordinate interactions between different active components (agents) of supported applications. This paper focusses on a primary design issue of tuple space model, viz. tuple-antituple structure, which specifies arities and nature of arrangements of constituent fields of tuples and antituples. This factor not only affects application design, but also impacts simplicity, flexibility, scalability and performance of TSMM. Broadly, two types of arrangements are possible: ordered (where arity and arrangement of fields are predefined), and unordered (where none of them are predefined). Ordered structure lacks flexibility and restricts the design of TSMM and its applications. Unordered structure removes these drawbacks, but degrades TSMM's performance and scalability, as additional creation and lookup overheads are introduced here. Among the existing TSMM, LIMONE incorporates unordered tuple-antituple structure. In this paper, we modify LIMONE's tuple-antituple structure for improving its performance and scalability. Both original and modified models are analyzed and experimented to show the improvements.
13 citations
25 Jun 2012
TL;DR: This paper proposes an improved reactive tuple space model for TSMM with enhanced decoupling behavior of reactions to achieve robustness for supported applications.
Abstract: Tuple Space based Mobile Middleware (TSMM) is developed to tackle emerging dynamics in underlying infrastructure. Its coordination medium, viz. tuple space model, has multiple inherent decoupled behaviors to coordinate interactions between different agents of supported applications. This paper focuses on one such decoupling quality, synchronization decoupling, by which agents are decoupled from their invoked primitives. This decoupling ability is accomplished by including reactivity in tuple space model. Reactive tuple space model also enables development of robust and flexible applications for TSMM. However, in existing TSMM, this decoupling behavior has not been fully attained, as reactions are themselves coupled with invoked primitives, leading to additional network and processing overheads. This paper proposes an improved reactive tuple space model for TSMM with enhanced decoupling behavior of reactions to achieve robustness for supported applications. Proposed tuple space model is also formally modeled and verified by notation and proof logic of UNITY model.
11 citations
"Formalization of discovery and comm..." refers background in this paper
...Recently, further decoupling ability is added to reactivity to achieve complete coordination decoupling in agent interaction [5]....
[...]
...[5], [9]-[11]), authors believe that thorough formalization of discovery and COlmnu nication functionalities of any TSMM has not yet presented before....
[...]
19 Apr 2016
TL;DR: This paper discusses the design and implementation of middleware for distributed systems, and some of the technologies used in that design were new and untested.
Abstract: Basic Concepts 146 Distributed Systems 146 The Middleware Layer 148 Middleware Requirements for Fixed Distributed Systems 150 How Mobility Affects Middleware Design 151 Mobile Middleware Requirements 152 Context Management 155 Connection Management 157 Resource Management 158 Middleware for Nomadic Systems 159 Middleware for Ad Hoc Systems 161 Available Technologies for Mobile Middleware 162 Mobile Agent Technology 162 Grid Computing Paradigm 163 References 164 AU3833_C07.fm Page 145 Monday, August 14, 2006 3:17 PM
10 citations