SITME is limited in terms of handling changing situations that violate the requirements and situational conditions of a Situational Scope: If situations disappear, which are mandatory for executing the Situational Scope, i.e., Situation Events having set the Situation Violation-attribute to Abort, the main workflow gets aborted and the execution stops.