Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications

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]  Sukumar Nandi,et al.  Modeling an Enhanced Tuple Space Based Mobile Middleware in UNITY , 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

[2]  Gruia-Catalin Roman,et al.  Mobile UNITY: reasoning and specification in mobile computing , 1997, TSEM.

[3]  Shigeru Chiba,et al.  Exploiting a weak consistency to implement distributed tuple space , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[4]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[5]  Sukumar Nandi,et al.  On performance improvement issues in unordered Tuple Space based Mobile Middleware , 2010, 2010 Annual IEEE India Conference (INDICON).

[6]  Chung-Kwong Yuen,et al.  Distributed Linda Tuplespace Algorithms and Implementations , 1994, CONPAR.

[7]  Gruia-Catalin Roman,et al.  A Lightweight Coordination Middleware for Mobile Computing , 2004, COORDINATION.

[8]  Sukumar Nandi,et al.  A new tuple space structure for tuple space based mobile middleware platforms , 2012, 2012 Annual IEEE India Conference (INDICON).

[9]  Christine Julien,et al.  EgoSpaces: facilitating rapid development of context-aware mobile applications , 2006, IEEE Transactions on Software Engineering.

[10]  D. K. Arvind,et al.  Detection of Concurrency-Related Errors in Joyce , 1992, CONPAR.

[11]  Suddhasil De,et al.  Architectures of mobile middleware: A taxonomic perspective , 2012, 2012 2nd IEEE International Conference on Parallel, Distributed and Grid Computing.

[12]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[13]  Amy L. Murphy,et al.  LIME: A coordination model and middleware supporting mobility of hosts and agents , 2006, TSEM.

[14]  Franco Zambonelli,et al.  Tuples on the air: a middleware for context-aware computing in dynamic networks , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[15]  Franco Zambonelli,et al.  MARS: A Programmable Coordination Architecture for Mobile Agents , 2000, IEEE Internet Comput..

[16]  Sukumar Nandi,et al.  Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware , 2012, MOBILWARE.

[17]  S. Nandi,et al.  Formalization of discovery and communication mechanisms of Tuple Space based Mobile Middleware for underlying unreliable infrastructure , 2012, 2012 2nd IEEE International Conference on Parallel, Distributed and Grid Computing.

[18]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[19]  Franco Zambonelli,et al.  Uncoupling Coordination: Tuple-based Models for Mobility , 2006 .