Logical Event is the modeling construct for the declarations of the value conditions that, when fulfilled, may trigger state transitions. If a logical event is externally visible (isExternVisible == true), it is disseminated through function ports.<br/><br/>Constraints:<br/>see Quantification.<br/><br/>Semantics:<br/>see Quantification.<br/>