A Generic Coordination Model for Pervasive Computing Based on Semantic Web Languages