Jede Funktion außer einer Funktion, die eine Prozessschnittstelle repräsentiert, muss genau eine Kante mit einem Servicetyp oder einem Organisationselement besitzen. Jede Funktion muss im Modell oder in einem Funktionszuordnungsdiagramm nur die folgenden Beziehungen besitzen:
Genau ein Servicetyp (OT_FUNC_CLUSTER) muss mit einer Kante vom Typ unterstützt (CT_CAN_SUPP_1) mit einer Funktion verbunden sein.
Genau eine Stelle (ST_POS) muss mit einer Kante vom Typ führt aus mit einer Funktion verbunden sein.
Genau eine Rolle (ST_EMPL_TYPE) muss mit einer Kante vom Typ führt aus (CT_EXEC_2) mit einer Funktion verbunden sein.
Genau eine Organisationseinheit (ST_ORG_UNIT_1 und ST_ORG_UNIT_2) muss mit einer Kante vom Typ führt aus (CT_EXEC_1) mit einer Funktion verbunden sein.
Genau ein Typ Organisationseinheit (ST_ORG_UNIT_TYPE_1 und ST_ORG_UNIT_TYPE_2) muss mit einer Kante vom Typ führt aus (CT_EXEC_2) mit einer Funktion verbunden sein.
Genau eine Gruppe (ST_GRP) muss mit einer Kante vom Typ führt aus mit einer Funktion verbunden sein.
Ist kein Servicetyp oder Organisationselement modelliert, führt dies bei der Prüfung des Modells mittels Semantikcheck zu einer Warnung. Ist mehr als ein Servicetyp oder Organisationselement modelliert, führt dies zu einer Fehlermeldung und das Modell kann nicht transformiert werden.