Skip to content
Snippets Groups Projects
Commit 2d8bcb98 authored by Pamela Dyer's avatar Pamela Dyer
Browse files

Search terms updated for 1-40

parent 6ebab462
No related branches found
No related tags found
4 merge requests!24Pamela's Merge Request: 07-23-2021,!23Pamela's Test Merge Request: 07-23-2021,!22Pamela's Merge Request: 07-15-2021,!21Search terms updated for 1-40
Showing
with 44 additions and 64 deletions
......@@ -17,7 +17,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scopes 1, 2, and 3.
==========================================================*/
......
......@@ -12,7 +12,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -28,7 +28,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
==========================================================*/
......
......@@ -15,7 +15,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -23,7 +23,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -15,7 +15,8 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
Scope 1: 8 traces in approx. 1.4 min.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -64,7 +64,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
==========================================================*/
......
......@@ -17,7 +17,7 @@ References:
Search terms:
Instructions:
Instructions: Run for Scopes 1 and up.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
......@@ -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).
==========================================================*/
......
......@@ -17,7 +17,8 @@ References:
Search terms:
Instructions:
Instructions: Run for Scope 1.
Scope 1: 6 traces in approx. 1.4 sec.
==========================================================*/
......
......@@ -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.
==========================================================*/
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment