Proceedings of the 4th international workshop on Services integration in pervasive environments