Merge branch 'Pamela_Branch' into 'master'

Pamela's Merge Request: 07-08-2021

See merge request !17

Example01_SimpleMessageFlow_EventCoordination.mp

@@ -19,10 +19,10 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms: 
+Search terms: simple message flow, simple interaction pattern, event coordination
 
 Instructions: Run for Scopes 1 and up. Traces are generated
-in a sequence diagram-like formatby default.  Try rotating 
+in a sequence diagram-like format by default.  Try rotating 
 a selected trace 90 degrees counterclockwise, or (from the 
 Options menu above the diagram) selecting the "Swim Lanes"
 checkbox to view the trace in an activity diagram format.

Example01a_UnreliableMessageFlow_VirtualEvents.mp

@@ -11,13 +11,12 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: unreliable message flow, unreliable communication, event coordination, virtual event
 
 We may want to specify behaviors when some messages get lost in the transition. 
 It can be done using ‘virtual’ events.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim 
-Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example02_DataFlow_EventSharing.mp

@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
 (Version 4). 2020. Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: data flow, event sharing
 
 data items as behaviors
 
@@ -33,8 +33,7 @@ Event traces specified by the schema represent system’s emergent behavior,
 where behaviors of subsystems are influenced by the coordination.
 This is a toy example of System of Systems emerging behavior modeling.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a 
-"Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example03_ATMWithdrawal_BehaviorOfEnvironment.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: ATM withdrawal, behavior of environment, ATM system, data base
 
 Integrated system and environment behaviors
 	
@@ -35,7 +35,7 @@ like traces 2 or 3 for scope 1), and then collapsing root event, it becomes poss
 to view a traditional "box-and-arrow" architecture diagram, i.e. to visualize an architecture view.
 
 Instructions: Run for Scopes 1 and up. "Sequence" mode yields views very similar to the UML or SysML 
-Sequence Diagrams. Viewing of traces also includes a "Swim Lanes" option.
+Sequence Diagrams.
 
 ==========================================================*/
 

Example04_StackBehavior_EnsureCondition.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: stack behavior, ensure condition
 
 	The event trace is a set of events and the Boolean expressions
 in MP can embrace the traditional predicate calculus notation. A set
@@ -40,8 +40,7 @@ and demonstrates an example of combining imperative (event grammar)
 and declarative (Boolean expressions) constructs for behavior
 specification.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also 
-includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example04a_StackBehavior_UserDefinedRelations.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: stack behavior, pop/push relationship, user defined relation, isomorphic behavior
 
 The event trace is a set of events and the Boolean expression constructs in MP 
 can support the traditional first order predicate calculus notation. 
@@ -38,8 +38,7 @@ as yet another kind of behavior composition, and demonstrates an
 example of combining imperative (event grammar) and declarative 
 (Boolean expressions) constructs for behavior specification.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a 
-"Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example04b_QueueBehavior_UserDefinedRelations.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: queue behavior, user defined relation, isomorphic behavior
 
 This rule specifies the behavior of a queue in terms of queue operations 
 enqueue and dequeue. It is assumed that initially Queue is empty. 
@@ -30,8 +30,7 @@ as yet another kind of behavior composition, and demonstrates an
 example of combining imperative (event grammar) and declarative 
 (Boolean expressions) constructs for behavior specification.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim 
-Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example05_CarRace_NestedComposition.mp

@@ -11,7 +11,7 @@ Modeling Language Manual" (Version 4). 2020. Available
 online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: car race, event sharing, nested composition
 
 more coordination patterns:
 -	ordering of selected events in concurrent threads
@@ -19,8 +19,7 @@ more coordination patterns:
 	
 -	one-many coordination.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also 
-includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example06_UnreliableChannel_AssertionChecking.mp

@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
 (Version 4). 2020. Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: unreliable channel, communicating, assertion checking
 
 	Assertion checking, Communicating via unreliable channel.
 
@@ -33,8 +33,7 @@ Search terms:
     if the property should always hold, it makes sense to convert it 
     into the ENSURE condition.
 
-	Instructions: Run for Scopes 1 and up. Viewing of traces also 
-	includes a "Swim Lanes" option.
+	Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example07_UnconstrainedStack_TraceAnnotation.mp

@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
 (Version 4). 2020. Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: unconstrained stack, testing/debugging, trace annotation, empty stack
 
 Trace annotation techniques 
 
@@ -30,8 +30,7 @@ might  violate certain property, and how to annotate these particular
 events in the trace with additional messages. Programmers will recognize 
 the use of debugging print statements for traditional program testing/debugging.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a 
-"Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: employee, employer, business process, coordination across hierarchy levels
 
 The web site http://www.infoq.com/articles/bpelbpm 
 “Why BPEL is not the holy grail for BPM “ 

Example09_PipeFilter_TraceAnnotationQueries.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: pipe filter, architecture model, trace annotation queries
 
     pipe/filter architecture model with 2 filters
 
