A reference to an Element located in the context of a Document.
A reference to an Element located in the context of a Document.
There are several variations according to: - how to identify an element -- with an OTI ID -- with a tool-specific ID - how to identify the location of the identified element -- implicitly -- explicitly with an OTI Document URL -- explicitly, with a tool-specific URL location of the identified element in a tool-specific resource
Element Location based on OTI ID when the OTI Document context is known.
Element Location based on OTI ID when the OTI Document context is known.
The OTI ID of the UML Element contained in the OTI Document UML Package/Profile context
Element Location based on OTI ID & OTI Document URL
Element Location based on OTI ID & OTI Document URL
The OTI ID of the UML Element contained in an OTI Document UML Package
The OTI URL of the external OTI Document UML Package resource containing the identified element
Element Location based on tool-specific ID when the Document context is known (OTI or tool-specific)
Element Location based on tool-specific ID when the Document context is known (OTI or tool-specific)
The tool-specific ID of the UML Element contained in an OTI or tool-specific Document UML Package/Profile context
Element Location based on Tool-specific ID & OTI Document URL
Element Location based on Tool-specific ID & OTI Document URL
The tool-specific ID of the UML Element contained in an OTI Document UML Package
The OTI URL of the external OTI Document UML Package resource containing the identified element
Element Location based on Tool-specific ID & URL
Element Location based on Tool-specific ID & URL
The tool-specific ID of the UML Element contained in an OTI Document UML Package
The tool-specific URL location of the identified element in a tool-specific resource
A UML Package can be the root of an OTI artifact of some kind.
A UML Package can be the root of an OTI artifact of some kind. OTI artifact kinds impose well-formedness constraints on UML Package inter-relationships.
A UML Package that is the root of an OTI artifact of some kind that is built-in an OTI-compatible tool.
A UML Package that is the root of an OTI artifact of some kind that is built-in an OTI-compatible tool. Such an artifact is neither serialized to nor deserialized from an external representation.
Configuration for an OTI Document UML Package
Configuration for an OTI Document UML Package
the OTI characteristics for the OTI Document UML Package
the tool-specific ID of the OTI Document UML Package
a tool-specific URL for the external location of the OTI Document UML Package
Each pair is used to override the generated OTI ID for a given UML Element within the OTI DOcument UML Package according to its tool-specific ID
Each pair is used to override the generated OTI UUID for a given UML Element within the OTI DOcument UML Package according to its tool-specific ID
A set of tool-specific IDs for nested UML Elements to be excluded along with their contents from the OTI extent of the OTI Document UML Package
The kind for a UML Package representing a metamodel (built-in or serializable)
The kind for a UML Package representing a model-library (built-in or serializable)
The kind for a UML Package representing a profile (built-in or serializable)
A UML Package that is the root of an OTI artifact of some kind that can be serialized to or deserialized from an external representation.
The OTI characteristics for a UML Package specifying the root of an OTI Document of some kind.
The OTI characteristics for a UML Package specifying the root of an OTI Document of some kind.
the Package::URI characteristic
the URL where the OTI document is externally accessible as a resource
the kind of the OTI document
the XML namespace prefix for the contents of the OTI document
the XMI uuid prefix for all the contents of the OTI document
For a given UML Element, the pair of its tool-specific ID and its OTI ID.
For a given UML Element, the pair of its tool-specific ID and its OTI ID.
tool-specific ID
OTI ID
For a given UML Element, the pair of its tool-specific ID and its OTI UUID.
For a given UML Element, the pair of its tool-specific ID and its OTI UUID.
tool-specific ID
OTI UUID
The kind for a UML Package representing a metamodel that is built-in an OTI compatible tool.
The kind for a UML Package representing a metamodel that is built-in an OTI compatible tool. A built-in metamodel package can acyclically import built-in metamodel or built-in model library packages
The kind for a UML Package representing a model library that is built-in an OTI compatible tool.
The kind for a UML Package representing a model library that is built-in an OTI compatible tool. A built-in model library package can acyclically import built-in model library packages and can acyclically apply built-in profile packages.
The kind for a UML Package representing a profile that is built-in an OTI compatible tool.
The kind for a UML Package representing a profile that is built-in an OTI compatible tool. A built-in profile package must acyclically extend at least one built-in metamodel package and can acyclically import built-in model library packages.
The kind for a UML Package that is processed as part of an importing/loading an OTI Document
Use Scalaz' Tagged type technique, A @@ T
, enables partitioning the use of a reference type,
A
into disjoint types according to the tag type T
without adding a runtime overhead in the
representation of partitioned values of A
.
Use Scalaz' Tagged type technique, A @@ T
, enables partitioning the use of a reference type,
A
into disjoint types according to the tag type T
without adding a runtime overhead in the
representation of partitioned values of A
.
In an object-oriented perspective, it is as if A @@ T
were defined as a subclass of
the class type A
such that A @@ T1
and A @@ T2
would be disjoint subclasses of A
In OTI, this is used for partitioning the use of the type String
as the representation
for disjoint types in OTI: URI, URL ID, UUID, NS Prefix, UUID Prefix
The kind for a UML Package representing a metamodel that can be serialized.
The kind for a UML Package representing a metamodel that can be serialized. A metamodel package can acyclically import metamodel or model library packages
The kind for a UML Package representing a model library that can be serialized.
The kind for a UML Package representing a model library that can be serialized. A model library package can acyclically import model library packages and can acyclically apply profile packages.
The kind for a UML Package representing a profile that can be serialized.
The kind for a UML Package representing a profile that can be serialized. A profile package must acyclically extend at least one metamodel package and can acyclically import model library packages.