Abstrakt. Objektet Constraint Language (OCL), som utgör en del av UML uppsättning modellering notations, är ett exakt, textspråk för att uttrycka begränsningar som inte kan visas diagrammatiskt i UML. Detta dokument tar upp ett antal aspekter av OCL:s syntax och semantik och lägger fram förslag till förtydligande eller utvidgning. I dokumentet föreslås särskilt att: Begreppet tillplattande samlingar av samlingar är onödigt, statliga modeller bör kunna anslutas till klassmodeller, definiera objektskapande bör göras mer bekvämt, OCL bör baseras på en 2-värderad logik, uppsättning subtraktion bör täckas mer fullt, och en "let"-funktion bör införas.
När det gäller OCL diskuterar REF ett antal frågor som rör syntax och semantik av OCL såsom navigering, statsmodeller, objektskapande, etc.
Reflections on the Object Constraint Language
{'venue': 'In The Unified Modeling Language (UML), LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}