Abstrakt. Språk som UML och OCL används för att exakt modellera system. Komplexa UML- och OCL-modeller utgör därför en avgörande del av modelldriven utveckling, eftersom de formellt anger de viktigaste systemegenskaperna. Därför är det viktigt att skapa kompletta och korrekta modeller. För detta ändamål tillhandahåller vi en lättviktig modellvalideringsmetod baserad på effektiva SAT-lösningsmetoder. I detta dokument presenterar vi en omvandling från UML-klassdiagram och OCL-koncept till relationslogik. Relationslogiken representerar i sin tur källan för avancerade SAT-baserade modellhittare som Kodkod. Detta dokument fokuserar på en naturlig omvandlingsmetod som syftar till att utnyttja egenskaperna hos relationslogiken så direkt som möjligt genom att begränsa hanteringen av de viktigaste UML- och OCL-funktionerna. Detta tillvägagångssätt gör att vi uttryckligen kan dra nytta av en effektiv hantering av relationslogiken i Kodkod och tolka konstaterade resultat bakåt i termer av UML och OCL.
ANVÄNDARREF är ett verktyg för att analysera modeller som uttrycks i UML och OCL.
From UML and OCL to Relational Logic and Back
{'venue': "MODELS'12", 'journal': None, 'mag_field_of_study': ['Computer Science']}