OCL
E699641
OCL (Object Constraint Language) is a formal language used to describe expressions and constraints on UML models in a precise, machine-readable way.
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
formal specification language
ⓘ
object-oriented specification language ⓘ |
| abbreviationOf | Object Constraint Language NERFINISHED ⓘ |
| appliesTo |
UML class diagrams
NERFINISHED
ⓘ
UML metamodel ⓘ UML state machine diagrams ⓘ UML use case models ⓘ |
| canExpress |
derivation rules
ⓘ
guards ⓘ invariants ⓘ postconditions ⓘ preconditions ⓘ query expressions ⓘ |
| characteristic |
declarative
ⓘ
formal semantics ⓘ purely textual ⓘ side-effect free ⓘ typed ⓘ |
| designGoal | to be precise yet readable by modelers ⓘ |
| domain |
model-driven engineering
ⓘ
software engineering ⓘ |
| fullName | Object Constraint Language NERFINISHED ⓘ |
| hasFeature |
Boolean expressions
ⓘ
collection types ⓘ navigation expressions ⓘ type system compatible with UML ⓘ |
| not |
executable action language
ⓘ
programming language ⓘ |
| purpose |
to describe expressions on models in a precise way
ⓘ
to provide a machine-readable constraint language ⓘ to specify constraints on UML models ⓘ |
| relatedTo |
MOF
NERFINISHED
ⓘ
UML standard ⓘ model-driven architecture ⓘ |
| semanticsDefinedIn | OMG OCL specification NERFINISHED ⓘ |
| standardizedBy | Object Management Group NERFINISHED ⓘ |
| supports |
collection operations such as select and collect
ⓘ
navigation over associations ⓘ quantifiers like forAll and exists ⓘ |
| typicalToolSupport |
UML modeling tools
ⓘ
code generators ⓘ model checkers ⓘ |
| usedFor |
defining well-formedness rules for metamodels
ⓘ
model validation ⓘ model verification ⓘ precise specification of business rules ⓘ |
| usedWith |
UML
NERFINISHED
ⓘ
Unified Modeling Language NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.