Finished adding model purpose and author credits sections.

Application_examples/Spiral_Software_Process

@@ -6,7 +6,7 @@ Author credits:
 
 Purpose:
 
-Users may use this model to learn about SHARE ALL usage to make connections
+This model demonstrates the usage of shared events to model the spiral software process to develop a prototype and release a product. Users may use this model to learn about SHARE ALL usage to make connections between roots.
 
 Description:
 

Application_examples/Surgery.mp

 /* Model of Surgery
 
+Author credits:
+
+Created by J. Quartuccio (2017)
+Naval Postgraduate School
+
 Purpose:
 
+This model demonstrates decisionmaking in a system with several actors 
+capable of making choices that could effect the situation. Users may 
+reference this model to learn about using ENSURE and COORDINATE statements 
+to constrain a model and how to make a decision structure.
+
 Description:
 
 Surgery example 
 This model shows an example of decisions made by a leader (Physician),
 a subordinate(s) (Nurse(s)), and the Environment as applied in a surgery
 setting.
+
+References:
+
 "Identifying decision patterns using Monterey Phoenix" by Quartuccio, John, 
 Kristin Giammarco, and Mikhail Auguston. 
 Available at https://ieeexplore.ieee.org/abstract/document/7994952
 
-Created by: J. Quartuccio (2017)
-Naval Postgraduate School
-
-References:
-
 Search terms:
 
 Instructions:

Application_examples/Swarm_Search_and_Track.mp

 /* Model of Swarm Search and Track
 
+Author credits:
+
+Created by Michael Revill on the 22nd of February, 2016
+Edited by K.Giamamrco on the 26th of February, 2016
+
 Purpose:
 
+This model demonstrates using a decision structure to 
+model a UAV drone's target aquisition. Users may 
+reference this model to learn about COORDINATE statements 
+and or blocks when automatically generating traces with 
+connections between roots.
+
 Description:
 
-Michael Revill
-22 February 2016
 Incorporating Failure Modes and Failsafe Behaviors
 MP model Swarm_Search_and_Track elaborates on 
 "Perform_Mission" event in Swarm2-v8.mp
 
-Edited by K.Giamamrco on 26 Feb 2016
+
 Established naming convention:
 Noun-oriented events are actors  (root events)
 Verb-oriented events in sentence case are activities 

Application_examples/Swarm_UAV.mp

 /* Model of Swarm UAV
 
+Author credits:
+
+Kristin Giammarco and Mikhail Auguston
+MP Model based on "Swarm CONOPs" Draft 11 February 2015 
+11 February 2015 - Initial Model Started by KGiammarco
+25 May 2015 - M.Auguston Merged several COORDINATE, SHARE ALL to speed up 
+trace generation
+22 July 2015 - added a few more coordinate statements to capture dependencies 
+
 Purpose:
 
-Description:
+This model demonstrates using itteration to model multiple drones with similar 
+duties. Users may reference this model as an example of using itteration to make 
+multiple "roots" and connecting them with COORDINATE statements.
 
-Kristin Giammarco and Mikhail Auguston
-  MP Model based on "Swarm CONOPs" Draft 11 February 2015 
-	11 February 2015 - Initial Model Started by KGiammarco
-    25 May 2015 - M.Auguston Merged several COORDINATE, SHARE ALL to speed up 
-    	trace generation
-    22 July 2015 - added a few more coordinate statements to capture dependencies 
+Description:
 
-	This model demonstrates how to get several instances of the same actor (UAV) 
-    coordinated with external events (run for scopes 2 and 3 to see 2 and 3 UAVs, 
-    respectively).
+This model demonstrates how to get several instances of the same actor (UAV) 
+coordinated with external events 
 
 References:
 
@@ -21,6 +26,8 @@ Search terms:
 
 Instructions:
 
+Run for scopes 2 and 3 to see 2 and 3 UAVs, respectively.
+
 ==========================================================*/
 
 SCHEMA Swarm_UAV

