The Z notation: a reference manual
The Z notation: a reference manual
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Discrete Mathematical Structures
Discrete Mathematical Structures
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
An Introduction to Software Architecture
An Introduction to Software Architecture
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing
IEEE Transactions on Software Engineering
Applying Coordination for Service Adaptation in Mobile Computing
IEEE Internet Computing
| Hi-index | 0.00 |
Using gateway proxies is one important approach to facilitating adaptation across wireless and mobile environments. Importantly, augmented service entities deployed within the gateway proxy residing on the wired network can be composed and deployed to shield mobile clients from the effects of poor network characteristics. The usual approach to the static composition of service entities on the gateway proxy is to have these service entities interact with each other by explicitly invoking procedures on the named interface. The tight coupling of interfaces inhibits the flexible composition and adaptation of the service entities to the dynamic operating characteristics of wireless networks. In this paper, we present a Mobile GATEway for the Active deployment of Transport Entities or MobiGATE (pronounced as MobiGate) for short. MobiGATE is a mobile middleware framework that supports the robust and flexible composition of transport entities, known as streamlets. The flow of data traffic is subjected to processing by a chain of streamlets. Each streamlet encapsulates a service entity that serves to adapt the flow of traffic across the wireless network. To facilitate the dynamic reconfiguration of the streamlets, we advocate applying the concept of coordination as the unifying approach to composing these transport service entities. Importantly, MobiGATE delineates a clear separation of interdependency parts from the service-specific computational codes of those service entities by using a separate coordination language to describe the coordination among streamlet service entities. To this end, we have defined a compositional language called MobiGATE Coordination Language (MCL) that provides rich constructs to support the definition of compositions, with constrained type validation and checking.