From 800298de0bfe7ad4b322e36fa1b760c77ee637a6 Mon Sep 17 00:00:00 2001
From: Keane Reynolds <keane.reynolds@gmail.com>
Date: Wed, 30 Jun 2021 00:40:40 +0000
Subject: [PATCH] Added section title headers to every file, and moved
 references to the correct location within these sections.

---
 ...le01_SimpleMessageFlow_EventCoordination.mp |  2 +-
 ...e01a_UnreliableMessageFlow_VirtualEvents.mp | 15 +++++++++++++--
 Example02_DataFlow_EventSharing.mp             | 15 +++++++++++++--
 ...le03_ATMWithdrawal_BehaviorOfEnvironment.mp | 15 +++++++++++++--
 Example04_StackBehavior_EnsureCondition.mp     | 15 +++++++++++++--
 ...le04a_StackBehavior_UserDefinedRelations.mp | 16 +++++++++++++---
 ...le04b_QueueBehavior_UserDefinedRelations.mp | 15 +++++++++++++--
 Example05_CarRace_NestedComposition.mp         | 15 +++++++++++++--
 ...le06_UnreliableChannel_AssertionChecking.mp | 15 ++++++++++++++-
 ...ple07_UnconstrainedStack_TraceAnnotation.mp | 15 +++++++++++++--
 ...ployer_CoordinationAcrossHierarchyLevels.mp | 15 +++++++++++++--
 Example09_PipeFilter_TraceAnnotationQueries.mp | 16 +++++++++++++---
 Example10_PublishSubscribe_EventReshuffling.mp | 16 +++++++++++++---
 Example11_RingTopology_UserDefinedRelations.mp | 15 +++++++++++++--
 ...le12_CardiacArrestWorkflow_VirtualEvents.mp | 15 +++++++++++++--
 ...13_ConsumersSuppliers_DependencyTracking.mp | 17 +++++++++++++++--
 Example14_ShoppingSpree_NumberAttributes.mp    | 14 ++++++++++++--
 Example15_BackpackWeight_IntervalAttributes.mp | 16 +++++++++++++---
 ...ackBehavior_ProbabilityCalculationsType1.mp | 16 +++++++++++++---
 ...haredEvents_ProbabilityCalculationsType1.mp | 15 ++++++++++++++-
 ...een_BayesianProbabilityCalculationsType2.mp | 16 +++++++++++++---
 ...ior_BayesianProbabilityCalculationsType2.mp | 16 +++++++++++++---
 Example20_Activity_Diagram.mp                  | 16 +++++++++++++---
 Example21_DataFlow_LocalReport.mp              | 16 +++++++++++++---
 Example22_SimpleMessageFlow_GlobalReport.mp    | 18 ++++++++++++++----
 Example23_CarRace_LocalGraph.mp                | 15 ++++++++++++---
 Example24_Compiler_ComponentDiagram.mp         | 16 +++++++++++++---
 Example25_Graph_as_Data_Structure.mp           | 16 +++++++++++++---
 Example26_UnreliableMessageFlow_GlobalQuery.mp | 17 +++++++++++++----
 ...AssemblingStatistics_Table_and_Bar_Chart.mp | 18 ++++++++++++++----
 Example28_AssemblingStatistics_Histogram.mp    | 18 ++++++++++++++----
 Example29_AssemblingStatistics_Gantt_Chart.mp  | 15 ++++++++++++++-
 ...le30_MicrowaveOven_ModelingModelChecking.mp | 15 ++++++++++++++-
 Example31_Aspect_Oriented_Paradigm.mp          | 16 +++++++++++++---
 Example32_Petri_Net.mp                         | 16 +++++++++++++---
 Example33_ATMWithdrawal_StatechartView.mp      | 16 +++++++++++++---
 Example34_FiniteStateDiagram_PathAnnotation.mp | 16 +++++++++++++---
 Example35_FiniteStateDiagram_PathDiagram.mp    | 18 ++++++++++++++----
 Example36_Authentication_SystemReuse.mp        | 17 +++++++++++++----
 Example37_Compiler1_ComponentReuse.mp          | 17 +++++++++++++----
 Example38_Compiler2_ComponentReuse.mp          | 16 ++++++++++++++--
 ...9_Merging_Root_Events_to_Reduce_Run_Time.mp | 16 +++++++++++++---
 ...rtitioningLargeSchemaIntoSeparateSchemas.mp | 16 +++++++++++++---
 43 files changed, 556 insertions(+), 113 deletions(-)

diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/Example01_SimpleMessageFlow_EventCoordination.mp
index e11a8f1..759eb51 100644
--- a/Example01_SimpleMessageFlow_EventCoordination.mp
+++ b/Example01_SimpleMessageFlow_EventCoordination.mp
@@ -15,7 +15,7 @@ a "cross-cutting" derivation rule.
 References: 
 "Example 1: Simple interaction pattern" from Auguston, M. 
 "Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual (Version 4). 2020. 
+Workflow Modeling Language Manual" (Version 4). 2020. 
 Available online: 
 https://wiki.nps.edu/display/MP/Documentation 
 
diff --git a/Example01a_UnreliableMessageFlow_VirtualEvents.mp b/Example01a_UnreliableMessageFlow_VirtualEvents.mp
index 49b0b39..47d307e 100644
--- a/Example01a_UnreliableMessageFlow_VirtualEvents.mp
+++ b/Example01a_UnreliableMessageFlow_VirtualEvents.mp
@@ -1,6 +1,17 @@
 /* Example 01a. Model of Unreliable Message Flow
-See also: Example 8: Unreliable Communication model from the Monterey Phoenix 
-System and Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 8: Unreliable Communication model" from Auguston,
+M. "Monterey Phoenix System and Software Architecture and
+Workflow Modeling Language Manual" (Version 4). 2020.
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 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 f553871..4aa0ab2 100644
--- a/Example02_DataFlow_EventSharing.mp
+++ b/Example02_DataFlow_EventSharing.mp
@@ -1,6 +1,17 @@
 /* Example 02. Model of Data Flow
-See also: Example 3: Data Flow model from the Monterey Phoenix System and 
-Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 3: Data Flow model from the Monterey Phoenix"
+from Auguston, M. "Monterey Phoenix System and Software
+Architecture and Workflow Modeling Language Manual"
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 data items as behaviors
 
diff --git a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
index ac7002f..9ea250c 100644
--- a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
+++ b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
@@ -1,6 +1,17 @@
 /* Example 03. Model of ATM Withdrawal
-See also: Example 4: Withdraw money from ATM model from the Monterey Phoenix System and 
-Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 4: Withdraw money from ATM model" from Auguston,
+M. "Monterey Phoenix System and Software Architecture and
+Workflow Modeling Language Manual" (Version 4). 2020.
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 Integrated system and environment behaviors
 	
diff --git a/Example04_StackBehavior_EnsureCondition.mp b/Example04_StackBehavior_EnsureCondition.mp
index 929b502..def63cd 100644
--- a/Example04_StackBehavior_EnsureCondition.mp
+++ b/Example04_StackBehavior_EnsureCondition.mp
@@ -1,6 +1,17 @@
 /* Example 04. Model of Stack Behavior
-See also: Example 5: Stack behavior model from the Monterey Phoenix 
-System and Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 5: Stack behavior model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	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 2e99070..359ec79 100644
--- a/Example04a_StackBehavior_UserDefinedRelations.mp
+++ b/Example04a_StackBehavior_UserDefinedRelations.mp
@@ -1,7 +1,17 @@
 /* Example 04a. Model of Stack Behavior
-See also: Example 17: Stack behavior model with pop/push relationship 
-visualized from the Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:  
+"Example 17: Stack behavior model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 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 89423bc..f9ff1af 100644
--- a/Example04b_QueueBehavior_UserDefinedRelations.mp
+++ b/Example04b_QueueBehavior_UserDefinedRelations.mp
@@ -1,6 +1,17 @@
 /* Example 04b. Model of Queue Behavior
-See also: Example 18: Queue behavior model from the Monterey Phoenix System and 
-Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 18: Queue behavior model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 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 61d9cc5..1f23fe2 100644
--- a/Example05_CarRace_NestedComposition.mp
+++ b/Example05_CarRace_NestedComposition.mp
@@ -1,6 +1,17 @@
 /* Example 05. Model of Car Race
-See also: Example 6: Car race model from the Monterey Phoenix System and 
-Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 6: Car race model" from Auguston, M. "Monterey
+Phoenix System and Software Architecture and Workflow
+Modeling Language Manual" (Version 4). 2020. Available
+online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 more coordination patterns:
 -	ordering of selected events in concurrent threads
diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp
index 5744e2f..27e2c36 100644
--- a/Example06_UnreliableChannel_AssertionChecking.mp
+++ b/Example06_UnreliableChannel_AssertionChecking.mp
@@ -1,8 +1,21 @@
 /* Example 06. Model of Unreliable Channel
-See also: Example 10: Communicating via unreliable channel model from 
+See also:  from 
 the Monterey Phoenix System and Software Architecture and Workflow 
 Modeling Language Manual
 
+Purpose:
+
+Description:
+
+References:
+"Example 10: Communicating via unreliable channel model"
+from Auguston, M. "Monterey Phoenix System and Software
+Architecture and Workflow Modeling Language Manual"
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
+
 	Assertion checking, Communicating via unreliable channel.
 
 	MP models need to be tested and debugged like any other 
diff --git a/Example07_UnconstrainedStack_TraceAnnotation.mp b/Example07_UnconstrainedStack_TraceAnnotation.mp
index c239a7f..058f5b7 100644
--- a/Example07_UnconstrainedStack_TraceAnnotation.mp
+++ b/Example07_UnconstrainedStack_TraceAnnotation.mp
@@ -1,6 +1,17 @@
 /* Example 07. Model of Unconstrained Stack
-See also: Example 11: Testing/Debugging model’s behavior from the Monterey 
-Phoenix System and Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 11: Testing/Debugging model’s behavior" from
+Auguston, M. "Monterey Phoenix System and Software
+Architecture and Workflow Modeling Language Manual"
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 Trace annotation techniques 
 
diff --git a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
index bd35076..fd7fe72 100644
--- a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
+++ b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
@@ -1,6 +1,17 @@
 /* Example 08. Model of Employee Employer
-See also: Example 13: Business process model from the Monterey Phoenix 
-System and Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 13: Business process model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 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 2dc69e6..3afd23e 100644
--- a/Example09_PipeFilter_TraceAnnotationQueries.mp
+++ b/Example09_PipeFilter_TraceAnnotationQueries.mp
@@ -1,7 +1,17 @@
 /*  Example 09. Model of Pipe Filter
-See also: Example 12: Pipe/Filter architecture model from the Monterey 
-Phoenix System and Software Architecture and Workflow Modeling Language 
-Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 12: Pipe/Filter architecture model" from Auguston,
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
     pipe/filter architecture model with 2 filters
 
diff --git a/Example10_PublishSubscribe_EventReshuffling.mp b/Example10_PublishSubscribe_EventReshuffling.mp
index 79f5909..720a84c 100644
--- a/Example10_PublishSubscribe_EventReshuffling.mp
+++ b/Example10_PublishSubscribe_EventReshuffling.mp
@@ -1,7 +1,17 @@
 /* Example 10. Model of Publish Subscribe
-See also: Example 7: Publish/Subscribe architecture model 
-from the Monterey Phoenix System and Software Architecture 
-and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 7: Publish/Subscribe architecture" from Auguston,
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	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 40a2234..ed29e13 100644
--- a/Example11_RingTopology_UserDefinedRelations.mp
+++ b/Example11_RingTopology_UserDefinedRelations.mp
@@ -1,6 +1,17 @@
 /* Example 11. Model of Ring Topology
-See also: Example 16: User-defined relations from the Monterey Phoenix 
-System and Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 16: User-defined relations" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
     ring topology
     an example of user-defined relation use
diff --git a/Example12_CardiacArrestWorkflow_VirtualEvents.mp b/Example12_CardiacArrestWorkflow_VirtualEvents.mp
index 13b0b2d..54ca657 100644
--- a/Example12_CardiacArrestWorkflow_VirtualEvents.mp
+++ b/Example12_CardiacArrestWorkflow_VirtualEvents.mp
@@ -1,6 +1,17 @@
 /* Example 12. Model of Cardiac Arrest Workflow
-See also: Examples 9 and 14 on Workflow patterns from the Monterey Phoenix 
-System and Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 9: Workflow pattern" and "Example 14: Workflow 
+pattern" from Auguston, M. "Monterey Phoenix System and 
+Software Architecture and Workflow Modeling Language 
+Manual" (Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 the web site
 http://workflowpatterns.com/patterns/control/index.php
diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/Example13_ConsumersSuppliers_DependencyTracking.mp
index ccf73ef..2a6e186 100644
--- a/Example13_ConsumersSuppliers_DependencyTracking.mp
+++ b/Example13_ConsumersSuppliers_DependencyTracking.mp
@@ -1,8 +1,21 @@
 /* Example 13. Model of Consumers Suppliers
-See also: Example 29: Coordinating asynchronous threads and 
-tracking event dependency from the Monterey Phoenix System 
+See also:  from the Monterey Phoenix System 
 and Software Architecture and Workflow Modeling Language Manual
 
+Purpose:
+
+Description:
+
+References:
+"Example 29: Coordinating asynchronous threads and 
+tracking event dependency" from Auguston, M. "Monterey 
+Phoenix System and Software Architecture and Workflow 
+Modeling Language Manual" (Version 4). 2020. Available 
+online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
+
 Asynchronous coordination and dependency definition example.
 
 user-defined relation related_to connects events within each 
diff --git a/Example14_ShoppingSpree_NumberAttributes.mp b/Example14_ShoppingSpree_NumberAttributes.mp
index 6fb4c3a..95076b8 100644
--- a/Example14_ShoppingSpree_NumberAttributes.mp
+++ b/Example14_ShoppingSpree_NumberAttributes.mp
@@ -1,7 +1,17 @@
 /* Example 14. Model of Shopping Spree
-See also: Example 21: Attribute use from the Monterey 
+
+Purpose:
+
+Description:
+
+References:
+"Example 21: Attribute use" from Auguston, M. "Monterey 
 Phoenix System and Software Architecture and Workflow 
-Modeling Language Manual
+Modeling Language Manual" (Version 4). 2020. Available 
+online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 Instructions: Run for Scopes 1 and up. Viewing of traces 
 also includes a "Swim Lanes" option.
diff --git a/Example15_BackpackWeight_IntervalAttributes.mp b/Example15_BackpackWeight_IntervalAttributes.mp
index 2f39d7c..b3e1f03 100644
--- a/Example15_BackpackWeight_IntervalAttributes.mp
+++ b/Example15_BackpackWeight_IntervalAttributes.mp
@@ -1,7 +1,17 @@
 /* Example 15. Model of Backpack Weight
-See also: Example 22: Use of interval attributes from the 
-Monterey Phoenix System and Software Architecture and
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 22: Use of interval attributes" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
     Use of interval attributes.
     
diff --git a/Example16_StackBehavior_ProbabilityCalculationsType1.mp b/Example16_StackBehavior_ProbabilityCalculationsType1.mp
index de9866c..fc5ae08 100644
--- a/Example16_StackBehavior_ProbabilityCalculationsType1.mp
+++ b/Example16_StackBehavior_ProbabilityCalculationsType1.mp
@@ -1,7 +1,17 @@
 /* Example 16. Model of Stack Behavior
-See also: Example 30: Type 1 probability from the Monterey 
-Phoenix System and Software Architecture and Workflow 
-Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 30: Type 1 probability" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	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 01054b7..a9c15b1 100644
--- a/Example17_SharedEvents_ProbabilityCalculationsType1.mp
+++ b/Example17_SharedEvents_ProbabilityCalculationsType1.mp
@@ -1,8 +1,21 @@
 /* Example 17. Model of Shared Events
-See also: Example 31: Shared events with probabilities from 
+See also:  from 
 the Monterey Phoenix System and Software Architecture and 
 Workflow Modeling Language Manual
 
+Purpose:
+
+Description:
+
+References:
+"Example 31: Shared events with probabilities" from Auguston, 
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
+
 	A simple example of shared events. If one root has a, the other root
 also has a. If neither root has a, then root 1 must have b, and root 2
 must have c. Additionally, probabilities show how "SHARE ALL" increases
diff --git a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
index 82ed9d5..4a225e3 100644
--- a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
+++ b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
@@ -1,7 +1,17 @@
 /* Example 18. Model of Red Green
-See also: Example 32: Event probability calculations from 
-the Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 32: Event probability calculations" from Auguston, 
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
     Bayesian attribute example
 
diff --git a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
index a83edba..1d22603 100644
--- a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
+++ b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
@@ -1,7 +1,17 @@
 /* Example 19. Model of Stack Behavior
-See also: Example 33: Bayesian probability calculation 
-from the Monterey Phoenix System and Software Architecture 
-and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 33: Bayesian probability calculation" from Auguston, 
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	An example of  Bayesian probability calculation.
 
diff --git a/Example20_Activity_Diagram.mp b/Example20_Activity_Diagram.mp
index 7220b38..846c006 100644
--- a/Example20_Activity_Diagram.mp
+++ b/Example20_Activity_Diagram.mp
@@ -1,7 +1,17 @@
 /* Example 20. Model of Activity Diagram
-See also: Example 51: Activity diagram of a root event from 
-the Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 51: Activity diagram of a root event" from Auguston, 
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 	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 f35c208..697e381 100644
--- a/Example21_DataFlow_LocalReport.mp
+++ b/Example21_DataFlow_LocalReport.mp
@@ -1,7 +1,17 @@
 /* Example 21. Model of Data Flow
-See also: Example 39: Local Report within a single trace 
-from the Monterey Phoenix System and Software Architecture 
-and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 39: Local Report within a single trace" from 
+Auguston, M. "Monterey Phoenix System and Software 
+Architecture and Workflow Modeling Language Manual" 
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 Local Report within a trace.
 
diff --git a/Example22_SimpleMessageFlow_GlobalReport.mp b/Example22_SimpleMessageFlow_GlobalReport.mp
index 8892c17..84cbd8d 100644
--- a/Example22_SimpleMessageFlow_GlobalReport.mp
+++ b/Example22_SimpleMessageFlow_GlobalReport.mp
@@ -1,8 +1,18 @@
 /* Example 22. Model of Simple Message Flow
-See also: Example 40: Global report assembled from the set 
-of all available event traces from the Monterey Phoenix 
-System and Software Architecture and Workflow Modeling 
-Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 40: Global report assembled from the set of all 
+available event traces" from Auguston, M. "Monterey 
+Phoenix System and Software Architecture and Workflow 
+Modeling Language Manual" (Version 4). 2020. Available 
+online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 Instructions: Run for Scopes 1 and up. Viewing of traces 
 also includes a "Swim Lanes" option.
diff --git a/Example23_CarRace_LocalGraph.mp b/Example23_CarRace_LocalGraph.mp
index 19d6ba7..b23fd74 100644
--- a/Example23_CarRace_LocalGraph.mp
+++ b/Example23_CarRace_LocalGraph.mp
@@ -1,8 +1,17 @@
 /* Example 23. Model of Car Race
-See also: Example 41: Graph extracted from a particular 
-event trace (local trace view) from the Monterey Phoenix 
+
+Purpose:
+
+Description:
+
+References:
+"Example 41: Graph extracted from a particular event trace 
+(local trace view)" from Auguston, M. "Monterey Phoenix 
 System and Software Architecture and Workflow Modeling 
-Language Manual
+Language Manual" (Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	Local graph within the event trace.
 
diff --git a/Example24_Compiler_ComponentDiagram.mp b/Example24_Compiler_ComponentDiagram.mp
index 07d6655..632105a 100644
--- a/Example24_Compiler_ComponentDiagram.mp
+++ b/Example24_Compiler_ComponentDiagram.mp
@@ -1,7 +1,17 @@
 /*  Example 24. Model of Compiler
-See also: Example 42: Graph in the Global view from the 
-Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 42: Graph in the Global view" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
     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 542e237..3d87349 100644
--- a/Example25_Graph_as_Data_Structure.mp
+++ b/Example25_Graph_as_Data_Structure.mp
@@ -1,7 +1,17 @@
 /* Example 25. Model of Graph as Data Structure
-See also: Example 43: Accumulating and rendering statistics 
-from event traces from the Monterey Phoenix System and 
-Software Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 43: Accumulating and rendering statistics from 
+event traces" from Auguston, M. "Monterey Phoenix System 
+and Software Architecture and Workflow Modeling Language 
+Manual" (Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
  	
 	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 151bfde..f875d8c 100644
--- a/Example26_UnreliableMessageFlow_GlobalQuery.mp
+++ b/Example26_UnreliableMessageFlow_GlobalQuery.mp
@@ -1,8 +1,17 @@
 /* Example 26. Model of Unreliable Message Flow
-See also: Example 46: Global query Model of unreliable 
-message flow (related to Example 8) from the Monterey 
-Phoenix System and Software Architecture and Workflow 
-Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 46: Global query Model of unreliable message flow 
+(related to Example 8)" from Auguston, M. "Monterey Phoenix 
+System and Software Architecture and Workflow Modeling 
+Language Manual" (Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 GLOBAL query	
 
diff --git a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
index e055283..f60f5dc 100644
--- a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
+++ b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
@@ -1,8 +1,18 @@
 /* Example 27. Model of Table and Bar Chart
-See also: Example 48: Assembling statistics about a current 
-trace in a table and rendering it as a bar chart from the 
-Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 48: Assembling statistics about a current trace 
+in a table and rendering it as a bar chart" from Auguston, 
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
  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 da1f266..2c8a9a9 100644
--- a/Example28_AssemblingStatistics_Histogram.mp
+++ b/Example28_AssemblingStatistics_Histogram.mp
@@ -1,8 +1,18 @@
 /* Example 28. Model of Histogram
-See also: Example 49: Histogram showing number of traces 
-with probabilities within certain intervals from the 
-Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 49: Histogram showing number of traces with 
+probabilities within certain intervals" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
  Histogram example
 
diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/Example29_AssemblingStatistics_Gantt_Chart.mp
index 1689a50..e07fabe 100644
--- a/Example29_AssemblingStatistics_Gantt_Chart.mp
+++ b/Example29_AssemblingStatistics_Gantt_Chart.mp
@@ -1,8 +1,21 @@
 /* Example 29. Model of Gantt Chart
-See also: Example 50: Gantt chart from the Monterey Phoenix 
+See also:  from the Monterey Phoenix 
 System and Software Architecture and Workflow Modeling 
 Language Manual
 
+Purpose:
+
+Description:
+
+References:
+"Example 50: Gantt chart" from Auguston, M. "Monterey 
+Phoenix System and Software Architecture and Workflow 
+Modeling Language Manual" (Version 4). 2020. Available 
+online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
+
  Gantt chart example
 
 Instructions: Run for Scope 1. Viewing of traces also 
diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/Example30_MicrowaveOven_ModelingModelChecking.mp
index 0c8f033..3854ed0 100644
--- a/Example30_MicrowaveOven_ModelingModelChecking.mp
+++ b/Example30_MicrowaveOven_ModelingModelChecking.mp
@@ -1,8 +1,21 @@
 /* Example 30. Model of Microwave Oven
-See also: Example 27: Microwave oven demonstrating model 
+See also:  
 checking from the Monterey Phoenix System and Software 
 Architecture and Workflow Modeling Language Manual
 
+Purpose:
+
+Description:
+
+References:
+"Example 27: Microwave oven demonstrating model" from 
+Auguston, M. "Monterey Phoenix System and Software 
+Architecture and Workflow Modeling Language Manual" 
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
+
     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 38fc640..945e730 100644
--- a/Example31_Aspect_Oriented_Paradigm.mp
+++ b/Example31_Aspect_Oriented_Paradigm.mp
@@ -1,7 +1,17 @@
 /* Example 31. Model of Aspect Oriented Paradigm
-See also: Example 2: Modeling Aspect-Oriented Paradigm from 
-the Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 2: Modeling Aspect-Oriented Paradigm" from Auguston, 
+M. "Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	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 d3dadcf..624115a 100644
--- a/Example32_Petri_Net.mp
+++ b/Example32_Petri_Net.mp
@@ -1,7 +1,17 @@
 /* Example 32. Model of Petri Net
-See also: Example 28: Modeling Petri net from the Monterey 
-Phoenix System and Software Architecture and Workflow Modeling 
-Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 28: Modeling Petri net" from Auguston, M. "Monterey 
+Phoenix System and Software Architecture and Workflow 
+Modeling Language Manual" (Version 4). 2020. Available 
+online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 	
 	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 ffe6639..11f3df4 100644
--- a/Example33_ATMWithdrawal_StatechartView.mp
+++ b/Example33_ATMWithdrawal_StatechartView.mp
@@ -1,7 +1,17 @@
 /* Example 33. Model of ATM Withdrawal
-See also: Example 45: Extracting statechart view from MP 
-model from the Monterey Phoenix System and Software 
-Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 45: Extracting statechart view" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
 	Extracting Statechart view from MP model.
 
diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp
index 31c80b6..8bbd80a 100644
--- a/Example34_FiniteStateDiagram_PathAnnotation.mp
+++ b/Example34_FiniteStateDiagram_PathAnnotation.mp
@@ -1,7 +1,17 @@
 /*  Example 34. Model of Finite State Diagram with Path Annotation
-See also: Example 26: Modeling finite state machine from 
-the Monterey Phoenix System and Software Architecture 
-and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 26: Modeling finite state machine" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
     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 154b3d9..a47ed76 100644
--- a/Example35_FiniteStateDiagram_PathDiagram.mp
+++ b/Example35_FiniteStateDiagram_PathDiagram.mp
@@ -1,8 +1,18 @@
 /* Example 35. Model of Finite State Diagram with Path Diagram
-See also: Example 44: Adding paths and state transition 
-diagram to the Finite Automaton behavior model from the 
-Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 44: Adding paths and state transition 
+diagram to the Finite Automaton behavior model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
 
     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 2b92d3c..eb14224 100644
--- a/Example36_Authentication_SystemReuse.mp
+++ b/Example36_Authentication_SystemReuse.mp
@@ -1,10 +1,19 @@
 /* Example 36. Model of Authentication System
-See also: Example 36: Reuse of an authentication subsystem 
-from the Monterey Phoenix System and Software Architecture 
-and Workflow Modeling Language Manual
-	
+
+Purpose:
 Authentication system's behavior for reuse with MAP operation.
 
+Description:
+
+References:
+"Example 36: Reuse of an authentication subsystem" from 
+Auguston, M. "Monterey Phoenix System and Software 
+Architecture and Workflow Modeling Language Manual" 
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
+
 Instructions: Run for Scopes 1 and up. Viewing of traces 
 also includes a "Swim Lanes" option. At Scope 3 and above, 
 the attempts_exhausted event can be seen. You may hide the 
diff --git a/Example37_Compiler1_ComponentReuse.mp b/Example37_Compiler1_ComponentReuse.mp
index 54396df..2fe077d 100644
--- a/Example37_Compiler1_ComponentReuse.mp
+++ b/Example37_Compiler1_ComponentReuse.mp
@@ -1,8 +1,17 @@
 /* Example 37. Model of Compiler 1
-See also: Example 34: Compiler’s front end in batch 
-processing mode from the Monterey Phoenix System and 
-Software Architecture and Workflow Modeling Language 
-Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 34: Compiler’s front end in batch processing mode" 
+from Auguston, M. "Monterey Phoenix System and Software 
+Architecture and Workflow Modeling Language Manual" (Version 4). 
+2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
     
 	Compiler front end,
 	bottom-up parser
diff --git a/Example38_Compiler2_ComponentReuse.mp b/Example38_Compiler2_ComponentReuse.mp
index 413e2cc..4b0b49b 100644
--- a/Example38_Compiler2_ComponentReuse.mp
+++ b/Example38_Compiler2_ComponentReuse.mp
@@ -1,7 +1,19 @@
 /* Example 38. Model of Compiler 2
-See also: Example 35: Compiler’s front end in incremental 
-mode from the Monterey Phoenix System and Software 
+See also:  from the Monterey Phoenix System and Software 
 Architecture and Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References:
+"Example 35: Compiler’s front end in incremental mode" 
+from Auguston, M. "Monterey Phoenix System and Software 
+Architecture and Workflow Modeling Language Manual" 
+(Version 4). 2020. Available online: 
+https://wiki.nps.edu/display/MP/Documentation 
+
+Search terms:
     
 	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 9c6d39a..591ccf7 100644
--- a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
+++ b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
@@ -1,7 +1,17 @@
 /* Example 39. Model of Merging Root Events to Reduce Run Time
-See also: Example 37: Merging root events model from the 
-Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References: 
+"Example 37: Merging root events model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 	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 a30e663..55ca471 100644
--- a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
+++ b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
@@ -1,7 +1,17 @@
 /* Example 40. Model of Application Process
-See also: Example 38: Application process model from the 
-Monterey Phoenix System and Software Architecture and 
-Workflow Modeling Language Manual
+
+Purpose:
+
+Description:
+
+References: 
+"Example 38: Application process model" from Auguston, M. 
+"Monterey Phoenix System and Software Architecture and 
+Workflow Modeling Language Manual" (Version 4). 2020. 
+Available online: 
+https://wiki.nps.edu/display/MP/Documentation
+
+Search terms:
 
 	An applicant submits application and needs to get it approved by
 the bureaucratic chain of two officials. If the first official approves,
-- 
GitLab