UML includes a set of graphic notation techniques to create visual models of object-oriented software-intensive systems.In computer science, data validation is the process of ensuring that a program operates on clean, correct and useful data.The Object Constraint Language (OCL) is a declarative language for describing rules that apply to Unified Modeling Language (UML) models developed at IBM and now part of the UML standard.Initially, OCL was only a formal specification language extension to UML.A software system is a system based on software forming part of a computer system (a combination of hardware and software).OCL may now be used with any Meta-Object Facility (MOF) Object Management Group (OMG) meta-model, including UML.Unified Modeling Language (UML) is a standardized general-purpose modeling language in the field of object-oriented software engineering.
Computer-aided software engineering (CASE) is the scientific application of a set of tools and methods to a software system which is meant to result in high-quality, defect-free, and maintainable software products.
It also refers to methods for the development of information systems together with automated tools that can be used in the software development process.
A modeling language is any artificial language that can be used to express information or knowledge or systems in a structure that is defined by a consistent set of rules.
The rules are used for interpretation of the meaning of components in the structure.
The standard is managed, and was created, by the Object Management Group.It was first added to the list of OMG adopted technologies in 1997, and has since become the industry standard for modeling software-intensive systems.