Modeling an Enhanced Tuple Space Based Mobile Middleware in UNITY

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.