EventChain : public class
Created: 2011-06-22 10:53:23
Modified: 2012-06-29 13:25:22
Project:
Advanced:
<p>An EventChain is a container for a pair of events that must be causally related.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior is consistent with respect to an event chain ec if and only if<br/></p><p>for each occurrence x in ec.stimulus,<br/></p><p> for each occurrence y in ec.response,<br/></p><p> if x.color = y.color then x < y<br/></p>
Element Source Role Target Role Details
Event
Class  
Name:  
 
Name: stimulus
The event that stimulates the steps to be taken to respond to this event.
 
Event
Class  
Name:  
 
Name: response
The event that is a response to a stimulus that occurred before.
 
Element Source Role Target Role Details
InputSynchronizationConstraint
Class  
Name:  
 
Name: scope
 
 
OutputSynchronizationConstraint
Class  
Name:  
 
Name: scope
 
 
ReactionConstraint
Class  
Name:  
 
Name: scope
 
 
AgeConstraint
Class  
Name:  
 
Name: scope
 
 
Object Type Connection Notes
TimingDescription Class Generalization