User Type - modelint/types GitHub Wiki

When we model a domain, we want to use types that are constrained and specific to some real world property.

Take the example of an Aircraft tail number. All legal tail numbers are a subset of all possible string values.

If we use the Base Type String to describe a tail number, our model would be missing an important requirement.

We would instead like to constrain the Base Type to define a more accurate Tail Number type.

We can do this by defining Component in our Tail Number type that constrains the String Base Type with a regular expression permitting only legal tail number values.

Identifiers

1. Name

Attributes

Category

Type: General_Domain -> Symbolic( general, domain )