Event-driven Modeling Test Case Generation with Holistic View for Multilevel Services Composition.