A formal model and composition language for context-aware service protocols | Publicación