Towards a High-level design Approach for Multi-Server Online Games