Explication of Termination Semantics as a Security-Relevant Feature in Business Process