Uniified Modeling Language (UML) accepteras idag som en viktig standard för utveckling av programvara. UML-verktyg ger dock föga stöd för validering och kontroll av modeller i tidiga utvecklingsfaser. Det finns inte heller något betydande stöd för objektbegränsningsspråket (OCL). Vi presenterar en metod för validering av UML-modeller och OCL-begränsningar baserade på animering och certifiering. USE-verktyget (UML-baserad specifikationsmiljö) stöder analytiker, designers och utvecklare i att utföra UML-modeller och kontrollera OCL begränsningar och därmed gör det möjligt för dem att använda modelldrivna tekniker för programvaruproduktion.
I REF gör användningsverktyget det möjligt för oss att kontrollera OCL begränsningar som restriktioner för UML klass diagram.
USE: A UML-based specification environment for validating UML and OCL
{'venue': 'Sci. Comput. Program', 'journal': None, 'mag_field_of_study': ['Computer Science']}