Skip to content
Snippets Groups Projects

Pamela's 2nd Merge Request

Closed Pamela's 2nd Merge Request
Pamela_Branch_2 into master
Closed Pamela Dyer requested to merge Pamela_Branch_2 into master
Viewing commit 2028b74e
Prev
Show latest version
10 files
+ 21
− 11
Compare changes
  • Side-by-side
  • Inline
Files
10
  • 2028b74e 
    Update Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04_StackBehavior_EnsureCondition.mp, Example04a_StackBehavior_UserDefinedRelations.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp files
Example01_SimpleMessageFlow_EventCoordination.mp
+ 2
− 1
@@ -8,7 +8,8 @@ a modified event trace, merging behaviors of Sender and Receiver
@@ -8,7 +8,8 @@ a modified event trace, merging behaviors of Sender and Receiver
and adding the PRECEDES relation for the selected send/receive pairs.
and adding the PRECEDES relation for the selected send/receive pairs.
The coordination operation behaves as a "cross-cutting" derivation rule.
The coordination operation behaves as a "cross-cutting" derivation rule.
Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim Lanes" option.
Instructions: Run for Scopes 1 and up. Viewing of traces also includes a
 
"Swim Lanes" option.
==========================================================*/
==========================================================*/