A formal model and composition language for context-aware service protocols
Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün · 2009
We first define a model to formalise context-aware clients and services. Then, we propose a composition language available on the user's device to execute and handle concurrently interactions with several services at the same time.