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

3 into 4

parent d70517d6
No related branches found
No related tags found
2 merge requests!50Pamela's Merge Request: 11-11-2021,!493 into 4
Hide whitespace changes
Inline Side-by-side
Showing
with 14 additions and 26 deletions
models/Application_examples/Beginner_Use_of_MP.mp
+ 1
− 1
View file @ d85510c8
......@@ -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. │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
......
models/Application_examples/Commercial_Flight.mp
+ 2
− 2
View file @ d85510c8
......@@ -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. │ │
│*│ └────────────────────────────────────────────────────┘ │
└*┴───────────────────────────────────────────────────────*/
......
models/Application_examples/FindAdvisor.mp
+ 1
− 1
View file @ d85510c8
......@@ -30,7 +30,7 @@
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ References ]─────────────────────────────────────┐ │
│*│ │ None │ │
│*│ │ None. │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
......
models/Application_examples/Knapsack_Weight_Limit.mp
+ 1
− 1
View file @ d85510c8
......@@ -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 ]───────────────────────────────────┐ │
......
models/Application_examples/Manufacturing_Process.mp
+ 1
− 1
View file @ d85510c8
......@@ -31,7 +31,7 @@
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ References ]─────────────────────────────────────┐ │
│*│ │ None │ │
│*│ │ None. │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
......
models/Application_examples/Small_Package_Delivery.mp
+ 1
− 1
View file @ d85510c8
......@@ -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 │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
......
models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
+ 1
− 1
View file @ d85510c8
......@@ -36,7 +36,7 @@
│*│ │
│*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
│*│ │ behavior, nuclear fuel cooling; │ │
│*│ │ user-defined relations │ │
│*│ │ user-defined relation │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ Instructions ]───────────────────────────────────┐ │
......
models/Application_examples/Turtles_in_the_Desert.mp
+ 1
− 1
View file @ d85510c8
......@@ -41,7 +41,7 @@
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ References ]─────────────────────────────────────┐ │
│*│ │ None │ │
│*│ │ None. │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
......
models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp
+ 1
− 13
View file @ d85510c8
......@@ -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 ]───────────────────────────────────┐ │
......
models/Example01_SimpleMessageFlow_EventCoordination.mp
+ 1
− 1
View file @ d85510c8
......@@ -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 ]─────────────────────────────────────┐ │
......
models/Example02_DataFlow_EventSharing.mp
+ 1
− 1
View file @ d85510c8
......@@ -5,7 +5,7 @@
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
│*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
│*│ │ To illustrate the reprentation of data items as │ │
│*│ │ To illustrate the representation of data items as │ │
│*│ │ behaviors. │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
......
models/Example04a_StackBehavior_UserDefinedRelations.mp
+ 1
− 1
View file @ d85510c8
......@@ -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 │ │
......
models/Example05_CarRace_NestedComposition.mp
+ 1
− 1
View file @ d85510c8
......@@ -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 │ │
│*│ └────────────────────────────────────────────────────┘ │
│*│ │
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment