SEG4110 – Advanced Software Engineering and Reengineering.pptVIP

SEG4110 - Topic E - Object Constraint Language SEG4110 – Advanced Software Engineering and Reengineering TOPIC E Object Constraint Language (OCL) What is OCL? OCL is a formal language used to express constraints. Constraint: An invariant condition that must hold for the system being modeled. Constraints do not have side effects Their evaluation cannot alter the state of the executing system. No expression you can write in OCL allows side effects E.g. there is no way to assign a value to an attribute Expressions can only return a value OCL cannot be used as a programming language More on