The traversed part must be a Typed Part self.traversed part .isKindOf(Typed Part) The target part must be a Part of the Composite that owns the target part self.target part in self.traversed part ->partType ->composite part The default Succession must be one of the Successions connected to the Exclusive Split as a next succession The conditioning behavioral change part must be a Behavioral Change Part of the type of the conditionning behavioral step self.conditioning behavioral change part in self.conditionning behavioral step ->behavioral step type ->owned behavioral change part The predecessor behavioral change part must be one of the Behavioral ChanBehavioral Changes of the Behavioral Happening that is the type of the predecessor behavioral step self.predecessor behavioral change part in self.predecessor behavioral step ->behavioral step type ->owned behavioral change part The successor behavioral change part must be one of the Behavioral Changes of the Behavioral Happening that is the type of the successor behavioral step self.successor behavioral change part in self.successor behavioral step ->behavioral step type ->owned behavioral change part The target internal interaction must be one of the Simple Interactions of the Behavioral Happening that is the type of the source interactive part self.target internal interaction in self.source interactive part ->process type ->owned interaction role ->target simple interaction At least one of the Interactive Parts of a Message must be an Interaction Role A compensating activity cannot have next processing succession A Simple Activity is typed by a process that has no owned activity self.oclIsKindof(Simple Activity) implies self.process type ->owned activity ->isEmpty() A Sub-Process Activity is typed by a process that has owned activity self.oclIsKindOf(Activity) implies self.process type ->owned activity ->notEmpty() An enclosed activity of an Embedded Process must belong to the Process owning the Embedded Process