Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp