Applying ASP to UML model validation