Application_examples/Turtles_in_the_Desert.mp

 /* Model of Turtles in the Desert
 
+Author credits:
+
+
+
 Purpose:
 
+This model demonstrates using MP to solve a logic puzzle with exhaustive trace 
+generation. Users may use this model as an example of using IF, ENSURE, and 
+BUILD statements to constrain models as logical problem solving tools.
+
 Description:
 
 Example39    turtles.mp
@@ -9,7 +17,6 @@ Example39    turtles.mp
  Demonstration of the benefits for complete
  example set generation in MP.
  
-
  Three turtles are moving on a desert plain, all in the same direction.
  The first has been asked: "What do you see?" It answered:   
  "I see nobody before me and two turtles behind." The second turtle has been 

Application_examples/UAV_Ingress.mp

 /* Model of UAV Ingress
 
+Author credits:
+
+Created by A. Constable May 2017
+
 Purpose:
 
+This model demonstrates a coordinated UAV flight scenario with 
+multiple teams involved in making the launch and flight happen. 
+Users may use this model to learn aobut forming relationships 
+between roots using COORDINATE statements.
+
 Description:
 
 UAV HADR Mission
@@ -12,8 +21,6 @@ phase, and followed by the on-station phase.
 
 This model contains an unexpected behavior in which the UAV status
 is acceptable but the operator aborts the ingress (trace 2).
-  
-  created by A. Constable May 2017
 
 References:
 

Application_examples/UAV_OnStation.mp

 /* Model of UAV on Station
 
+Author credits:
+
+Created by K.Giammarco on the 3rd of February, 2017
+Modified by K.Giammarco on the 4th of February, 2017 to remove normal events from failure mode scenarios
+Modified by K.Giammarco on the 5th of February, 2017 to add normal events back to failure mode scenarios 
+and added annotations
+
 Purpose:
 
+This model demonstrates the use of concurrent events within a root and annotations 
+with SAY and MARK in order to improve the clarity of the model. Users may use this 
+model as an example of COORDINATE, IF, and MARK statement usage in order to generate 
+"stories" for traces automatically.
+
 Description:
 
 A Model for an Unmanned Aerial Vehicle in the OnStation Phase of an ISR Mission
   
-Demonstrates use of concurrent events within a root and annotations with
-SAY and MARK
+References:
 
 "Comprehensive use case scenario generation: An approach for modeling system 
 of systems behaviors" by Kristin Giammarco, Kathleen Giles, and Clifford A. Whitcomb
 Paper available at https://ieeexplore.ieee.org/abstract/document/7994950
 
-  created by K.Giammarco on 02-03-2017
-  modified by K.Giammarco on 02-04-2017 to remove normal events from failure mode scenarios
-  modified by K.Giammarco on 02-05-2017 to add normal events back to failure mode scenarios 
-  										and added annotations
-
-References:
-
 Search terms:
 
 Instructions:

Application_examples/Unmanned_Spacecraft_Comms.mp

 /* Model of Unmanned Spacecraft Comms
 
+Author credits:
+
+Created by C. Nelson on the 4th of October, 2015
+
 Purpose:
 
+This model demonstrates using MP to model communications between a 
+spacecraft and a station. Users may reference this model as an example 
+of using COORDINATE and SHARE ALL statements to mark relationships 
+between roots.
+
 Description:
 
 Heartbeat.mp
-October 4, 2015
-Created by: C. Nelson
 	
 The communication link between a spacecraft and the ISS is monitored
 through a frame counter called the "Heartbeat". This model represents

Application_examples/Web_Browser_Formal_Security.mp

 /* Model of Web Browser Formal Security
 
+Author credits:
+
+
+
 Purpose:
 
+This model demonstrates using MP to model server-client communication 
+involving a bad server and a good server. Users may reference this model 
+for learning about using BUILD, ENSURE, COORDINATE, and scope limitations 
+in order to add clarity to traces that would be difficult to understand 
+otherwise, and cut out unwanted traces.
+
 Description:
 
 Example 40. MP Web browsers formal security model.

Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors

 /* Model of Wide Range Search for Wreckage and Survivors
 
+Author credits:
+
+
+
 Purpose:
 
+This model demonstrates using MP to model a search and rescue opporation with 
+several environmental and coordination concerns to address. Users may reference this model when learning about 
+using COORDINATE statements to create complex diagrams through traces.
+
 Description:
 
 Example8_OperationalProcess.mp

Application_examples/Work_Productivity.mp

 /* Model of Work Productivity
 
+Author credits:
+
+
+
 Purpose:
 
+This model demonstrates using MP to show how visitors can 
+distract workers with stacked time usage. Users may reference 
+this model when learning about BUILD, COORDINATE, and SAY 
+statements in order to constrain models and comment on models 
+directly in the traces.
+
 Description:
 
 demonstrates how to print all