型付き要素

用語

型付き要素

用語(英)

Typed Element

別名

-

識別情報

  • 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

定義

型付き要素とは、型を参照し、その要素が表現できる値を参照先の型によって制約されるモデル要素です。

UML

UML 2.5.1のTypedElementを採用します。Property、Parameterなどは型付き要素であり、Typeはそれらが表現できる値を制約します。

CML

CMLの属性、操作の引数、結果などは、型を指定するという意味で型付き要素として扱います。CMLの要素とUMLメタモデル要素を一対一に同一視しません。

Scala

実現時には、型付き要素のモデル型をScalaのフィールド、引数、戻り値などの型へ対応付けます。この対応は変換であり、モデル型とScala型の同一性を意味しません。

simplemodeling-lib

simplemodeling-lib では、 Schema.Column が ValueDomain を持ち、 ValueDomain が DataType 、多重度、制約をまとめます。これは型付き要素に対応する実現例であり、型付き要素の正規定義そのものではありません。

公開成果物での用法

日本語の記事と動画では初出を「型付き要素(typed element)」とし、Type、Classifier、ClassのUML上の関係を説明する場合に用います。

境界

  • 型付き要素は型そのものではありません。型を参照して値を制約される側です。

  • モデル上の型付き要素とScalaの変数、引数、戻り値は同一概念ではありません。

関連語

  • 型

  • 分類子

  • クラス

  • 属性

  • 操作

参照

  • OMG Unified Modeling Language 2.5.1

  • /Users/asami/src/dev2025/simplemodeling-lib/src/main/scala/org/goldenport/schema/Schema.scala

  • /Users/asami/src/dev2025/simplemodeling-lib/src/main/scala/org/goldenport/schema/DataType.scala

  • docs/spec/glossary-entry-format.md