Supporting Tuple Space based Mobile Middleware over unreliable mobile infrastructures: Design and formal specifications
01 Dec 2012-pp 123-125
TL;DR: This paper proposes TSMM-specific discovery and communication mechanisms that enable TSMM to provide coordination over multiple networks, and presents an approach of formalizing proposed mechanisms using Mobile UNITY.
Abstract: Tuple Space based Mobile Middleware (TSMM) intends to facilitate coordination of different components (i.e. agents) of supported applications in multiple mobile, unreliable networks, which is a challenging problem. This paper proposes TSMM-specific discovery and communication mechanisms that enable TSMM to provide coordination over multiple networks. The paper also presents an approach of formalizing proposed mechanisms using Mobile UNITY.
Citations
More filters
11 Jan 2013
TL;DR: This paper suggests an approach of formalizing TSMM that can be deployed over multiple heterogeneous mobile and dynamic networks and carried out using Mobile UNITY.
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.
Cites background from "Supporting Tuple Space based Mobile..."
...For execution over multiple unreliable networks having mobility, as well as for resolving heterogeneity of such multiple underlying networks, TSMM includes its own communication and discovery mechanisms [13] that uses transport service for data transmission....
[...]
References
More filters
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.
Abstract: Generative communication is the basis of a new distributed programming langauge that is intended for systems programming in distributed settings generally and on integrated network computers in particular. It differs from previous interprocess communication models in specifying that messages be added in tuple-structured form to the computation environment, where they exist as named, independent entities until some process chooses to receive them. Generative communication results in a number of distinguishing properties in the new language, Linda, that is built around it. Linda is fully distributed in space and distributed in time; it allows distributed sharing, continuation passing, and structured naming. We discuss these properties and their implications, then give a series of examples. Linda presents novel implementation problems that we discuss in Part II. We are particularly concerned with implementation of the dynamic global name space that the generative communication model requires.
2,584 citations
Additional excerpts
...Keywords-Mobile middleware; tuple space; communication; discovery; Mobile UNITY....
[...]
01 Jan 1996
2,375 citations
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
"Supporting Tuple Space based Mobile..." refers methods in this paper
...Also, this paper suggests an approach for formally specifying proposed mechanisms using Mobile UNITY [4] for performing an appropriate analysis of robustness and flexibility of TSMM. II....
[...]
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
Additional excerpts
...Keywords-Mobile middleware; tuple space; communication; discovery; Mobile UNITY....
[...]
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
"Supporting Tuple Space based Mobile..." refers background in this paper
...PROPOSED COMMUNICATION AND DISCOVERY MECHANISMS OF TSMM This paper considers TSMM having (i) unordered tuples and antituples [5], and (ii) decoupled reactivity in interactions among different agents [6]....
[...]