Restriktioner spelar en nyckelroll i definitionen av begreppsmässiga scheman. I UML anges vanligen begränsningar med hjälp av invarianter skrivna i OCL. På grund av OCL:s höga uttryckskraft har konstruktören dock olika syntaktiska alternativ för att uttrycka varje begränsning. De tekniker som presenteras i detta dokument hjälper konstruktören vid fastställandet av begränsningarna genom att generera likvärdiga alternativ för de ursprungligen definierade. Inom ramen för MDA krävs dessutom omvandlingar mellan dessa olika alternativ som en del av PIM-till-PIM-, PIM-till-PSM- eller PIM-till-kod-transformeringar av det ursprungliga konceptuella schemat.
I dokumentet i Ref införs en metod för att generera semantiskt likvärdiga alternativ för de ursprungligen definierade OCL-begränsningarna.
Transformation Techniques for OCL Constraints
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}