Validating uml models

Posted by / 29-Jun-2020 05:33

Validating uml models

The Object Constraint Language is a precise text language that provides constraint and object query expressions on any MOF model or meta-model that cannot otherwise be expressed by diagrammatic notation.OCL is a key component of the new OMG standard recommendation for transforming models, the Queries/Views/Transformations (QVT) specification.These are used for describing static as well as dynamic aspects of a system.An important part of UML is the Object Constraint Language (OCL) – a textual language that allows to specify additional constraints on models in a more precise and concise way than it is possible to do with diagrams only.

We use cookies to offer you a better experience, personalize content, tailor advertising, provide social media features, and better understand the use of our services.The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard.Initially, OCL was merely a formal specification language extension for UML.Test cases show that snapshots having desired properties can be constructed.Validation cases show that given properties are consequences of the original UML and OCL model.

validating uml models-67validating uml models-43validating uml models-80

OCL is also a navigation language for graph-based models.