The graphical modeling domain provides for construction of Shlaer-Mellor models per the metamodel rules.
Insert domain chart here.