type-at-most-one-conjugator

Available in: KerML, SysML

This checks that types have at most one conjugation relationship.

This is impossible to trigger in Syside through textual syntax.

Specification

A Type must have at most one owned Conjugation Relationship.