Typed Element
Term |
Typed Element |
Aliases |
- |
Identity
-
Term ID:
src/main/doxsite/glossary/object-foundation/typed-element.dox -
English label: Typed Element
-
Japanese label: 型付き要素
-
Category: Object Foundation
-
Status: normative
-
Definition authority: SimpleModeling BoK
Definition
A Typed Element is a model element that references a Type, which constrains the values the element may represent.
UML
SimpleModeling adopts UML 2.5.1 TypedElement. Properties, Parameters, and similar elements are Typed Elements, and their Types constrain the values they can represent.
CML
CML attributes, operation parameters, results, and similar elements are treated as Typed Elements because they designate Types. CML elements are not identified one-to-one with UML metamodel elements.
Scala
During realization, a Typed Element’s model Type is mapped to the Type of a Scala field, parameter, result, or similar construct. This is a transformation, not identity between model and Scala Types.
simplemodeling-lib
In simplemodeling-lib , a Schema.Column has a ValueDomain , which combines a DataType , multiplicity, and constraints. This is one realization corresponding to a Typed Element, not its canonical definition.
Public Usage
Japanese articles and videos introduce this term as 型付き要素(typed element) and use it when explaining the UML relationship among Type, Classifier, and Class.
Boundary
-
A Typed Element is not a Type; it is the element whose values are constrained through a Type reference.
-
A model Typed Element and a Scala variable, parameter, or result are not identical concepts.