diff --git a/README.md b/README.md deleted file mode 100644 index 5bf714cacd5ac6d508092bd7a1b7d9649daa4ea0..0000000000000000000000000000000000000000 --- a/README.md +++ /dev/null @@ -1,4 +0,0 @@ -# Preloaded Examples - -Phils change to readme.md on testing-checkout - diff --git a/Application_examples/.gitkeep b/models/Application_examples/.gitkeep similarity index 100% rename from Application_examples/.gitkeep rename to models/Application_examples/.gitkeep diff --git a/Application_examples/Authentication.mp b/models/Application_examples/Authentication.mp similarity index 100% rename from Application_examples/Authentication.mp rename to models/Application_examples/Authentication.mp diff --git a/Application_examples/Autonomous_Car.mp b/models/Application_examples/Autonomous_Car.mp similarity index 100% rename from Application_examples/Autonomous_Car.mp rename to models/Application_examples/Autonomous_Car.mp diff --git a/Application_examples/Beginner_Use_of_MP.mp b/models/Application_examples/Beginner_Use_of_MP.mp similarity index 100% rename from Application_examples/Beginner_Use_of_MP.mp rename to models/Application_examples/Beginner_Use_of_MP.mp diff --git a/Application_examples/CargoScreening.mp b/models/Application_examples/CargoScreening.mp similarity index 100% rename from Application_examples/CargoScreening.mp rename to models/Application_examples/CargoScreening.mp diff --git a/Application_examples/Commercial_Flight b/models/Application_examples/Commercial_Flight similarity index 100% rename from Application_examples/Commercial_Flight rename to models/Application_examples/Commercial_Flight diff --git a/Application_examples/Cycle_Pattern.mp b/models/Application_examples/Cycle_Pattern.mp similarity index 100% rename from Application_examples/Cycle_Pattern.mp rename to models/Application_examples/Cycle_Pattern.mp diff --git a/Application_examples/Dining_Philosophers.mp b/models/Application_examples/Dining_Philosophers.mp similarity index 100% rename from Application_examples/Dining_Philosophers.mp rename to models/Application_examples/Dining_Philosophers.mp diff --git a/Application_examples/Elevator.mp b/models/Application_examples/Elevator.mp similarity index 100% rename from Application_examples/Elevator.mp rename to models/Application_examples/Elevator.mp diff --git a/Application_examples/FindAdvisor.mp b/models/Application_examples/FindAdvisor.mp similarity index 100% rename from Application_examples/FindAdvisor.mp rename to models/Application_examples/FindAdvisor.mp diff --git a/Application_examples/First_Responder.mp b/models/Application_examples/First_Responder.mp similarity index 100% rename from Application_examples/First_Responder.mp rename to models/Application_examples/First_Responder.mp diff --git a/Application_examples/Knapsack_Weight_Limit.mp b/models/Application_examples/Knapsack_Weight_Limit.mp similarity index 100% rename from Application_examples/Knapsack_Weight_Limit.mp rename to models/Application_examples/Knapsack_Weight_Limit.mp diff --git a/Application_examples/MP_Architecture_Specification.mp b/models/Application_examples/MP_Architecture_Specification.mp similarity index 100% rename from Application_examples/MP_Architecture_Specification.mp rename to models/Application_examples/MP_Architecture_Specification.mp diff --git a/Application_examples/Manufacturing_Process.mp b/models/Application_examples/Manufacturing_Process.mp similarity index 100% rename from Application_examples/Manufacturing_Process.mp rename to models/Application_examples/Manufacturing_Process.mp diff --git a/Application_examples/Martian_Lander.mp b/models/Application_examples/Martian_Lander.mp similarity index 100% rename from Application_examples/Martian_Lander.mp rename to models/Application_examples/Martian_Lander.mp diff --git a/Application_examples/Prisoners_Dilemma.mp b/models/Application_examples/Prisoners_Dilemma.mp similarity index 100% rename from Application_examples/Prisoners_Dilemma.mp rename to models/Application_examples/Prisoners_Dilemma.mp diff --git a/Application_examples/Railroad_Crossing_Safety.mp b/models/Application_examples/Railroad_Crossing_Safety.mp similarity index 100% rename from Application_examples/Railroad_Crossing_Safety.mp rename to models/Application_examples/Railroad_Crossing_Safety.mp diff --git a/Application_examples/Replay_Attack.mp b/models/Application_examples/Replay_Attack.mp similarity index 100% rename from Application_examples/Replay_Attack.mp rename to models/Application_examples/Replay_Attack.mp diff --git a/Application_examples/Small_Package_Delivery.mp b/models/Application_examples/Small_Package_Delivery.mp similarity index 100% rename from Application_examples/Small_Package_Delivery.mp rename to models/Application_examples/Small_Package_Delivery.mp diff --git a/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp b/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp similarity index 100% rename from Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp rename to models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp diff --git a/Application_examples/Spiral_Software_Process b/models/Application_examples/Spiral_Software_Process similarity index 100% rename from Application_examples/Spiral_Software_Process rename to models/Application_examples/Spiral_Software_Process diff --git a/Application_examples/Surgery.mp b/models/Application_examples/Surgery.mp similarity index 100% rename from Application_examples/Surgery.mp rename to models/Application_examples/Surgery.mp diff --git a/Application_examples/Swarm_Search_and_Track.mp b/models/Application_examples/Swarm_Search_and_Track.mp similarity index 100% rename from Application_examples/Swarm_Search_and_Track.mp rename to models/Application_examples/Swarm_Search_and_Track.mp diff --git a/Application_examples/Swarm_UAV.mp b/models/Application_examples/Swarm_UAV.mp similarity index 100% rename from Application_examples/Swarm_UAV.mp rename to models/Application_examples/Swarm_UAV.mp diff --git a/Application_examples/Turtles_in_the_Desert.mp b/models/Application_examples/Turtles_in_the_Desert.mp similarity index 100% rename from Application_examples/Turtles_in_the_Desert.mp rename to models/Application_examples/Turtles_in_the_Desert.mp diff --git a/Application_examples/UAV_Ingress.mp b/models/Application_examples/UAV_Ingress.mp similarity index 100% rename from Application_examples/UAV_Ingress.mp rename to models/Application_examples/UAV_Ingress.mp diff --git a/Application_examples/UAV_OnStation.mp b/models/Application_examples/UAV_OnStation.mp similarity index 100% rename from Application_examples/UAV_OnStation.mp rename to models/Application_examples/UAV_OnStation.mp diff --git a/Application_examples/Unmanned_Spacecraft_Comms.mp b/models/Application_examples/Unmanned_Spacecraft_Comms.mp similarity index 100% rename from Application_examples/Unmanned_Spacecraft_Comms.mp rename to models/Application_examples/Unmanned_Spacecraft_Comms.mp diff --git a/Application_examples/Web_Browser_Formal_Security.mp b/models/Application_examples/Web_Browser_Formal_Security.mp similarity index 100% rename from Application_examples/Web_Browser_Formal_Security.mp rename to models/Application_examples/Web_Browser_Formal_Security.mp diff --git a/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors b/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors similarity index 100% rename from Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors rename to models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors diff --git a/Application_examples/Work_Productivity.mp b/models/Application_examples/Work_Productivity.mp similarity index 100% rename from Application_examples/Work_Productivity.mp rename to models/Application_examples/Work_Productivity.mp diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/models/Example01_SimpleMessageFlow_EventCoordination.mp similarity index 100% rename from Example01_SimpleMessageFlow_EventCoordination.mp rename to models/Example01_SimpleMessageFlow_EventCoordination.mp diff --git a/Example01a_UnreliableMessageFlow_VirtualEvents.mp b/models/Example01a_UnreliableMessageFlow_VirtualEvents.mp similarity index 100% rename from Example01a_UnreliableMessageFlow_VirtualEvents.mp rename to models/Example01a_UnreliableMessageFlow_VirtualEvents.mp diff --git a/Example02_DataFlow_EventSharing.mp b/models/Example02_DataFlow_EventSharing.mp similarity index 100% rename from Example02_DataFlow_EventSharing.mp rename to models/Example02_DataFlow_EventSharing.mp diff --git a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp b/models/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp similarity index 100% rename from Example03_ATMWithdrawal_BehaviorOfEnvironment.mp rename to models/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp diff --git a/Example04_StackBehavior_EnsureCondition.mp b/models/Example04_StackBehavior_EnsureCondition.mp similarity index 100% rename from Example04_StackBehavior_EnsureCondition.mp rename to models/Example04_StackBehavior_EnsureCondition.mp diff --git a/Example04a_StackBehavior_UserDefinedRelations.mp b/models/Example04a_StackBehavior_UserDefinedRelations.mp similarity index 100% rename from Example04a_StackBehavior_UserDefinedRelations.mp rename to models/Example04a_StackBehavior_UserDefinedRelations.mp diff --git a/Example04b_QueueBehavior_UserDefinedRelations.mp b/models/Example04b_QueueBehavior_UserDefinedRelations.mp similarity index 100% rename from Example04b_QueueBehavior_UserDefinedRelations.mp rename to models/Example04b_QueueBehavior_UserDefinedRelations.mp diff --git a/Example05_CarRace_NestedComposition.mp b/models/Example05_CarRace_NestedComposition.mp similarity index 100% rename from Example05_CarRace_NestedComposition.mp rename to models/Example05_CarRace_NestedComposition.mp diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/models/Example06_UnreliableChannel_AssertionChecking.mp similarity index 100% rename from Example06_UnreliableChannel_AssertionChecking.mp rename to models/Example06_UnreliableChannel_AssertionChecking.mp diff --git a/Example07_UnconstrainedStack_TraceAnnotation.mp b/models/Example07_UnconstrainedStack_TraceAnnotation.mp similarity index 100% rename from Example07_UnconstrainedStack_TraceAnnotation.mp rename to models/Example07_UnconstrainedStack_TraceAnnotation.mp diff --git a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp b/models/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp similarity index 100% rename from Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp rename to models/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp diff --git a/Example09_PipeFilter_TraceAnnotationQueries.mp b/models/Example09_PipeFilter_TraceAnnotationQueries.mp similarity index 100% rename from Example09_PipeFilter_TraceAnnotationQueries.mp rename to models/Example09_PipeFilter_TraceAnnotationQueries.mp diff --git a/Example10_PublishSubscribe_EventReshuffling.mp b/models/Example10_PublishSubscribe_EventReshuffling.mp similarity index 100% rename from Example10_PublishSubscribe_EventReshuffling.mp rename to models/Example10_PublishSubscribe_EventReshuffling.mp diff --git a/Example11_RingTopology_UserDefinedRelations.mp b/models/Example11_RingTopology_UserDefinedRelations.mp similarity index 100% rename from Example11_RingTopology_UserDefinedRelations.mp rename to models/Example11_RingTopology_UserDefinedRelations.mp diff --git a/Example12_CardiacArrestWorkflow_VirtualEvents.mp b/models/Example12_CardiacArrestWorkflow_VirtualEvents.mp similarity index 100% rename from Example12_CardiacArrestWorkflow_VirtualEvents.mp rename to models/Example12_CardiacArrestWorkflow_VirtualEvents.mp diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/models/Example13_ConsumersSuppliers_DependencyTracking.mp similarity index 100% rename from Example13_ConsumersSuppliers_DependencyTracking.mp rename to models/Example13_ConsumersSuppliers_DependencyTracking.mp diff --git a/Example14_ShoppingSpree_NumberAttributes.mp b/models/Example14_ShoppingSpree_NumberAttributes.mp similarity index 100% rename from Example14_ShoppingSpree_NumberAttributes.mp rename to models/Example14_ShoppingSpree_NumberAttributes.mp diff --git a/Example15_BackpackWeight_IntervalAttributes.mp b/models/Example15_BackpackWeight_IntervalAttributes.mp similarity index 100% rename from Example15_BackpackWeight_IntervalAttributes.mp rename to models/Example15_BackpackWeight_IntervalAttributes.mp diff --git a/Example16_StackBehavior_ProbabilityCalculationsType1.mp b/models/Example16_StackBehavior_ProbabilityCalculationsType1.mp similarity index 100% rename from Example16_StackBehavior_ProbabilityCalculationsType1.mp rename to models/Example16_StackBehavior_ProbabilityCalculationsType1.mp diff --git a/Example17_SharedEvents_ProbabilityCalculationsType1.mp b/models/Example17_SharedEvents_ProbabilityCalculationsType1.mp similarity index 100% rename from Example17_SharedEvents_ProbabilityCalculationsType1.mp rename to models/Example17_SharedEvents_ProbabilityCalculationsType1.mp diff --git a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp b/models/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp similarity index 100% rename from Example18_RedGreen_BayesianProbabilityCalculationsType2.mp rename to models/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp diff --git a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp b/models/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp similarity index 100% rename from Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp rename to models/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp diff --git a/Example20_Activity_Diagram.mp b/models/Example20_Activity_Diagram.mp similarity index 100% rename from Example20_Activity_Diagram.mp rename to models/Example20_Activity_Diagram.mp diff --git a/Example21_DataFlow_LocalReport.mp b/models/Example21_DataFlow_LocalReport.mp similarity index 100% rename from Example21_DataFlow_LocalReport.mp rename to models/Example21_DataFlow_LocalReport.mp diff --git a/Example22_SimpleMessageFlow_GlobalReport.mp b/models/Example22_SimpleMessageFlow_GlobalReport.mp similarity index 100% rename from Example22_SimpleMessageFlow_GlobalReport.mp rename to models/Example22_SimpleMessageFlow_GlobalReport.mp diff --git a/Example23_CarRace_LocalGraph.mp b/models/Example23_CarRace_LocalGraph.mp similarity index 100% rename from Example23_CarRace_LocalGraph.mp rename to models/Example23_CarRace_LocalGraph.mp diff --git a/Example24_Compiler_ComponentDiagram.mp b/models/Example24_Compiler_ComponentDiagram.mp similarity index 100% rename from Example24_Compiler_ComponentDiagram.mp rename to models/Example24_Compiler_ComponentDiagram.mp diff --git a/Example25_Graph_as_Data_Structure.mp b/models/Example25_Graph_as_Data_Structure.mp similarity index 100% rename from Example25_Graph_as_Data_Structure.mp rename to models/Example25_Graph_as_Data_Structure.mp diff --git a/Example26_UnreliableMessageFlow_GlobalQuery.mp b/models/Example26_UnreliableMessageFlow_GlobalQuery.mp similarity index 100% rename from Example26_UnreliableMessageFlow_GlobalQuery.mp rename to models/Example26_UnreliableMessageFlow_GlobalQuery.mp diff --git a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp b/models/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp similarity index 100% rename from Example27_AssemblingStatistics_Table_and_Bar_Chart.mp rename to models/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp diff --git a/Example28_AssemblingStatistics_Histogram.mp b/models/Example28_AssemblingStatistics_Histogram.mp similarity index 100% rename from Example28_AssemblingStatistics_Histogram.mp rename to models/Example28_AssemblingStatistics_Histogram.mp diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/models/Example29_AssemblingStatistics_Gantt_Chart.mp similarity index 100% rename from Example29_AssemblingStatistics_Gantt_Chart.mp rename to models/Example29_AssemblingStatistics_Gantt_Chart.mp diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/models/Example30_MicrowaveOven_ModelingModelChecking.mp similarity index 100% rename from Example30_MicrowaveOven_ModelingModelChecking.mp rename to models/Example30_MicrowaveOven_ModelingModelChecking.mp diff --git a/Example31_Aspect_Oriented_Paradigm.mp b/models/Example31_Aspect_Oriented_Paradigm.mp similarity index 100% rename from Example31_Aspect_Oriented_Paradigm.mp rename to models/Example31_Aspect_Oriented_Paradigm.mp diff --git a/Example32_Petri_Net.mp b/models/Example32_Petri_Net.mp similarity index 100% rename from Example32_Petri_Net.mp rename to models/Example32_Petri_Net.mp diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/models/Example33_ATMWithdrawal_StatechartView.mp similarity index 100% rename from Example33_ATMWithdrawal_StatechartView.mp rename to models/Example33_ATMWithdrawal_StatechartView.mp diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/models/Example34_FiniteStateDiagram_PathAnnotation.mp similarity index 100% rename from Example34_FiniteStateDiagram_PathAnnotation.mp rename to models/Example34_FiniteStateDiagram_PathAnnotation.mp diff --git a/Example35_FiniteStateDiagram_PathDiagram.mp b/models/Example35_FiniteStateDiagram_PathDiagram.mp similarity index 100% rename from Example35_FiniteStateDiagram_PathDiagram.mp rename to models/Example35_FiniteStateDiagram_PathDiagram.mp diff --git a/Example36_Authentication_SystemReuse.mp b/models/Example36_Authentication_SystemReuse.mp similarity index 100% rename from Example36_Authentication_SystemReuse.mp rename to models/Example36_Authentication_SystemReuse.mp diff --git a/Example37_Compiler1_ComponentReuse.mp b/models/Example37_Compiler1_ComponentReuse.mp similarity index 100% rename from Example37_Compiler1_ComponentReuse.mp rename to models/Example37_Compiler1_ComponentReuse.mp diff --git a/Example38_Compiler2_ComponentReuse.mp b/models/Example38_Compiler2_ComponentReuse.mp similarity index 100% rename from Example38_Compiler2_ComponentReuse.mp rename to models/Example38_Compiler2_ComponentReuse.mp diff --git a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp b/models/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp similarity index 100% rename from Example39_Merging_Root_Events_to_Reduce_Run_Time.mp rename to models/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp diff --git a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp b/models/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp similarity index 100% rename from Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp rename to models/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp