Sammanfattning Refaktoring av UML klass diagram är ett framväxande forskningsämne och starkt inspirerad av refaktoring av programkod skriven i objektorienterade implementation språk. Nuvarande klassdiagram refaktoring tekniker koncentrera sig på den diagrammatiska delen men försumma OCL begränsningar som kan bli syntaktiskt felaktiga genom att ändra den underliggande klassdiagram. Detta papper formaliserar de viktigaste refaktoringsreglerna för klassdiagram och klassificerar dem med avseende på deras inverkan på bifogade OCL-begränsningar. För refaktoring regler som har en inverkan på OCL begränsningar, formaliserar vi de nödvändiga ändringarna av de bifogade begränsningar. Våra refaktoring regler specificeras i en graf-grammar inspirerad formalism. De har genomförts som regler för QVT-omvandling. Vi diskuterar slutligen för vår refaktoring regler problemet med syntax bevarande och visa, genom att använda KeY-systemet, hur detta kan lösas.
Till exempel föreslog REF att refaktor UML klass diagram, även anpassa bifogade OCL begränsningar.
Refactoring OCL annotated UML class diagrams
{'venue': 'Software & Systems Modeling', 'journal': 'Software & Systems Modeling', 'mag_field_of_study': ['Computer Science']}