A Model-based Analysis of First-generation Service Discovery Systems