Modeling Specification and Evaluation of Multi-server Queuing Systems