A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram.

Thomas Raimbault, David Genest, Stphane Loiseau

Browse the full ICAART paper archive.