Timing::EventChain

Header Image

EAST-ADL / Timing / EventChain

Content:
EventChain : Public Class TimingElementsOrganization, ComputationConstraint, EventChainTimingConstraints
An EventChain is a container for a pair of events that must be causally related. EventChains may also be refined by adding an ordered set of segments, which fully or partially covers a path between the parent EventChain’s stimuli and response.<br/><br/>Semantics:<br/>A system behavior is consistent with respect to an event chain ec if and only if<br/>(The color property below is fictitious and used to express that the event carries causally related information)<br/><br/>The ordered sequence of segments is causally ordered, i.e.<br/><br/>for each occurrence x in ec.stimulus,<br/>      for each occurrence y in ec.segment[1].stimulus,<br/>            if x.color = y.color then x #lt;= y<br/>for each occurrence x in ec.response,<br/>      for each occurrence y in ec.segment[n].response,<br/>            if x.color = y.color then x #gt;= y<br/>for each occurrence x in ec.segment[i].response,<br/>      for each occurrence y in ec.segment[i+1].stimuli,<br/>            if x.color = y.color then x #gt;= y<br/>
  • Associations
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
Event
Class   		Name:  
  		Name: stimulus
The event that stimulates the steps to be taken to respond to this event.
Details:
 
Event
Class   		Name:  
  		Name: response
The event that is a response to a stimulus that occurred before.
Details:
 
EventChain
Class   		Name:  
  		Name: segment
Referred EventChains in sequence refine this EventChain.
Details:
 
Element Source Role Target Role
NonPreemptiveConstraint
Class   		Name:  
  		Name: eventChain
 
Details:
 
LogicalPath
Class   		Name:  
  		Name: succeedingExecutionEventChain
The succeeding execution event chains.
Details:
 
ReactionConstraint
Class   		Name:  
  		Name: scope
 
Details:
 
AgeConstraint
Class   		Name:  
  		Name: scope
 
Details:
 
EventChain
Class   		Name:  
  		Name: segment
Referred EventChains in sequence refine this EventChain.
Details:
 
LogicalPath
Class   		Name:  
  		Name: correspondingExecutionEventChain
The corresponding execution event chains.
Details:
 
OutputSynchronizationConstraint
Class   		Name:  
  		Name: scope
 
Details:
 
LogicalPath
Class   		Name:  
  		Name: precedingExecutionEventChain
The preceding execution event chains.
Details:
 
PrecedenceConstraint
Class   		Name:  
  		Name: eventChain
 
Details:
 
InputSynchronizationConstraint
Class   		Name:  
  		Name: scope
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
TimingDescription Class Generalization To