element-is-implied-included

Available in: KerML, SysML

This checks that an incomplete element has no implied relationships.

This will never be triggered by Syside itself as all elements will be resolved automatically. The only exception to this are programmatic and external, non-textual, models.

Specification

If an Element has any owned_relationships for which is_implied = true, then the Element must also have is_implied_included = true. (Note that an Element can have is_implied = true even if no owned_relationships have is_implied = true, indicating the Element simply has no implied Relationships.)