Abstrakt. UML klassdiagram (UCD) är den mest kända klassbaserade formalismen för konceptuell modellering. De används av programvaruingenjörer för att modellera den extensiva strukturen av ett system i termer av klasser, attribut och operationer, och för att uttrycka begränsningar som måste hålla för varje instans av systemet. Resonans över UCDs är av avgörande betydelse i design, validering, underhåll och systemanalys; dock, för medelstora och stora programvaruprojekt, resonemang över UCDs kan vara opraktiskt. I synnerhet kan svar på frågor användas för att kontrollera om ett (eventuellt ofullständigt) fall av systemet som modellerats av UCD, dvs. en ögonblicksbild, har en viss egenskap. I detta arbete studerar vi problemet med att fråga UCD instanser, och vi relaterar det till fråga svar under bevakad Datalog ±, det vill säga ett kraftfullt Datalog-baserat språk för ontologisk modellering. Vi presenterar en uttrycksfull och meningsfull klass av UCD, som heter Lean UCD, under vilken konjunktiv frågesvar är dragbar i storleken på fallen.
REF studerar problemet med att svara på frågor över UML klassdiagram genom att relatera det till problemet med frågesvar under bevakad Datalog±, ett kraftfullt Datalog-baserat språk för ontologisk modellering, för att kontrollera om en instans av ett system som modelleras av UML klassdiagram uppfyller en specifik egenskap.
Querying UML class diagrams
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}