Using metamodels to improve model-based testing of service orchestrations