From 4648ff2aabed706a995c42896b1f33e20a094c19 Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Sat, 24 Jul 2021 12:17:46 +0000 Subject: [PATCH] Update models/Application_examples/FindAdvisor.mp, models/Application_examples/Manufacturing_Process.mp, models/Application_examples/Swarm_UAV.mp, models/Application_examples/Turtles_in_the_Desert.mp, models/Application_examples/Dining_Philosophers.mp files --- models/Application_examples/Dining_Philosophers.mp | 2 +- models/Application_examples/FindAdvisor.mp | 2 +- models/Application_examples/Manufacturing_Process.mp | 2 +- models/Application_examples/Swarm_UAV.mp | 2 +- models/Application_examples/Turtles_in_the_Desert.mp | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/models/Application_examples/Dining_Philosophers.mp b/models/Application_examples/Dining_Philosophers.mp index 5ecbf71..912f09d 100644 --- a/models/Application_examples/Dining_Philosophers.mp +++ b/models/Application_examples/Dining_Philosophers.mp @@ -32,7 +32,7 @@ as a source of test cases for testing the implementation. References: -Search terms: dining philosophers behavior; ring topology behavior; event reshuffling; BUILD block; isomorphism +Search terms: dining philosophers behavior; riddles; ring topology behavior; event reshuffling; BUILD block; isomorphism 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. diff --git a/models/Application_examples/FindAdvisor.mp b/models/Application_examples/FindAdvisor.mp index b49f73d..72f211a 100644 --- a/models/Application_examples/FindAdvisor.mp +++ b/models/Application_examples/FindAdvisor.mp @@ -20,7 +20,7 @@ technology to study the possible interactions among them. References: -Search terms: finding advisor; human interactions modeling; human systems behavior +Search terms: finding advisor behavior; human interactions modeling; human systems behavior 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 diff --git a/models/Application_examples/Manufacturing_Process.mp b/models/Application_examples/Manufacturing_Process.mp index f407093..555b6d6 100644 --- a/models/Application_examples/Manufacturing_Process.mp +++ b/models/Application_examples/Manufacturing_Process.mp @@ -13,7 +13,7 @@ August 2014 References: -Search terms: manufacturing process behavior; manufacturing system; event sharing; probability analysis +Search terms: manufacturing process behavior; manufacturing system; event sharing; probability analysis; nested iteration Instructions: Run for Scope 1. Scope 1: 8 traces in approx. 1.4 min. diff --git a/models/Application_examples/Swarm_UAV.mp b/models/Application_examples/Swarm_UAV.mp index a23e279..2106574 100644 --- a/models/Application_examples/Swarm_UAV.mp +++ b/models/Application_examples/Swarm_UAV.mp @@ -13,7 +13,7 @@ Kristin Giammarco and Mikhail Auguston References: -Search terms: swarm behavior; autonomous; dependency tracking +Search terms: swarm behavior; autonomous; dependency tracking; nested coordination Instructions: Run for Scopes 1, 2, and 3. This model demonstrates how to get several instances of the same actor (UAV) diff --git a/models/Application_examples/Turtles_in_the_Desert.mp b/models/Application_examples/Turtles_in_the_Desert.mp index b1f3dfe..7fc7a3d 100644 --- a/models/Application_examples/Turtles_in_the_Desert.mp +++ b/models/Application_examples/Turtles_in_the_Desert.mp @@ -28,7 +28,7 @@ Don't try to construct a non-Euclidean geometry to References: -Search terms: lying turtles; ENSURE condition; BUILD block; SAY statement; MARK command; predicate logic +Search terms: riddles; ENSURE condition; BUILD block; SAY statement; MARK command; predicate logic Instructions: Run for Scope 1. There are 13 possible scenarios, and none when all three are telling the truth. Scope 1: 13 traces in less than 1 sec. -- GitLab