Object Constraint Language (OCL) is a formal notation developed - Formal Modelling & Verification

Q.  Object Constraint Language (OCL) is a formal notation developed, so that users of UML can add more precision to their specifications.
- Published on 23 Jul 15

a. True
b. False

ANSWER: True
 

    Discussion

  • Nirja Shah   -Posted on 19 Oct 15
    Object Constraint Language (OCL)
    - It is a formal notation developed so that users of UML can add more precision to their specifications

    - All of the power of logic and discrete mathematics is available in the language

    - However the designers of OCL decided that only ASCII characters (rather than conventional mathematical notation) should be used in OCL statements.

Post your comment / Share knowledge


Enter the code shown above:
 
(Note: If you cannot read the numbers in the above image, reload the page to generate a new one.)