Event : public abstract class
Created: 2011-06-22 10:53:13
Modified: 2012-07-10 18:24:01
Project:
Advanced:
<p>The Event class stands for all the forms of identifiable state changes that are possible to constrain with respect to timing using TADL2.<br/></p><p><br/></p><p>Semantics:<br/></p><p>An event denotes a distinct form of state change in a running system, taking place at distinct points in time called occurrence of the event. That is, a running system can be observed by identifying certain forms of state changes to watch for, and for each such observation point, noting the times when changes occur. This notion of observation also applies to a hypothetical predicted run of a system or a system model - from a timing perspective, the only information that needs to be in the output of such a prediction is a sequence of times for each observation point, indicating the times that each event is predicted to occur.<br/></p><p><br/></p><p>In system models, events appear syntactically as names indicating the state changes of interest. Semantically, an event name is a variable standing for some statically unknown set of occurrences. Note that this connection is purely conceptual; occurrences never exist concretely in any system model as they are a purely semantic notion representing the state changes that can be observed when a system is executed, or simulated, or perhaps only mathematically predicted.<br/></p><p><br/></p><p>TADL2 assumes that occurrences are characterized by two pieces of information: a timestamp indicating when the corresponding state change occurred, and a color that partitions different event occurrences into groups that should be understood as being causally related. The timestamp is a real value of SI unit seconds, whereas the color value is drawn from some abstract, possibly infinite type whose only restriction is that must support an equality test on its values.<br/></p>
Element Source Role Target Role Details
StrongSynchronizationConstraint
Class  
Name:  
 
Name: event
 
 
OrderConstraint
Class  
Name:  
 
Name: target
 
 
OrderConstraint
Class  
Name:  
 
Name: source
 
 
EventChain
Class  
Name:  
 
Name: stimulus
The event that stimulates the steps to be taken to respond to this event.
 
EventChain
Class  
Name:  
 
Name: response
The event that is a response to a stimulus that occurred before.
 
RepetitionConstraint
Class  
Name:  
 
Name: event
 
 
DelayConstraint
Class  
Name:  
 
Name: source
 
 
DelayConstraint
Class  
Name:  
 
Name: target
 
 
SynchronizationConstraint
Class  
Name:  
 
Name: event
 
 
SporadicConstraint
Class  
Name:  
 
Name: event
 
 
PatternConstraint
Class  
Name:  
 
Name: event
 
 
PeriodicConstraint
Class  
Name:  
 
Name: event
 
 
ArbitraryConstraint
Class  
Name:  
 
Name: event
 
 
BurstConstraint
Class  
Name:  
 
Name: event
 
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: stop
 
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: preemption
 
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: resume
 
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: start
 
 
StrongDelayConstraint
Class  
Name:  
 
Name: source
 
 
StrongDelayConstraint
Class  
Name:  
 
Name: target
 
 
Object Type Connection Notes
ModeEvent Class Generalization  
EASTADLEvent Class Generalization  
AUTOSAREvent Class Generalization  
ExternalEvent Class Generalization  
TimingDescription Class Generalization