From d85510c8972bf7bc82215fba2a7c9bc26a858b93 Mon Sep 17 00:00:00 2001 From: Pamela Dyer <pamela.dyer@uconn.edu> Date: Thu, 11 Nov 2021 15:22:17 -0800 Subject: [PATCH] 3 into 4 --- models/Application_examples/Beginner_Use_of_MP.mp | 2 +- models/Application_examples/Commercial_Flight.mp | 4 ++-- models/Application_examples/FindAdvisor.mp | 2 +- .../Application_examples/Knapsack_Weight_Limit.mp | 2 +- .../Application_examples/Manufacturing_Process.mp | 2 +- .../Application_examples/Small_Package_Delivery.mp | 2 +- .../Spent_Fuel_Cooling_and_Cleanup.mp | 2 +- .../Application_examples/Turtles_in_the_Desert.mp | 2 +- ...Wide_Range_Search_for_Wreckage_and_Survivors.mp | 14 +------------- ...xample01_SimpleMessageFlow_EventCoordination.mp | 2 +- models/Example02_DataFlow_EventSharing.mp | 2 +- ...xample04a_StackBehavior_UserDefinedRelations.mp | 2 +- models/Example05_CarRace_NestedComposition.mp | 2 +- 13 files changed, 14 insertions(+), 26 deletions(-) diff --git a/models/Application_examples/Beginner_Use_of_MP.mp b/models/Application_examples/Beginner_Use_of_MP.mp index e8af862..71fd182 100644 --- a/models/Application_examples/Beginner_Use_of_MP.mp +++ b/models/Application_examples/Beginner_Use_of_MP.mp @@ -12,7 +12,7 @@ │*│ │ To provide a simple example of │ │ │*│ │ 1) the operational process of using MP-Firebird as │ │ │*│ │ a beginner, and │ │ -│*│ │ 2) themodeling process of formalizing a previously │ │ +│*│ │ 2) the modeling process of formalizing a previously│ │ │*│ │ unstated assumption. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ diff --git a/models/Application_examples/Commercial_Flight.mp b/models/Application_examples/Commercial_Flight.mp index 7b1c352..a1a5dc5 100644 --- a/models/Application_examples/Commercial_Flight.mp +++ b/models/Application_examples/Commercial_Flight.mp @@ -39,7 +39,7 @@ │*│ │ Monica Farah-Stapleton. (2014). "Controlling │ │ │*│ │ Design Complexity with the Monterey Phoenix │ │ │*│ │ Approach." Procedia Computer Science 36: │ │ -│*│ │ 204-209 │ │ +│*│ │ 204-209. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ @@ -50,7 +50,7 @@ │*│ ┌─[ Instructions ]───────────────────────────────────┠│ │*│ │ Run for Scope 1. │ │ │*│ ├─[ Run Statistics ]─────────────────────────────────┤ │ -│*│ │ Scope 1: 2 traces in less than 1 sec. │ │ +│*│ │ Scope 1: 8 traces in approx. 2.7 sec. │ │ │*│ └────────────────────────────────────────────────────┘ │ └*┴───────────────────────────────────────────────────────*/ diff --git a/models/Application_examples/FindAdvisor.mp b/models/Application_examples/FindAdvisor.mp index e9743d4..630b8cd 100644 --- a/models/Application_examples/FindAdvisor.mp +++ b/models/Application_examples/FindAdvisor.mp @@ -30,7 +30,7 @@ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ References ]─────────────────────────────────────┠│ -│*│ │ None │ │ +│*│ │ None. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ diff --git a/models/Application_examples/Knapsack_Weight_Limit.mp b/models/Application_examples/Knapsack_Weight_Limit.mp index 8dcbf46..2404923 100644 --- a/models/Application_examples/Knapsack_Weight_Limit.mp +++ b/models/Application_examples/Knapsack_Weight_Limit.mp @@ -44,7 +44,7 @@ │*│ │ │ │ │*│ │ "Knapsack problem." Wikipedia. Wikimedia │ │ │*│ │ Foundation, August 26, 2021. │ │ -│*│ │ https://en.wikipedia.org/wiki/Knapsack_problem │ │ +│*│ │ https://en.wikipedia.org/wiki/Knapsack_problem │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ diff --git a/models/Application_examples/Manufacturing_Process.mp b/models/Application_examples/Manufacturing_Process.mp index b13605f..2ece47e 100644 --- a/models/Application_examples/Manufacturing_Process.mp +++ b/models/Application_examples/Manufacturing_Process.mp @@ -31,7 +31,7 @@ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ References ]─────────────────────────────────────┠│ -│*│ │ None │ │ +│*│ │ None. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ diff --git a/models/Application_examples/Small_Package_Delivery.mp b/models/Application_examples/Small_Package_Delivery.mp index b11c17c..e79412b 100644 --- a/models/Application_examples/Small_Package_Delivery.mp +++ b/models/Application_examples/Small_Package_Delivery.mp @@ -59,7 +59,7 @@ │*│ │ Validation (V&V) of System Behavior │ │ │*│ │ Specifications." Final Technical Report │ │ │*│ │ SERC-2018-TR-116; Systems Engineering Research │ │ -│*│ │ Center: Hoboken, NJ, USA, 2018.Available online: │ │ +│*│ │ Center: Hoboken, NJ, USA, 2018. Available online: │ │ │*│ │ https://apps.dtic.mil/sti/citations/AD1063328 │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ diff --git a/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp b/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp index be6ee8d..b5721b9 100644 --- a/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp +++ b/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp @@ -36,7 +36,7 @@ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ │*│ │ behavior, nuclear fuel cooling; │ │ -│*│ │ user-defined relations │ │ +│*│ │ user-defined relation │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Instructions ]───────────────────────────────────┠│ diff --git a/models/Application_examples/Turtles_in_the_Desert.mp b/models/Application_examples/Turtles_in_the_Desert.mp index ffae44e..d45d70d 100644 --- a/models/Application_examples/Turtles_in_the_Desert.mp +++ b/models/Application_examples/Turtles_in_the_Desert.mp @@ -41,7 +41,7 @@ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ References ]─────────────────────────────────────┠│ -│*│ │ None │ │ +│*│ │ None. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ diff --git a/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp b/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp index a3f38f7..487622a 100644 --- a/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp +++ b/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp @@ -40,19 +40,7 @@ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ References ]─────────────────────────────────────┠│ -│*│ │ Jackson, Daniel. "Alloy: A Language and Tool for │ │ -│*│ │ Exploring Software Designs." Communications of │ │ -│*│ │ the ACM 62, no. 9 (September 2019): 66–76. │ │ -│*│ │ https://doi.org/10.1145/3338843 │ │ -│*│ │ https://dl.acm.org/doi/10.1145/3338843 │ │ -│*│ │ │ │ -│*│ │ Akhawe, Devdatta, Adam Barth, Peifung E. Lam, John │ │ -│*│ │ Mitchell, and Dawn Song. "Towards a Formal │ │ -│*│ │ Foundation of Web Security." In Proceedings of │ │ -│*│ │ 2010 23rd IEEE Computer Security Foundations │ │ -│*│ │ Symposium, July 2010, 290–304. │ │ -│*│ │ https://doi.org/10.1109/csf.2010.27 │ │ -│*│ │ https://ieeexplore.ieee.org/document/5552637 │ │ +│*│ │ None. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ diff --git a/models/Example01_SimpleMessageFlow_EventCoordination.mp b/models/Example01_SimpleMessageFlow_EventCoordination.mp index b336fa0..765f2eb 100644 --- a/models/Example01_SimpleMessageFlow_EventCoordination.mp +++ b/models/Example01_SimpleMessageFlow_EventCoordination.mp @@ -19,7 +19,7 @@ │*│ │ merging behaviors of Sender and Receiver and │ │ │*│ │ adding the PRECEDES relation for the selected │ │ │*│ │ send/receive pairs. The coordination operation │ │ -│*│ │ behaves as a "cross-cutting" derivation rule │ │ +│*│ │ behaves as a "cross-cutting" derivation rule. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ References ]─────────────────────────────────────┠│ diff --git a/models/Example02_DataFlow_EventSharing.mp b/models/Example02_DataFlow_EventSharing.mp index 5dc8b33..56e7f7d 100644 --- a/models/Example02_DataFlow_EventSharing.mp +++ b/models/Example02_DataFlow_EventSharing.mp @@ -5,7 +5,7 @@ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ │*│ ┌─[ Purpose ]────────────────────────────────────────┠│ -│*│ │ To illustrate the reprentation of data items as │ │ +│*│ │ To illustrate the representation of data items as │ │ │*│ │ behaviors. │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ diff --git a/models/Example04a_StackBehavior_UserDefinedRelations.mp b/models/Example04a_StackBehavior_UserDefinedRelations.mp index e25efab..8a5240d 100644 --- a/models/Example04a_StackBehavior_UserDefinedRelations.mp +++ b/models/Example04a_StackBehavior_UserDefinedRelations.mp @@ -7,7 +7,7 @@ │*│ ┌─[ Purpose ]────────────────────────────────────────┠│ │*│ │ To │ │ │*│ │ 1) present use of BUILD block as a filtering │ │ -│*│ │ operation on event trace segments, │ │ +│*│ │ operation on event trace segments, │ │ │*│ │ 2) demonstrate the combination of imperative │ │ │*│ │ (event grammar) and declarative (Boolean │ │ │*│ │ expressions) constructs for behavior │ │ diff --git a/models/Example05_CarRace_NestedComposition.mp b/models/Example05_CarRace_NestedComposition.mp index 58277b7..819854c 100644 --- a/models/Example05_CarRace_NestedComposition.mp +++ b/models/Example05_CarRace_NestedComposition.mp @@ -41,7 +41,7 @@ │*│ ┌─[ Search Terms ]───────────────────────────────────┠│ │*│ │ behavior, car race; event sharing; │ │ │*│ │ coordination, one-to-many; │ │ -│*│ │coordination, nested composition; SAY statement; │ │ +│*│ │ coordination, nested composition; SAY statement; │ │ │*│ │ BUILD block; predicate logic; trace annotation │ │ │*│ └────────────────────────────────────────────────────┘ │ │*│ │ -- GitLab