Ämnet UML-modellkonsistens blir allt viktigare. Att ha ett verktyg som kontrollerar överensstämmelsen hos UML modeller är mycket användbart. Med hjälp av XMI-standarden kan de konsekventa modellerna överföras från kontrollverktyget till något annat UML-verktyg. Med hjälp av praktiska exempel visar detta dokument att användning av ett ramverk baserat på OCL är ett värdefullt tillvägagångssätt vid kontroll av UML-modeller. De resultat som erhålls i exemplen belyser vissa brister i definitionen av UML och visar att OCL erbjuder det stöd som behövs för att hantera verktygens egenheter.
I REF har författarna lagt fram ett praktiskt tillvägagångssätt för att kontrollera överensstämmelsen mellan UML-modeller genom att använda OCL baserat på överföring UML-modell med hjälp av standard XMI.
Ensuring UML Models Consistency Using the OCL Environment
{'venue': 'Electr. Notes Theor. Comput. Sci', 'journal': None, 'mag_field_of_study': ['Computer Science']}