Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
abbreviation
|
| gptkbp:category |
gptkb:programming_language
formal specification language |
| gptkbp:compatibleWith |
program execution
side effects |
| gptkbp:definedIn |
gptkb:Object_Management_Group
|
| gptkbp:firstAppearance |
1997
|
| gptkbp:hasFeature |
type safety
null safety side-effect free |
| https://www.w3.org/2000/01/rdf-schema#label |
OCL
|
| gptkbp:latestReleaseVersion |
gptkb:OCL_2.4
2014 |
| gptkbp:relatedTo |
gptkb:MDA
gptkb:UML gptkb:MOF |
| gptkbp:standsFor |
gptkb:Object_Constraint_Language
|
| gptkbp:symbol |
declarative
|
| gptkbp:usedFor |
gptkb:UML
querying object models specifying constraints |
| gptkbp:usedIn |
software modeling
|
| gptkbp:website |
https://www.omg.org/spec/OCL/
|
| gptkbp:bfsParent |
gptkb:Object_Constraint_Language
gptkb:Orchestre_de_Chambre_de_Lausanne |
| gptkbp:bfsLayer |
6
|