Weaving adaptation semantic specification into scudware middleware for ubiquitous computing

The need for component-based middleware adaptation is growing, due to the complexities of increasing prevalence of ubiquitous computing. Software middleware must dynamically adapt to changing environments and conditions. Dynamic adaptation must be performed reliably and correctly. The focus of this paper regards an approach to formally specifying adaptation semantics for scudware middleware in smart vehicle space. The contribution of our work is twofold. First, a context-aware adaptation temporal logic is put forward to specify component-based dynamic adaptation semantics. Second, we propose three adaptation specification composition operations to generate the whole adaptation specification of adaptive middleware. In addition, this adaptation specification is applied into a mobile music system in smart vehicle space.