Definitions and Computational Properties of OCL: A Systematic Review.
Goran RajicVlado SrukPublished in: IEEE Access (2024)
Keyphrases
- computational properties
- systematic review
- empirical studies
- expressive power
- logic programs
- description logics
- semantic properties
- reasoning problems
- constraint language
- uml class diagrams
- test cases
- ontological reasoning
- bayesian network classifiers
- metamodel
- high dimensional
- databases
- logic programming
- em algorithm
- maximum likelihood
- query language
- database