@@ -21,9 +21,8 @@ Search terms:
         3) received message can stay in the Filter for while, 
         	before being sent (if at all).
 
-Instructions: Run for Scopes 1, 2, 3, and 4. Viewing of traces 
-also includes a "Swim Lanes" option.
-	                                Scope     4: 959 traces in approx. 6.1 sec.
+Instructions: Run for Scopes 1, 2, 3, and 4.
+    Scope 4: 959 traces in approx. 6.1 sec.
 
 ==========================================================*/
 

Example10_PublishSubscribe_EventReshuffling.mp

@@ -11,15 +11,13 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: publish, subscribe, architecture model, event reshuffling
 
 	Publisher sends a notification to all active Subscribers 
     when new information is available.
 
-Instructions: Run for Scopes 1, 2, and 3. Viewing of traces 
-also includes a "Swim Lanes" option.
-
-Scope  3: 3813 traces in approx. 7.4 min.
+Instructions: Run for Scopes 1, 2, and 3.
+	Scope 3: 3813 traces in approx. 7.4 min.
 
 ==========================================================*/
 

Example11_RingTopology_UserDefinedRelations.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: ring topology, event reshuffling, user defined relation
 
     ring topology
     an example of user-defined relation use
@@ -19,10 +19,8 @@ Search terms:
     The following is a model of network ring, 
     where each node interacts with its left and right neighbors only.
 
-Instructions: Run for Scopes 1, 2, and 3. Viewing of traces also includes 
-a "Swim Lanes" option.
-									
-Scope  3: 1570 traces in approx. 31 sec.
+Instructions: Run for Scopes 1, 2, and 3.								
+    Scope 3: 1570 traces in approx. 31 sec.
     
 ==========================================================*/
 

Example12_CardiacArrestWorkflow_VirtualEvents.mp

@@ -11,7 +11,7 @@ Software Architecture and Workflow Modeling Language
 Manual" (Version 4). 2020. Available online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: cardiac arrest, workflow patterns, virtual event, triage task
 
 the web site
 http://workflowpatterns.com/patterns/control/index.php
@@ -25,8 +25,7 @@ run in parallel. Once the first of these has completed, the triage task
 is commenced. Completion of the other task is ignored and does not result 
 in a second instance of the triage task.
 
-Instructions: Run for Scope 1. Viewing of traces also includes a "Swim 
-Lanes" option.
+Instructions: Run for Scope 1.
 
 ==========================================================*/
 

Example13_ConsumersSuppliers_DependencyTracking.mp

@@ -12,17 +12,15 @@ Modeling Language Manual" (Version 4). 2020. Available
 online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: consumer, supplier, dependency tracking, asynchronous coordination
 
 Asynchronous coordination and dependency definition example.
 
 user-defined relation related_to connects events within each 
 single Request_delivery -> Consume chain
 
-Instructions: Run for Scopes 1 and 2. Viewing of traces also 
-includes a "Swim Lanes" option.
-
-Scope 2: 110 traces in approx. 38 sec.
+Instructions: Run for Scopes 1 and 2.
+	Scope 2: 110 traces in approx. 38 sec.
 
 ==========================================================*/
 

Example14_ShoppingSpree_NumberAttributes.mp

@@ -11,10 +11,9 @@ Modeling Language Manual" (Version 4). 2020. Available
 online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: shopping spree, number attribute
 
-Instructions: Run for Scopes 1 and up. Viewing of traces 
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example15_BackpackWeight_IntervalAttributes.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation
 
-Search terms:
+Search terms: backpack weight, interval attribute
 
     Use of interval attributes.
     
@@ -19,8 +19,7 @@ Search terms:
     the total weight of 30 units. 
     There may be several instances of the same item.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces 
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example16_StackBehavior_ProbabilityCalculationsType1.mp

@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: stack behavior, type 1 probability
 
 	Here is a simple stack behavior model. Valid behaviors don’t permit
 a scenario when Pop operation is applied to the empty stack. For the
@@ -26,8 +26,7 @@ impossible in a real stack, so they are cut from the model.
 
 By removing some scenarios, the remaining probabilities change.
 
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes 
-a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
 
 ==========================================================*/
 

Example17_SharedEvents_ProbabilityCalculationsType1.mp

@@ -11,15 +11,14 @@ Workflow Modeling Language Manual" (Version 4). 2020.
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
-Search terms:
+Search terms: shared events, type 1 probability
 
 	A simple example of shared events. If one root has a, the other root
 also has a. If neither root has a, then root 1 must have b, and root 2
 must have c. Additionally, probabilities show how "SHARE ALL" increases
 the chances of the shared event.
 
-Instructions: Run for Scope 1. Viewing of traces also 
-includes a "Swim Lanes" option.
+Instructions: Run for Scope 1.
 
 ==========================================================*/