权威例句
Validating UML Models and OCL ConstraintsOn Querying UML Data Models with OCLVerification of UML/OCL Class Diagrams using Constraint ProgrammingValidating UML and OCL models in USE by automatic snapshot generationOn Formalizing the UML Object Constraint Language OCLOn Formalizing the UML Object Constraint Language OCLUSE: A UML-based specification environment for validating UML and OCLUSE: A UML-based specification environment for validating UML and OCLVerifying feature-based model templates against well-formedness OCL constraintsVerifying feature-based model templates against well-formedness OCL constraints