From 2d8bcb98db1fb13690ff61abf89ade7edd4a413d Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 15 Jul 2021 13:12:41 +0000
Subject: [PATCH] Search terms updated for 1-40
---
Application_examples/Authentication.mp | 2 +-
Application_examples/Autonomous_Car.mp | 2 +-
Application_examples/Beginner_Use_of_MP.mp | 13 +++++--------
Application_examples/CargoScreening.mp | 2 +-
Application_examples/Commercial_Flight | 2 +-
Application_examples/Cycle_Pattern.mp | 9 +++------
Application_examples/Dining_Philosophers.mp | 10 +++-------
Application_examples/Elevator.mp | 2 +-
Application_examples/FindAdvisor.mp | 10 +++-------
Application_examples/First_Responder.mp | 10 ++++------
Application_examples/Knapsack_Weight_Limit.mp | 4 +---
.../MP_Architecture_Specification.mp | 7 +++----
Application_examples/Manufacturing_Process.mp | 3 ++-
Application_examples/Martian_Lander.mp | 6 +++---
Application_examples/Prisoners_Dilemma.mp | 2 +-
Application_examples/Railroad_Crossing_Safety.mp | 2 +-
Application_examples/Replay_Attack.mp | 4 +---
Application_examples/Small_Package_Delivery.mp | 8 +++-----
.../Spent_Fuel_Cooling_and_Cleanup.mp | 3 ++-
Application_examples/Spiral_Software_Process | 7 ++++---
Application_examples/Turtles_in_the_Desert.mp | 6 +-----
Application_examples/Unmanned_Spacecraft_Comms.mp | 6 +++---
Application_examples/Web_Browser_Formal_Security.mp | 7 ++-----
.../Wide_Range_Search_for_Wreckage_and_Survivors | 12 ++++--------
Application_examples/Work_Productivity.mp | 6 +++---
Example01_SimpleMessageFlow_EventCoordination.mp | 2 +-
Example01a_UnreliableMessageFlow_VirtualEvents.mp | 2 +-
Example02_DataFlow_EventSharing.mp | 2 +-
Example03_ATMWithdrawal_BehaviorOfEnvironment.mp | 2 +-
Example04_StackBehavior_EnsureCondition.mp | 2 +-
Example04a_StackBehavior_UserDefinedRelations.mp | 2 +-
Example04b_QueueBehavior_UserDefinedRelations.mp | 2 +-
Example05_CarRace_NestedComposition.mp | 2 +-
Example06_UnreliableChannel_AssertionChecking.mp | 2 +-
Example07_UnconstrainedStack_TraceAnnotation.mp | 2 +-
...yeeEmployer_CoordinationAcrossHierarchyLevels.mp | 2 +-
Example09_PipeFilter_TraceAnnotationQueries.mp | 2 +-
Example10_PublishSubscribe_EventReshuffling.mp | 2 +-
Example11_RingTopology_UserDefinedRelations.mp | 2 +-
Example12_CardiacArrestWorkflow_VirtualEvents.mp | 2 +-
Example13_ConsumersSuppliers_DependencyTracking.mp | 2 +-
Example14_ShoppingSpree_NumberAttributes.mp | 2 +-
Example15_BackpackWeight_IntervalAttributes.mp | 2 +-
...16_StackBehavior_ProbabilityCalculationsType1.mp | 2 +-
...e17_SharedEvents_ProbabilityCalculationsType1.mp | 2 +-
...RedGreen_BayesianProbabilityCalculationsType2.mp | 2 +-
...Behavior_BayesianProbabilityCalculationsType2.mp | 2 +-
Example20_Activity_Diagram.mp | 2 +-
Example21_DataFlow_LocalReport.mp | 2 +-
Example22_SimpleMessageFlow_GlobalReport.mp | 2 +-
Example23_CarRace_LocalGraph.mp | 2 +-
Example24_Compiler_ComponentDiagram.mp | 2 +-
Example25_Graph_as_Data_Structure.mp | 2 +-
Example26_UnreliableMessageFlow_GlobalQuery.mp | 2 +-
...le27_AssemblingStatistics_Table_and_Bar_Chart.mp | 2 +-
Example28_AssemblingStatistics_Histogram.mp | 2 +-
Example29_AssemblingStatistics_Gantt_Chart.mp | 2 +-
Example30_MicrowaveOven_ModelingModelChecking.mp | 2 +-
Example31_Aspect_Oriented_Paradigm.mp | 2 +-
Example32_Petri_Net.mp | 2 +-
Example33_ATMWithdrawal_StatechartView.mp | 2 +-
Example34_FiniteStateDiagram_PathAnnotation.mp | 2 +-
Example35_FiniteStateDiagram_PathDiagram.mp | 2 +-
Example36_Authentication_SystemReuse.mp | 2 +-
Example37_Compiler1_ComponentReuse.mp | 2 +-
Example38_Compiler2_ComponentReuse.mp | 2 +-
Example39_Merging_Root_Events_to_Reduce_Run_Time.mp | 2 +-
...ss_partitioningLargeSchemaIntoSeparateSchemas.mp | 2 +-
68 files changed, 100 insertions(+), 131 deletions(-)
diff --git a/Application_examples/Authentication.mp b/Application_examples/Authentication.mp
index 275b59a..536f69f 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 05984df..4785f61 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 6cd3631..af7a3cf 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 5d18b3a..9bbfd1b 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 b609d0d..dabc877 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 aaa8d59..260d0fb 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 c467e09..f1f2401 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 6f85993..ee910d8 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 b8d184d..02738aa 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 53a2fbb..3f24809 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 9c09b79..27f87db 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 8f68fed..397c86d 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 83a252c..428030e 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 8ead385..1a73e50 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 ee66e9f..8e8d904 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 0433f8a..a42b714 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 35f1450..96e94ce 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 ef3fb30..e970500 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 6e59910..78eceae 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 dd1bb9f..04bea33 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 d8152e7..e2505f4 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 82332ac..04283d4 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 c64a6b3..c2a16ae 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 9549df3..645af89 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 c7db03e..590778b 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 6120cf7..a044224 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 62db1d7..88406af 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 9b7862f..99a97cb 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 e19a9b8..4314930 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 6b80025..957edb1 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 bc4f203..184bc96 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 f6f4e4c..0978515 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 16ba248..e560240 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 1c0e312..0025352 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 f66c9e5..a36da23 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 1c53216..b3c16ab 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 e44ddca..d168193 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 2689d9a..ed965ce 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 8892917..bb279bb 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 c0f33e9..88fd0b6 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 50aaed7..68827fb 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 99f84de..713ee3b 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 06a696a..58ac87c 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 08204c7..3a36d8d 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 4c58da1..0c3ab59 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 3ed1d30..a88b5f5 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 66817d7..9ff2a24 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 55adc6a..19ff0b4 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 476ab62..36b78da 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 0144f8c..c448426 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 1021995..63889b6 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 266e8a1..f360d80 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 770e90c..2d5188f 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 662d4fd..92f8167 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 1d5238c..6fdbfdc 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 f86f7bd..1c6680e 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 f6ed973..d7e958a 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 781992e..8f1dfd2 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 3e367e0..2dc6dd8 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 081794f..97d44d5 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 b58e8f0..1f8e11e 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 d07e19c..4efeba1 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 834e71c..d591572 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 5f6b143..cab878e 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 085be25..f248ad8 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 440cf55..6c79498 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 9aac4fd..5430fef 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 94dc27d..3d00d28 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,
--
GitLab