root package

Tabular & Resolver APIs for the Ontological Modeling Language

The key difference between these APIs stems from the representation of cross-references.

Covariant tags for OML UUIDs & circe codecs

gov.nasa.jpl.imce.oml.covariantTag (covariant tag mechanism)

gov.nasa.jpl.imce.oml.taggedTypes (circe codecs)

Taxonomy of OML's covariant tagged types

1. UUID-based Cross References in the tabular API

oml.uuid.OMLUUIDGenerator oml.uuid.JVMUUIDGenerator (JVM-based implementation)

gov.nasa.jpl.imce.oml.tables.CrossReferencabilityKind

2. OML Tabular API (UUID-based cross references)

oml.tables.OMLSpecificationTables

3. OML resolver API (Object-based cross-references)

gov.nasa.jpl.imce.oml.resolver.api.CrossReferencabilityKind

oml.resolver.api.Extent

oml.resolver.OMLOps

oml.resolver.OMLOps.ModuleOps

4. Conversion from OML Tables to OML Resolver

gov.nasa.jpl.imce.oml.resolver.OMLTablesResolver

5. Conversion from OML Resolver to OML Tables

gov.nasa.jpl.imce.oml.resolver.Extent2Tables