Towards Modeling and Execution of Collective Adaptive Systems