-
Giammarco, Kristin M authored
Update Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp, Operational_Process.mp, Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp, Example09_PipeFilter_TraceAnnotationQueries.mp, Example10_PublishSubscribe_EventReshuffling.mp, Example11_RingTopology_UserDefinedRelations.mp, Example12_CardiacArrestWorkflow_VirtualEvents.mp, Example13_ConsumersSuppliers_DependencyTracking.mp, Example14_ShoppingSpree_NumberAttributes.mp, Example15_BackpackWeight_IntervalAttributes.mp, Example18_RedGreen_BayesianProbabilityCalculationsType2.mp, Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp, Example21_DataFlow_LocalReport.mp files
Giammarco, Kristin M authoredUpdate Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp, Operational_Process.mp, Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp, Example09_PipeFilter_TraceAnnotationQueries.mp, Example10_PublishSubscribe_EventReshuffling.mp, Example11_RingTopology_UserDefinedRelations.mp, Example12_CardiacArrestWorkflow_VirtualEvents.mp, Example13_ConsumersSuppliers_DependencyTracking.mp, Example14_ShoppingSpree_NumberAttributes.mp, Example15_BackpackWeight_IntervalAttributes.mp, Example18_RedGreen_BayesianProbabilityCalculationsType2.mp, Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp, Example21_DataFlow_LocalReport.mp files
Example21_DataFlow_LocalReport.mp 782 B
/* Example 30. Local Report within a trace.
run for scope 1 and up.
*/
SCHEMA Data_flow
ROOT Writer: (* ( working | writing ) *);
ROOT File: (+ writing +) (* reading *);
Writer, File SHARE ALL writing;
ROOT Reader: (* ( reading | working ) *);
Reader, File SHARE ALL reading;
REPORT basic_statistics {
TITLE ("scope= " $$scope " trace " trace_id);};
/* Clear the contents after a trace derivation has been completed */
CLEAR basic_statistics;
/* fill the Report with data from the current event trace */
SAY("#writing= " #writing) => basic_statistics;
SAY("#reading= " #reading) => basic_statistics;
SAY("#working= " #working) => basic_statistics;
/* In order to make it visible together with the event trace, the SHOW command is needed */
SHOW basic_statistics;