diff --git a/Application_examples/Authentication.mp b/Application_examples/Authentication.mp
index 275b59a8224826db5277d051d43b404b175a006b..536f69f0b8ed8153be4d14111f0df0659b38972e 100644
--- a/Application_examples/Authentication.mp
+++ b/Application_examples/Authentication.mp
@@ -17,7 +17,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1, 2, and 3.
==========================================================*/
diff --git a/Application_examples/Autonomous_Car.mp b/Application_examples/Autonomous_Car.mp
index 05984df4616f48f67bcdd77a604539e964b1c879..4785f61a5197de2a19a8b26b0c7914d0dc4f7607 100644
--- a/Application_examples/Autonomous_Car.mp
+++ b/Application_examples/Autonomous_Car.mp
@@ -12,7 +12,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Application_examples/Beginner_Use_of_MP.mp b/Application_examples/Beginner_Use_of_MP.mp
index 6cd3631130538bf7ee38d5fadfee5fb1f011f717..af7a3cf31e597fbe018f0fa3c54f9d0399ffd9ed 100644
--- a/Application_examples/Beginner_Use_of_MP.mp
+++ b/Application_examples/Beginner_Use_of_MP.mp
@@ -20,18 +20,15 @@ ROOT A: B C; A is a root event that includes events B followed by C
(* B *) iterate B zero or more times
{ B , C } B and C are unordered
-Experiment with this model by running it at scopes 1, 2, 3, 4 and 5.
-You may also make changes to this model and run it with your changes.
-Save your model using the EXPORT button ("Code" exports a .mp text file
-of the contents of the text editor, and "Code and Event Trace" exports
-the contents of the text editor plus the graphs and any changes you made
-to the graph element positions.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up. You may also make changes to this model and run it with your changes.
+Save your model using the EXPORT button ("Code" exports a .mp text file
+of the contents of the text editor, and "Code and Event Trace" exports
+the contents of the text editor plus the graphs and any changes you made
+to the graph element positions.
==========================================================*/
diff --git a/Application_examples/CargoScreening.mp b/Application_examples/CargoScreening.mp
index 5d18b3a67599b5c720fc47985a4a439a633f8692..9bbfd1bc1b17a3bb88cd35c1e42561b9c9443ea1 100644
--- a/Application_examples/CargoScreening.mp
+++ b/Application_examples/CargoScreening.mp
@@ -28,7 +28,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Application_examples/Commercial_Flight b/Application_examples/Commercial_Flight
index b609d0de24bfe17e4dc19c6a54c3b2083e446ccb..dabc877b68f7b17a8a8b088742d379acd6f0ac90 100644
--- a/Application_examples/Commercial_Flight
+++ b/Application_examples/Commercial_Flight
@@ -15,7 +15,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Application_examples/Cycle_Pattern.mp b/Application_examples/Cycle_Pattern.mp
index aaa8d596c91823f85e0315957c39814bb2c97ebe..260d0fbb02ac9ff4853d0ad79a49a45b3a3b1083 100644
--- a/Application_examples/Cycle_Pattern.mp
+++ b/Application_examples/Cycle_Pattern.mp
@@ -18,16 +18,13 @@ and "under", "increase" and "decrease", etc., or
discinyms (discipline-specific synonyms) as they
may appear in the preferred domain taxonomy.
-Run the model for scopes 2, and 3 and inspect
-the different possible patterns for Cycle.
-Running at scope 1 will generate zero traces because
-of the ENSURE constraint on line 29.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1. This will generate zero traces because
+of the ENSURE constraint on line 29. Then run for Scopes 2 and 3.
+ Scope 3: 2952 traces in approx. 2.9 sec.
==========================================================*/
diff --git a/Application_examples/Dining_Philosophers.mp b/Application_examples/Dining_Philosophers.mp
index c467e09c694067ae8707c7cf38b2045eebaf2992..f1f2401863abb5f99b4cc11ffdb8844e68217905 100644
--- a/Application_examples/Dining_Philosophers.mp
+++ b/Application_examples/Dining_Philosophers.mp
@@ -30,17 +30,13 @@ behaviors, but does not provide implementation details.
Since MP supports automated use case extraction, this model may be used
as a source of test cases for testing the implementation.
-scope 1 yields zero traces, because Philosopher cannot eat with a single fork.
-scope 2 yields 2 traces in approx. 0.01 sec.
-scope 3 yields 6 traces in approx. 0.05 sec.
-scope 4 yields 14 traces in approx. 0.44 sec.
-scope 5 yields 30 traces in approx. 1.6 sec.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1. This will generate zero traces because
+a philosopher cannot eat with a single fork. Then run for Scopes 2 and up.
+ Scope 5: 30 traces in approx. 1.4 sec.
==========================================================*/
diff --git a/Application_examples/Elevator.mp b/Application_examples/Elevator.mp
index 6f85993589c4dfe6618a301f67e522a4b74fe2a5..ee910d841c05fd3ac9a723e95a47cbd061e91a73 100644
--- a/Application_examples/Elevator.mp
+++ b/Application_examples/Elevator.mp
@@ -23,7 +23,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Application_examples/FindAdvisor.mp b/Application_examples/FindAdvisor.mp
index b8d184d544992cf0599a872e97c66fffcadb41b0..02738aaf90490165850e6ccb7dd10039eb864925 100644
--- a/Application_examples/FindAdvisor.mp
+++ b/Application_examples/FindAdvisor.mp
@@ -18,17 +18,13 @@ Because the same modeling approach can be used for human systems and technologic
it becomes possible to have integrated behavior models containing both humans and
technology to study the possible interactions among them.
-Run for scope 1 (there is no iteration in this example, so increaasing the scope will not
-produce more scenarios).
-
-The "Sequence" or "Swim Lanes" layouts are the most appropriate for browsing traces here.
-The "Sequence" mode yields views very similar to the UML or SysML Sequence Diagrams.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1 (there is no iteration in this example, so increasing the scope will not
+produce more scenarios). "Sequence" mode yields views very similar to the UML or SysML
+Sequence Diagrams.
==========================================================*/
diff --git a/Application_examples/First_Responder.mp b/Application_examples/First_Responder.mp
index 53a2fbb62539c0933b17b1b945dfd51ce828df8e..3f24809658ac6da517c345f5d3b9f28b31a93b7f 100644
--- a/Application_examples/First_Responder.mp
+++ b/Application_examples/First_Responder.mp
@@ -10,16 +10,14 @@ Bystander.
Create by J. Bryant, May 2016
-The model was developed to compare response times, but unexpected
-scenarios emerged that was previously not considered. Trace 6 and others
-show a double administration of Narcan by both the bystander and the first
-responder.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1. The model was developed to compare response times, but unexpected
+scenarios emerged that were previously not considered. Trace 6 and others
+show a double administration of Narcan by both the bystander and the first
+responder.
==========================================================*/
diff --git a/Application_examples/Knapsack_Weight_Limit.mp b/Application_examples/Knapsack_Weight_Limit.mp
index 9c09b79c969200e3887094f60fb8a32ad1f76871..27f87db54dad81e3cc566719c6e95436df2d564a 100644
--- a/Application_examples/Knapsack_Weight_Limit.mp
+++ b/Application_examples/Knapsack_Weight_Limit.mp
@@ -16,14 +16,12 @@ Example 38 Knapsack
for all optimal solutions within the given scope
(certainly not the optimal performance, but is acceptable for relatively
small N,in particular, it stabilizes at scope 4).
-
- Run for scope 1 and up to 5
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Application_examples/MP_Architecture_Specification.mp b/Application_examples/MP_Architecture_Specification.mp
index 8f68fed3e7ae8609d3b636096cf43741e494f232..397c86d75b326776d5ef76f50c4e35c34890e65d 100644
--- a/Application_examples/MP_Architecture_Specification.mp
+++ b/Application_examples/MP_Architecture_Specification.mp
@@ -5,15 +5,14 @@ Purpose:
Description:
Example 28
- MP compiler/trace generator architecture model
-
- run for scope 1 or more
+ MP compiler/trace generator architecture model
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and 2.
+ Scope 2: 272 traces in approx. 26 sec.
==========================================================*/
diff --git a/Application_examples/Manufacturing_Process.mp b/Application_examples/Manufacturing_Process.mp
index 83a252cb58b88360ca422e1d21e8bb376c5cfacd..428030e7c1f2133484f634dd2a970278de56b3af 100644
--- a/Application_examples/Manufacturing_Process.mp
+++ b/Application_examples/Manufacturing_Process.mp
@@ -15,7 +15,8 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
+ Scope 1: 8 traces in approx. 1.4 min.
==========================================================*/
diff --git a/Application_examples/Martian_Lander.mp b/Application_examples/Martian_Lander.mp
index 8ead385cd2639e4624b7ffa839217b85165cb390..1a73e509b26404485a03858087e5d06b1b0f196a 100644
--- a/Application_examples/Martian_Lander.mp
+++ b/Application_examples/Martian_Lander.mp
@@ -57,13 +57,13 @@ IALT 20
CKDT 10
RRM 10
- run for scope 1 and up.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up.
+ Scope 4: 96 traces in approx. 1.2 sec.
+ Scope 5: 170 traces in approx. 2.8 sec.
==========================================================*/
diff --git a/Application_examples/Prisoners_Dilemma.mp b/Application_examples/Prisoners_Dilemma.mp
index ee66e9f3e515c57753d3c49a9ccde130ae570428..8e8d904ceca80333cad0d1d8854fcf4b29cc613c 100644
--- a/Application_examples/Prisoners_Dilemma.mp
+++ b/Application_examples/Prisoners_Dilemma.mp
@@ -64,7 +64,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Application_examples/Railroad_Crossing_Safety.mp b/Application_examples/Railroad_Crossing_Safety.mp
index 0433f8a9c22d3ef3c0fade4663b6749390cad574..a42b71496aae5835394c786fd4d55429e1647aa9 100644
--- a/Application_examples/Railroad_Crossing_Safety.mp
+++ b/Application_examples/Railroad_Crossing_Safety.mp
@@ -17,7 +17,7 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Application_examples/Replay_Attack.mp b/Application_examples/Replay_Attack.mp
index 35f1450f850eeff9c2cb5dd9058a2be25779e597..96e94ce16b6d785217bd1576637a4897f75f4ddb 100644
--- a/Application_examples/Replay_Attack.mp
+++ b/Application_examples/Replay_Attack.mp
@@ -8,13 +8,11 @@ Example 41. The description of Replay Attack
is available at
https://en.wikipedia.org/wiki/Replay_attack
- run scope up to 5
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Application_examples/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp
index ef3fb30bb9e0b620630b58f4c262cace6fe484cd..e970500903d6d60d1ce19239b8010d064c8578a9 100644
--- a/Application_examples/Small_Package_Delivery.mp
+++ b/Application_examples/Small_Package_Delivery.mp
@@ -28,10 +28,6 @@ raining? Hailing?"
Non-combatant Scenario 1 authored by N. Roberts (Engility)
MP model authored by K. Giammarco (NPS) and D. Shifflett (NPS)
-This model shows only two scenarios due to overloading constraints
-(constraints that suppress entire branches of execution that a user
-intended to permit).
-
Removing everything except the SCHEMA definition and the Air_Vehicle
root (line 36 and lines 114-128) and running that model subset, one can
see 6 event traces, one of which is unexpected: the Air_Vehicle drops
@@ -41,7 +37,9 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1. This model shows only two scenarios due to overloading constraints
+(constraints that suppress entire branches of execution that a user
+intended to permit).
==========================================================*/
diff --git a/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp b/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
index 6e599101a8b9f82c7778064d45abcc33147d6076..78eceae6961a054182eba76cb0254a139953b3ed 100644
--- a/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
+++ b/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
@@ -17,7 +17,8 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1.
+ Scope 1: 6 traces in approx. 1.4 sec.
==========================================================*/
diff --git a/Application_examples/Spiral_Software_Process b/Application_examples/Spiral_Software_Process
index dd1bb9f323b3afd7092645f7a2429284dcc74149..04bea3372dff5042a5296bd387815f333e2d17ea 100644
--- a/Application_examples/Spiral_Software_Process
+++ b/Application_examples/Spiral_Software_Process
@@ -11,13 +11,14 @@ Example 16, model of the spiral software process
are constrained to produce designs which are copies of the
communication structures of these organizations."
- run scope up to 5
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up.
+ Scope 3: 15 traces in approx. 1.6 sec.
+ Scope 4: 31 traces in approx. 10 sec.
+ Scope 5: 63 traces in approx. 1.0 min.
==========================================================*/
diff --git a/Application_examples/Turtles_in_the_Desert.mp b/Application_examples/Turtles_in_the_Desert.mp
index d8152e7c80f8fdee596a7fcaba1fa7ed2282ff14..e2505f45cee9131d278e70e4c6b0c2e2a9990d40 100644
--- a/Application_examples/Turtles_in_the_Desert.mp
+++ b/Application_examples/Turtles_in_the_Desert.mp
@@ -25,16 +25,12 @@ Don't try to construct a non-Euclidean geometry to
or all three of them. It becomes too complicated...."
Now it is time to use MP to obtain all possible scenarios for that story.
-
- Here it is. Run for scope 1.
- There are 13 possible scenarios, and none when all three
- are telling the truth.
References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1. There are 13 possible scenarios, and none when all three are telling the truth.
==========================================================*/
diff --git a/Application_examples/Unmanned_Spacecraft_Comms.mp b/Application_examples/Unmanned_Spacecraft_Comms.mp
index 82332ac90ce60f7c83f82b2472b02c0c2e0b9f0f..04283d4036c4d9d1d23039b66995f14c89e256c6 100644
--- a/Application_examples/Unmanned_Spacecraft_Comms.mp
+++ b/Application_examples/Unmanned_Spacecraft_Comms.mp
@@ -13,13 +13,13 @@ through a frame counter called the "Heartbeat". This model represents
the behavior of the Heartbeat while a Spacecraft is approaching
the ISS.
-Run for scope 1 and up.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1, 2, 3, and 4.
+ Scope 3: 84 traces in approx. 3.0 sec.
+ Scope 4: 340 traces in approx. 1.2 min.
==========================================================*/
diff --git a/Application_examples/Web_Browser_Formal_Security.mp b/Application_examples/Web_Browser_Formal_Security.mp
index c64a6b35009af295940bdb7095e996701a004811..c2a16aee6b81ee908ae420268300742b311b0e9d 100644
--- a/Application_examples/Web_Browser_Formal_Security.mp
+++ b/Application_examples/Web_Browser_Formal_Security.mp
@@ -33,10 +33,6 @@ form the “backbone†of the model" (page 292)
This has motivated to design the MP behavior model of the web activities
in order to model the vulnerabilities explained in the papers above.
-
- run for scope 1: 3 traces, no counterexamples for Property1, in less than 0.001 sec.
- run for scope 2: 7 traces, 1 counterexample for Property1, in 0.13 sec.
- run for scope 3: 52 traces, 16 counterexamples for Property1, in 15 sec.
This example borrowed from Daniel Jackson's paper demonstrates
how MP can check whether Client's web query may
@@ -46,7 +42,8 @@ References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1, 2, and 3.
+ Scope 3: 52 traces (including 16 counterexamples for Property1) in approx. 20 sec.
==========================================================*/
diff --git a/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors b/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
index 9549df3c08d77227573bd6c88fc44c9967a0d06c..645af89b2dbc86ab48ae40586cfc13c852711014 100644
--- a/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
+++ b/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors
@@ -23,18 +23,14 @@ A System of Systems (SoS) analysis might expand the "SAR Asset" actor into disti
participating in or potentially participating in the scenario to study emergent behaviors of
those interacting systems in a SoS construct.
-Run for scope 1 (there is no iteration in this example, so increaasing the scope will not
-produce more scenarios). Only one scenario is produced because no decision points have been
-added to this model yet.
-
-The "Sequence" or "Swim Lanes" layouts are the most appropriate for browsing traces here.
-The "Sequence" mode yields views very similar to the UML or SysML Sequence Diagrams.
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scope 1 (there is no iteration in this example, so increasing the scope will not
+produce more scenarios). Only one scenario is produced because no decision points have been
+added to this model yet. "Sequence" mode yields views very similar to the UML or SysML
+Sequence Diagrams.
==========================================================*/
diff --git a/Application_examples/Work_Productivity.mp b/Application_examples/Work_Productivity.mp
index c7db03e200b91534f40ad7d2fb329bc10779d11d..590778bb11880a69afdca9c8379f69a664ee881d 100644
--- a/Application_examples/Work_Productivity.mp
+++ b/Application_examples/Work_Productivity.mp
@@ -10,13 +10,13 @@ Example 26, timing attribute use
events present in the trace
with timing attributes
- run for scopes 1 and up
-
References:
Search terms:
-Instructions:
+Instructions: Run for Scopes 1 and up.
+ Scope 4: 780 traces in approx. 1.5 sec.
+ Scope 5: 9330 traces in approx. 1.0 min.
==========================================================*/
diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/Example01_SimpleMessageFlow_EventCoordination.mp
index 6120cf7827d00a1db3d489f03ad4c4df376500f9..a044224897df1033cb2281e0c9d7be5838d3df96 100644
--- a/Example01_SimpleMessageFlow_EventCoordination.mp
+++ b/Example01_SimpleMessageFlow_EventCoordination.mp
@@ -19,7 +19,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: simple message flow, simple interaction pattern, event coordination
+Search terms: simple message flow; simple interaction pattern; coordination, event
Instructions: Run for Scopes 1 and up. Traces are generated
in a sequence diagram-like format by default. Try rotating
diff --git a/Example01a_UnreliableMessageFlow_VirtualEvents.mp b/Example01a_UnreliableMessageFlow_VirtualEvents.mp
index 62db1d7d919b137c6edd0aa8c4ce13fcb906b2db..88406af18f4b316f04a9a5858cdffedbbf49bd71 100644
--- a/Example01a_UnreliableMessageFlow_VirtualEvents.mp
+++ b/Example01a_UnreliableMessageFlow_VirtualEvents.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: unreliable message flow, unreliable communication, event coordination, virtual event
+Search terms: unreliable message flow; unreliable communication; coordination, event; virtual event
We may want to specify behaviors when some messages get lost in the transition.
It can be done using ‘virtual’ events.
diff --git a/Example02_DataFlow_EventSharing.mp b/Example02_DataFlow_EventSharing.mp
index 9b7862f6ffad5906a186e4bfbcd0e38a1acbd182..99a97cb093be52cd545c1b3db167b87d12e585ee 100644
--- a/Example02_DataFlow_EventSharing.mp
+++ b/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: data flow, event sharing
+Search terms: data flow behavior; event sharing
data items as behaviors
diff --git a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
index e19a9b8e2ca8da5d95612ab6557469ee71d3edcf..4314930fcf6ca48f46b4e70a08eb7a75dd4c9d21 100644
--- a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
+++ b/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: ATM withdrawal, behavior of environment, ATM system, data base
+Search terms: ATM withdrawal; behavior of environment; ATM system; database
Integrated system and environment behaviors
diff --git a/Example04_StackBehavior_EnsureCondition.mp b/Example04_StackBehavior_EnsureCondition.mp
index 6b8002566e52186a86b5b9b2b21011da871c8012..957edb13c539cefbebee18ae7c04c7a95fe9d667 100644
--- a/Example04_StackBehavior_EnsureCondition.mp
+++ b/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: stack behavior, ensure condition
+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
diff --git a/Example04a_StackBehavior_UserDefinedRelations.mp b/Example04a_StackBehavior_UserDefinedRelations.mp
index bc4f203bd1d58553692e5f7dd02742439e725e80..184bc96dd1da245dc18ae84a5380965ac9fa1a55 100644
--- a/Example04a_StackBehavior_UserDefinedRelations.mp
+++ b/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: stack behavior, pop/push relationship, user defined relation, isomorphic behavior
+Search terms: stack behavior; user-defined relation; isomorphism
The event trace is a set of events and the Boolean expression constructs in MP
can support the traditional first order predicate calculus notation.
diff --git a/Example04b_QueueBehavior_UserDefinedRelations.mp b/Example04b_QueueBehavior_UserDefinedRelations.mp
index f6f4e4cb9df6f49a4b8c00ce6b7b8f869adcffe8..0978515918e652e986bbdc339ac7f4acd6c67446 100644
--- a/Example04b_QueueBehavior_UserDefinedRelations.mp
+++ b/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: queue behavior, user defined relation, isomorphic behavior
+Search terms: queue behavior; user-defined relation; isomorphism
This rule specifies the behavior of a queue in terms of queue operations
enqueue and dequeue. It is assumed that initially Queue is empty.
diff --git a/Example05_CarRace_NestedComposition.mp b/Example05_CarRace_NestedComposition.mp
index 16ba248170d8ee06b7c661cc544da9e874a85203..e560240a57e5e6fddb67a1fb0b2fe392cce311df 100644
--- a/Example05_CarRace_NestedComposition.mp
+++ b/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: car race, event sharing, nested composition
+Search terms: car race behavior; event sharing; coordination, one-to-many; nested composition; SAY statement; BUILD block; predicate logic; trace annotation
more coordination patterns:
- ordering of selected events in concurrent threads
diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp
index 1c0e312ce22c2a08ad4c56a819e3cfec6ace3b3c..0025352f8d0e8203ad8579f60810f9fbfd85d15b 100644
--- a/Example06_UnreliableChannel_AssertionChecking.mp
+++ b/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: unreliable channel, communicating, assertion checking
+Search terms: unreliable channel; communication; assertion checking
Assertion checking, Communicating via unreliable channel.
diff --git a/Example07_UnconstrainedStack_TraceAnnotation.mp b/Example07_UnconstrainedStack_TraceAnnotation.mp
index f66c9e5b090cc7295a001243939131d660273479..a36da2324c2d807d45975fb1a87ea5065009e084 100644
--- a/Example07_UnconstrainedStack_TraceAnnotation.mp
+++ b/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: unconstrained stack, testing/debugging, trace annotation, empty stack
+Search terms: stack behavior; testing; debugging; trace annotation
Trace annotation techniques
diff --git a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
index 1c53216fe6a235ee9738ca9e38eb4e2287bf1909..b3c16ab6dbaae1e06dba016af9e361aa84233356 100644
--- a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
+++ b/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: employee, employer, business process, coordination across hierarchy levels
+Search terms: business process behavior; coordination, across hierarchy levels
The web site http://www.infoq.com/articles/bpelbpm
“Why BPEL is not the holy grail for BPM “
diff --git a/Example09_PipeFilter_TraceAnnotationQueries.mp b/Example09_PipeFilter_TraceAnnotationQueries.mp
index e44ddcaf7c1e96f27bbe911440590032af4a94d6..d1681935d6c35b3693b96f883405ab852e4d9859 100644
--- a/Example09_PipeFilter_TraceAnnotationQueries.mp
+++ b/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: pipe filter, architecture model, trace annotation queries
+Search terms: pipe filter behavior; architecture; query, trace annotation; isomorphism
pipe/filter architecture model with 2 filters
diff --git a/Example10_PublishSubscribe_EventReshuffling.mp b/Example10_PublishSubscribe_EventReshuffling.mp
index 2689d9a7c42e357ada424745eb51f30b25c21ccd..ed965ce2b343d78ffc14172f34910aec877075b0 100644
--- a/Example10_PublishSubscribe_EventReshuffling.mp
+++ b/Example10_PublishSubscribe_EventReshuffling.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: publish, subscribe, architecture model, event reshuffling
+Search terms: publish subscribe behavior; architecture; event reshuffling; isomorphism
Publisher sends a notification to all active Subscribers
when new information is available.
diff --git a/Example11_RingTopology_UserDefinedRelations.mp b/Example11_RingTopology_UserDefinedRelations.mp
index 889291733a88940c3b82f8f4a52bb2907b9967be..bb279bb2217269912ccc850c66ee64897cad9b6d 100644
--- a/Example11_RingTopology_UserDefinedRelations.mp
+++ b/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: ring topology, event reshuffling, user defined relation
+Search terms: ring topology behavior; event reshuffling; user-defined relation; isomorphism
ring topology
an example of user-defined relation use
diff --git a/Example12_CardiacArrestWorkflow_VirtualEvents.mp b/Example12_CardiacArrestWorkflow_VirtualEvents.mp
index c0f33e9a784f338321d7607a052b077acb8ac8ef..88fd0b6fdf251d6a5c1ac1e937bc19b78d082a6d 100644
--- a/Example12_CardiacArrestWorkflow_VirtualEvents.mp
+++ b/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: cardiac arrest, workflow patterns, virtual event, triage task
+Search terms: triage behavior; workflow pattern; virtual event
the web site
http://workflowpatterns.com/patterns/control/index.php
diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/Example13_ConsumersSuppliers_DependencyTracking.mp
index 50aaed7280783dbc84765469bf667f2b20f87b9a..68827fbfa76c0d4224ea0ea9fc3e0b35a438c5b5 100644
--- a/Example13_ConsumersSuppliers_DependencyTracking.mp
+++ b/Example13_ConsumersSuppliers_DependencyTracking.mp
@@ -12,7 +12,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: consumer, supplier, dependency tracking, asynchronous coordination
+Search terms: consumer supplier behavior; dependency tracking; coordination, asynchronous
Asynchronous coordination and dependency definition example.
diff --git a/Example14_ShoppingSpree_NumberAttributes.mp b/Example14_ShoppingSpree_NumberAttributes.mp
index 99f84dee380a5adbdb9a5c40b1483bfabc4f7998..713ee3bdf80072df0d2a8594add542f1b162a8f9 100644
--- a/Example14_ShoppingSpree_NumberAttributes.mp
+++ b/Example14_ShoppingSpree_NumberAttributes.mp
@@ -11,7 +11,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: shopping spree, number attribute
+Search terms: shopping spree behavior; event attribute, number; BUILD block; SAY statement
Instructions: Run for Scopes 1 and up.
diff --git a/Example15_BackpackWeight_IntervalAttributes.mp b/Example15_BackpackWeight_IntervalAttributes.mp
index 06a696a5561afe612827e3d7c553d180a94222e6..58ac87c342ec9a72588f7e927d31b544f5aa4bf3 100644
--- a/Example15_BackpackWeight_IntervalAttributes.mp
+++ b/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: backpack weight, interval attribute
+Search terms: event attribute, interval; optimization, weight; BUILD block; SAY statement
Use of interval attributes.
diff --git a/Example16_StackBehavior_ProbabilityCalculationsType1.mp b/Example16_StackBehavior_ProbabilityCalculationsType1.mp
index 08204c7edbb952cb4986e61a720b10ddf469538c..3a36d8df748c29e6f69d5f0a3a301851221fc21f 100644
--- a/Example16_StackBehavior_ProbabilityCalculationsType1.mp
+++ b/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: stack behavior, type 1 probability
+Search terms: stack behavior; Type 1 probability; ENSURE condition
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
diff --git a/Example17_SharedEvents_ProbabilityCalculationsType1.mp b/Example17_SharedEvents_ProbabilityCalculationsType1.mp
index 4c58da1c25156ef670fe962e030f49641529fdcd..0c3ab59b100bca59ffdd6c86cd3110d773ecc2dd 100644
--- a/Example17_SharedEvents_ProbabilityCalculationsType1.mp
+++ b/Example17_SharedEvents_ProbabilityCalculationsType1.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: shared events, type 1 probability
+Search terms: event sharing; 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
diff --git a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
index 3ed1d30a31cff7d5148f2e5917ac97ceef7ce844..a88b5f5a3704e1a2c42581997e3949eb8efc40a0 100644
--- a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
+++ b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: red, green, number attribute, type 2 probability, bayesian probability
+Search terms: event attribute, number; Type 2 probability; Bayesian probability
Bayesian attribute example
diff --git a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
index 66817d77b0edd91c60fc6491257e7344073ba243..9ff2a24246fe87be456c6cf5a5ed5f66a5cc5976 100644
--- a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
+++ b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: stack behavior, number attribute, type 2 probability, bayesian probability
+Search terms: stack behavior; event attribute, number; Type 2 probability; Bayesian probability
An example of Bayesian probability calculation.
diff --git a/Example20_Activity_Diagram.mp b/Example20_Activity_Diagram.mp
index 55adc6a202b1d568cc999a940cb2c9123a150e19..19ff0b4987bbb2ec9a3a0b07b669f2060c00d453 100644
--- a/Example20_Activity_Diagram.mp
+++ b/Example20_Activity_Diagram.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: activity diagram, flowchart
+Search terms: graph, activity diagram; graph, flowchart
This model demonstrates how to use "SHOW ACTIVITY DIAGRAM" to
display the possible traces in flowchart form. Root A has 4 different
diff --git a/Example21_DataFlow_LocalReport.mp b/Example21_DataFlow_LocalReport.mp
index 476ab6291914ceabb71cacb623d09fd223ce4c7a..36b78da3395d724af24f844b2cad2c7a16ec6d33 100644
--- a/Example21_DataFlow_LocalReport.mp
+++ b/Example21_DataFlow_LocalReport.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: data flow, local report, basic statistics
+Search terms: data flow behavior; report, local; statistics, basic
Local Report within a trace.
diff --git a/Example22_SimpleMessageFlow_GlobalReport.mp b/Example22_SimpleMessageFlow_GlobalReport.mp
index 0144f8c607deb946a37325a4065210ae5299743c..c4484268230f3fba9d731baad0bc3a00c1db9374 100644
--- a/Example22_SimpleMessageFlow_GlobalReport.mp
+++ b/Example22_SimpleMessageFlow_GlobalReport.mp
@@ -12,7 +12,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: simple message flow, global report, statistics
+Search terms: simple message flow; report, global; statistics, global
Instructions: Run for Scopes 1 and up.
diff --git a/Example23_CarRace_LocalGraph.mp b/Example23_CarRace_LocalGraph.mp
index 10219950e95b64a05433b1b3f4983eedd6e02c19..63889b6cc96798947bf6d35b58948e824c6cb1f7 100644
--- a/Example23_CarRace_LocalGraph.mp
+++ b/Example23_CarRace_LocalGraph.mp
@@ -11,7 +11,7 @@ System and Software Architecture and Workflow Modeling
Language Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: car race, local graph, local trace view
+Search terms: car race behavior; graph, local; WITHIN command
Local graph within the event trace.
diff --git a/Example24_Compiler_ComponentDiagram.mp b/Example24_Compiler_ComponentDiagram.mp
index 266e8a1bad13daade6f91feef96ee450a7398778..f360d8082ee4128e369df13238272526c1e588a4 100644
--- a/Example24_Compiler_ComponentDiagram.mp
+++ b/Example24_Compiler_ComponentDiagram.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: compiler, component diagram, global report, lexer, parser, stack
+Search terms: compiler behavior; graph, component diagram; report, global; lexer behavior; parser behavior; stack behavior; isomorphism
Compiler front end, bottom-up parser
Lexer and parser in interactive mode.
diff --git a/Example25_Graph_as_Data_Structure.mp b/Example25_Graph_as_Data_Structure.mp
index 770e90cba70bf9cee4fe6f4159812a2403c63bc7..2d5188f489ad2c25c5b964fc2216ef8b1c4fd15f 100644
--- a/Example25_Graph_as_Data_Structure.mp
+++ b/Example25_Graph_as_Data_Structure.mp
@@ -11,7 +11,7 @@ and Software Architecture and Workflow Modeling Language
Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: graph as data structure, number attribute, global report, total event statistics
+Search terms: graph as data structure; event attribute, number; report, global; statistics, global
Accumulating and rendering statistics from event traces.
Graphs as container data structures
diff --git a/Example26_UnreliableMessageFlow_GlobalQuery.mp b/Example26_UnreliableMessageFlow_GlobalQuery.mp
index 662d4fd9908cdfad6bffbc19ed56687ec5ebfed1..92f816789e13d545aad6e6441ee047b738a37e79 100644
--- a/Example26_UnreliableMessageFlow_GlobalQuery.mp
+++ b/Example26_UnreliableMessageFlow_GlobalQuery.mp
@@ -11,7 +11,7 @@ System and Software Architecture and Workflow Modeling
Language Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: unreliable message flow, global query, number attribute, probability summary
+Search terms: unreliable message flow; query, global; event attribute, number; query, probability summary
GLOBAL query
diff --git a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
index 1d5238c7c7a0b89aa898418cd67d247d0426044b..6fdbfdcb2f322d4b84fa34f04170bb0e7fd1d64b 100644
--- a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
+++ b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
@@ -12,7 +12,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: table, bar chart, assembling statistics, number attribute
+Search terms: table; graph, bar chart; statistics, assembling; event attribute, number
Assembling statistics about a current trace in a TABLE and rendering it.
Table and bar chart example.
diff --git a/Example28_AssemblingStatistics_Histogram.mp b/Example28_AssemblingStatistics_Histogram.mp
index f86f7bd628f0928817f681363ada9473aca1965f..1c6680e8b6d8f0638099db4032c7321a1680a98b 100644
--- a/Example28_AssemblingStatistics_Histogram.mp
+++ b/Example28_AssemblingStatistics_Histogram.mp
@@ -12,7 +12,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: histogram, assembling statistics, number attribute, global report, probability interval
+Search terms: graph, histogram; statistics, assembling; event attribute, number; report, global; probability interval
Histogram example
diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/Example29_AssemblingStatistics_Gantt_Chart.mp
index f6ed9732bd49a6a88d5a1ca9abd477afea59a806..d7e958aa8ddd3a822b0311d3b139238efda3f2ed 100644
--- a/Example29_AssemblingStatistics_Gantt_Chart.mp
+++ b/Example29_AssemblingStatistics_Gantt_Chart.mp
@@ -11,7 +11,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: gantt chart, assembling statistics, table, bar chart
+Search terms: graph, Gantt chart; statistics, assembling; table; graph, bar chart
Gantt chart example
diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/Example30_MicrowaveOven_ModelingModelChecking.mp
index 781992ea6b602055d269da2f238965282ca653bb..8f1dfd28474554b2bf5b55d7272d88b45cc78e47 100644
--- a/Example30_MicrowaveOven_ModelingModelChecking.mp
+++ b/Example30_MicrowaveOven_ModelingModelChecking.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: microwave oven, model checking, finite state diagram, state visit, state transition, atomic proposition, inner event
+Search terms: microwave oven behavior; model checking; finite state diagram; state transition; propositional logic
example of finite state diagram behavior model,
CTL formula representation in MP, and model checking for a small scope.
diff --git a/Example31_Aspect_Oriented_Paradigm.mp b/Example31_Aspect_Oriented_Paradigm.mp
index 3e367e01aa6c2c375d5f2b3425ca7aec286cc40f..2dc6dd8422596ef8eb554b731d38dc6af2a6cb84 100644
--- a/Example31_Aspect_Oriented_Paradigm.mp
+++ b/Example31_Aspect_Oriented_Paradigm.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: aspect-oriented paradigm, join point, aspect behavior, advice coordination
+Search terms: aspect-oriented paradigm; join point; aspect behavior; coordination, advice
The COORDINATE operation supports a “cause-effect†refinement for
the behavior of two components and it bears a certain similarity
diff --git a/Example32_Petri_Net.mp b/Example32_Petri_Net.mp
index 081794ff5bbdf5a730bc39dd6099f452e76c9b76..97d44d5b4545ea423c30cec04b1da8233b60204a 100644
--- a/Example32_Petri_Net.mp
+++ b/Example32_Petri_Net.mp
@@ -11,7 +11,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: petri net, number attribute, global report
+Search terms: petri net behavior; event attribute, number; report, global
modeling Petri net behavior
see the Petri net diagram in Sec. 2.16.2 in the MP v.4 Language Manual
diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/Example33_ATMWithdrawal_StatechartView.mp
index b58e8f033dec977ed216820da35c4d2734d4834d..1f8e11e791b0ccc1144ab8ad7ee043db21932844 100644
--- a/Example33_ATMWithdrawal_StatechartView.mp
+++ b/Example33_ATMWithdrawal_StatechartView.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: ATM withdrawal, statechart view, ATM system, data base, global report
+Search terms: ATM withdrawal; statechart view; ATM system; database; report, global
Extracting Statechart view from MP model.
diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp
index d07e19c50f3134d966e10bab7397d23f2af5a9b1..4efeba1aa3396ad5fb542b306feab5f725b15537 100644
--- a/Example34_FiniteStateDiagram_PathAnnotation.mp
+++ b/Example34_FiniteStateDiagram_PathAnnotation.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: finite state diagram, path annotation, state visit, state transition, finite state machine
+Search terms: finite state diagram; path annotation; state transition; finite state machine behavior
example of finite state diagram behavior model,
contains non-deterministic transitions (from S1 with symbol a),
diff --git a/Example35_FiniteStateDiagram_PathDiagram.mp b/Example35_FiniteStateDiagram_PathDiagram.mp
index 834e71c0a2265f57eb2d12041ff18cbfb6d37d4a..d5915720a1ed4c1363521aa96a6a26cff144cb07 100644
--- a/Example35_FiniteStateDiagram_PathDiagram.mp
+++ b/Example35_FiniteStateDiagram_PathDiagram.mp
@@ -12,7 +12,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: finite state diagram, path diagram, state transition, global report, finite automaton behavior
+Search terms: finite state diagram; path diagram; state transition; report, global; finite automaton behavior
Adding path and state transition diagrams to
the Finite Automaton behavior model.
diff --git a/Example36_Authentication_SystemReuse.mp b/Example36_Authentication_SystemReuse.mp
index 5f6b1438cde421b358895f5188dcdea841a80245..cab878ea3684f967b92ec30a7c8b95f3471777c8 100644
--- a/Example36_Authentication_SystemReuse.mp
+++ b/Example36_Authentication_SystemReuse.mp
@@ -12,7 +12,7 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: authentication system, system reuse, subsystem, MAP operation, data base
+Search terms: authentication system behavior; system reuse; subsystem; MAP operation; database
Instructions: Run for Scopes 1 and up. Viewing of traces
also includes a "Swim Lanes" option. At Scope 3 and above,
diff --git a/Example37_Compiler1_ComponentReuse.mp b/Example37_Compiler1_ComponentReuse.mp
index 085be255be168704f098075ef467da41f01b9279..f248ad86bd104a04983e568b076451d3c26362d2 100644
--- a/Example37_Compiler1_ComponentReuse.mp
+++ b/Example37_Compiler1_ComponentReuse.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: compiler, component reuse, front end, batch mode, bottom-up, parser, isomorphic behavior
+Search terms: compiler behavior; component reuse; batch mode; lexer behavior; parser behavior; isomorphism
Compiler front end,
bottom-up parser
diff --git a/Example38_Compiler2_ComponentReuse.mp b/Example38_Compiler2_ComponentReuse.mp
index 440cf55a3f8f3c295acd2afc978970880ec0c2e9..6c79498380866c334ad69b4dbfd4bd292cf197e1 100644
--- a/Example38_Compiler2_ComponentReuse.mp
+++ b/Example38_Compiler2_ComponentReuse.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: compiler, component reuse, front end, incremental mode, interaction mode, bottom-up, parser, isomorphic behavior
+Search terms: compiler behavior; component reuse; incremental mode; lexer behavior; parser behavior; isomorphism
Compiler front end,
bottom-up parser
diff --git a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
index 9aac4fddc111188e228f8966722343115c20a4ff..5430fef84a76d1ff17eb439a8c8a133c8744be33 100644
--- a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
+++ b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: merging root events, reduce run time, layered derivation, trace segment derivation
+Search terms: merging root events; reduce run time; layered derivation; trace segment derivation
Complex MP models may have large number of root events with several
coordination operations performed on clusters of roots. This may be
diff --git a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
index 94dc27d6fc80f823ab5031e0179521efc79c4f3e..3d00d28d3f4615f6fdf871074561b906e582d832 100644
--- a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
+++ b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms: application process, partitioning large schema, separate schemas
+Search terms: application process behavior; partitioning large schema; separate schemas
An applicant submits application and needs to get it approved by
the bureaucratic chain of two officials. If the first official approves,