From 72608c46eac892cc463b5dce2259e22026aa7c45 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 8 Jul 2021 20:06:56 +0000
Subject: [PATCH] Pamela's Merge Request: 07-08-2021
---
Example01_SimpleMessageFlow_EventCoordination.mp | 4 ++--
Example01a_UnreliableMessageFlow_VirtualEvents.mp | 5 ++---
Example02_DataFlow_EventSharing.mp | 5 ++---
Example03_ATMWithdrawal_BehaviorOfEnvironment.mp | 4 ++--
Example04_StackBehavior_EnsureCondition.mp | 5 ++---
Example04a_StackBehavior_UserDefinedRelations.mp | 5 ++---
Example04b_QueueBehavior_UserDefinedRelations.mp | 5 ++---
Example05_CarRace_NestedComposition.mp | 5 ++---
Example06_UnreliableChannel_AssertionChecking.mp | 5 ++---
Example07_UnconstrainedStack_TraceAnnotation.mp | 5 ++---
...EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp | 2 +-
Example09_PipeFilter_TraceAnnotationQueries.mp | 7 +++----
Example10_PublishSubscribe_EventReshuffling.mp | 8 +++-----
Example11_RingTopology_UserDefinedRelations.mp | 8 +++-----
Example12_CardiacArrestWorkflow_VirtualEvents.mp | 5 ++---
Example13_ConsumersSuppliers_DependencyTracking.mp | 8 +++-----
Example14_ShoppingSpree_NumberAttributes.mp | 5 ++---
Example15_BackpackWeight_IntervalAttributes.mp | 5 ++---
Example16_StackBehavior_ProbabilityCalculationsType1.mp | 5 ++---
Example17_SharedEvents_ProbabilityCalculationsType1.mp | 5 ++---
...le18_RedGreen_BayesianProbabilityCalculationsType2.mp | 5 ++---
...StackBehavior_BayesianProbabilityCalculationsType2.mp | 5 ++---
Example20_Activity_Diagram.mp | 5 ++---
Example21_DataFlow_LocalReport.mp | 5 ++---
Example22_SimpleMessageFlow_GlobalReport.mp | 5 ++---
Example23_CarRace_LocalGraph.mp | 5 ++---
Example24_Compiler_ComponentDiagram.mp | 8 +++-----
Example25_Graph_as_Data_Structure.mp | 5 ++---
Example26_UnreliableMessageFlow_GlobalQuery.mp | 5 ++---
Example27_AssemblingStatistics_Table_and_Bar_Chart.mp | 5 ++---
Example28_AssemblingStatistics_Histogram.mp | 5 ++---
Example29_AssemblingStatistics_Gantt_Chart.mp | 5 ++---
Example30_MicrowaveOven_ModelingModelChecking.mp | 9 +++------
Example31_Aspect_Oriented_Paradigm.mp | 5 ++---
Example32_Petri_Net.mp | 8 +++-----
Example33_ATMWithdrawal_StatechartView.mp | 5 ++---
Example34_FiniteStateDiagram_PathAnnotation.mp | 8 +++-----
Example35_FiniteStateDiagram_PathDiagram.mp | 8 +++-----
Example36_Authentication_SystemReuse.mp | 2 +-
Example37_Compiler1_ComponentReuse.mp | 8 +++-----
Example38_Compiler2_ComponentReuse.mp | 8 +++-----
Example39_Merging_Root_Events_to_Reduce_Run_Time.mp | 5 ++---
...Process_partitioningLargeSchemaIntoSeparateSchemas.mp | 5 ++---
43 files changed, 95 insertions(+), 145 deletions(-)
diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/Example01_SimpleMessageFlow_EventCoordination.mp
index 759eb51..6120cf7 100644
--- a/Example01_SimpleMessageFlow_EventCoordination.mp
+++ b/Example01_SimpleMessageFlow_EventCoordination.mp
@@ -19,10 +19,10 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: simple message flow, simple interaction pattern, event coordination
Instructions: Run for Scopes 1 and up. Traces are generated
-in a sequence diagram-like formatby default. Try rotating
+in a sequence diagram-like format by default. Try rotating
a selected trace 90 degrees counterclockwise, or (from the
Options menu above the diagram) selecting the "Swim Lanes"
checkbox to view the trace in an activity diagram format.
diff --git a/Example01a_UnreliableMessageFlow_VirtualEvents.mp b/Example01a_UnreliableMessageFlow_VirtualEvents.mp
index 47d307e..62db1d7 100644
--- a/Example01a_UnreliableMessageFlow_VirtualEvents.mp
+++ b/Example01a_UnreliableMessageFlow_VirtualEvents.mp
@@ -11,13 +11,12 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: unreliable message flow, unreliable communication, event coordination, virtual event
We may want to specify behaviors when some messages get lost in the transition.
It can be done using ‘virtual’ events.
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim
-Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example02_DataFlow_EventSharing.mp b/Example02_DataFlow_EventSharing.mp
index 4aa0ab2..9b7862f 100644
--- a/Example02_DataFlow_EventSharing.mp
+++ b/Example02_DataFlow_EventSharing.mp
@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: data flow, event sharing
data items as behaviors
@@ -33,8 +33,7 @@ Event traces specified by the schema represent system’s emergent behavior,
where behaviors of subsystems are influenced by the coordination.
This is a toy example of System of Systems emerging behavior modeling.
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a
-"Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
index 9ea250c..e19a9b8 100644
--- a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
+++ b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: ATM withdrawal, behavior of environment, ATM system, data base
Integrated system and environment behaviors
@@ -35,7 +35,7 @@ like traces 2 or 3 for scope 1), and then collapsing root event, it becomes poss
to view a traditional "box-and-arrow" architecture diagram, i.e. to visualize an architecture view.
Instructions: Run for Scopes 1 and up. "Sequence" mode yields views very similar to the UML or SysML
-Sequence Diagrams. Viewing of traces also includes a "Swim Lanes" option.
+Sequence Diagrams.
==========================================================*/
diff --git a/Example04_StackBehavior_EnsureCondition.mp b/Example04_StackBehavior_EnsureCondition.mp
index def63cd..6b80025 100644
--- a/Example04_StackBehavior_EnsureCondition.mp
+++ b/Example04_StackBehavior_EnsureCondition.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: stack behavior, ensure condition
The event trace is a set of events and the Boolean expressions
in MP can embrace the traditional predicate calculus notation. A set
@@ -40,8 +40,7 @@ and demonstrates an example of combining imperative (event grammar)
and declarative (Boolean expressions) constructs for behavior
specification.
-Instructions: Run for Scopes 1 and up. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example04a_StackBehavior_UserDefinedRelations.mp b/Example04a_StackBehavior_UserDefinedRelations.mp
index 359ec79..bc4f203 100644
--- a/Example04a_StackBehavior_UserDefinedRelations.mp
+++ b/Example04a_StackBehavior_UserDefinedRelations.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: stack behavior, pop/push relationship, user defined relation, isomorphic behavior
The event trace is a set of events and the Boolean expression constructs in MP
can support the traditional first order predicate calculus notation.
@@ -38,8 +38,7 @@ as yet another kind of behavior composition, and demonstrates an
example of combining imperative (event grammar) and declarative
(Boolean expressions) constructs for behavior specification.
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a
-"Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example04b_QueueBehavior_UserDefinedRelations.mp b/Example04b_QueueBehavior_UserDefinedRelations.mp
index f9ff1af..f6f4e4c 100644
--- a/Example04b_QueueBehavior_UserDefinedRelations.mp
+++ b/Example04b_QueueBehavior_UserDefinedRelations.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: queue behavior, user defined relation, isomorphic behavior
This rule specifies the behavior of a queue in terms of queue operations
enqueue and dequeue. It is assumed that initially Queue is empty.
@@ -30,8 +30,7 @@ as yet another kind of behavior composition, and demonstrates an
example of combining imperative (event grammar) and declarative
(Boolean expressions) constructs for behavior specification.
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim
-Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example05_CarRace_NestedComposition.mp b/Example05_CarRace_NestedComposition.mp
index 1f23fe2..16ba248 100644
--- a/Example05_CarRace_NestedComposition.mp
+++ b/Example05_CarRace_NestedComposition.mp
@@ -11,7 +11,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: car race, event sharing, nested composition
more coordination patterns:
- ordering of selected events in concurrent threads
@@ -19,8 +19,7 @@ more coordination patterns:
- one-many coordination.
-Instructions: Run for Scopes 1 and up. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp
index 15e1b9b..1c0e312 100644
--- a/Example06_UnreliableChannel_AssertionChecking.mp
+++ b/Example06_UnreliableChannel_AssertionChecking.mp
@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: unreliable channel, communicating, assertion checking
Assertion checking, Communicating via unreliable channel.
@@ -33,8 +33,7 @@ Search terms:
if the property should always hold, it makes sense to convert it
into the ENSURE condition.
- Instructions: Run for Scopes 1 and up. Viewing of traces also
- includes a "Swim Lanes" option.
+ Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example07_UnconstrainedStack_TraceAnnotation.mp b/Example07_UnconstrainedStack_TraceAnnotation.mp
index 058f5b7..f66c9e5 100644
--- a/Example07_UnconstrainedStack_TraceAnnotation.mp
+++ b/Example07_UnconstrainedStack_TraceAnnotation.mp
@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: unconstrained stack, testing/debugging, trace annotation, empty stack
Trace annotation techniques
@@ -30,8 +30,7 @@ might violate certain property, and how to annotate these particular
events in the trace with additional messages. Programmers will recognize
the use of debugging print statements for traditional program testing/debugging.
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes a
-"Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
index fd7fe72..1c53216 100644
--- a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
+++ b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: employee, employer, business process, coordination across hierarchy levels
The web site http://www.infoq.com/articles/bpelbpm
“Why BPEL is not the holy grail for BPM “
diff --git a/Example09_PipeFilter_TraceAnnotationQueries.mp b/Example09_PipeFilter_TraceAnnotationQueries.mp
index 3afd23e..e44ddca 100644
--- a/Example09_PipeFilter_TraceAnnotationQueries.mp
+++ b/Example09_PipeFilter_TraceAnnotationQueries.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: pipe filter, architecture model, trace annotation queries
pipe/filter architecture model with 2 filters
@@ -21,9 +21,8 @@ Search terms:
3) received message can stay in the Filter for while,
before being sent (if at all).
-Instructions: Run for Scopes 1, 2, 3, and 4. Viewing of traces
-also includes a "Swim Lanes" option.
- Scope 4: 959 traces in approx. 6.1 sec.
+Instructions: Run for Scopes 1, 2, 3, and 4.
+ Scope 4: 959 traces in approx. 6.1 sec.
==========================================================*/
diff --git a/Example10_PublishSubscribe_EventReshuffling.mp b/Example10_PublishSubscribe_EventReshuffling.mp
index 720a84c..2689d9a 100644
--- a/Example10_PublishSubscribe_EventReshuffling.mp
+++ b/Example10_PublishSubscribe_EventReshuffling.mp
@@ -11,15 +11,13 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: publish, subscribe, architecture model, event reshuffling
Publisher sends a notification to all active Subscribers
when new information is available.
-Instructions: Run for Scopes 1, 2, and 3. Viewing of traces
-also includes a "Swim Lanes" option.
-
-Scope 3: 3813 traces in approx. 7.4 min.
+Instructions: Run for Scopes 1, 2, and 3.
+ Scope 3: 3813 traces in approx. 7.4 min.
==========================================================*/
diff --git a/Example11_RingTopology_UserDefinedRelations.mp b/Example11_RingTopology_UserDefinedRelations.mp
index ed29e13..8892917 100644
--- a/Example11_RingTopology_UserDefinedRelations.mp
+++ b/Example11_RingTopology_UserDefinedRelations.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: ring topology, event reshuffling, user defined relation
ring topology
an example of user-defined relation use
@@ -19,10 +19,8 @@ Search terms:
The following is a model of network ring,
where each node interacts with its left and right neighbors only.
-Instructions: Run for Scopes 1, 2, and 3. Viewing of traces also includes
-a "Swim Lanes" option.
-
-Scope 3: 1570 traces in approx. 31 sec.
+Instructions: Run for Scopes 1, 2, and 3.
+ Scope 3: 1570 traces in approx. 31 sec.
==========================================================*/
diff --git a/Example12_CardiacArrestWorkflow_VirtualEvents.mp b/Example12_CardiacArrestWorkflow_VirtualEvents.mp
index 54ca657..c0f33e9 100644
--- a/Example12_CardiacArrestWorkflow_VirtualEvents.mp
+++ b/Example12_CardiacArrestWorkflow_VirtualEvents.mp
@@ -11,7 +11,7 @@ Software Architecture and Workflow Modeling Language
Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: cardiac arrest, workflow patterns, virtual event, triage task
the web site
http://workflowpatterns.com/patterns/control/index.php
@@ -25,8 +25,7 @@ run in parallel. Once the first of these has completed, the triage task
is commenced. Completion of the other task is ignored and does not result
in a second instance of the triage task.
-Instructions: Run for Scope 1. Viewing of traces also includes a "Swim
-Lanes" option.
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/Example13_ConsumersSuppliers_DependencyTracking.mp
index f7ddb25..50aaed7 100644
--- a/Example13_ConsumersSuppliers_DependencyTracking.mp
+++ b/Example13_ConsumersSuppliers_DependencyTracking.mp
@@ -12,17 +12,15 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: consumer, supplier, dependency tracking, asynchronous coordination
Asynchronous coordination and dependency definition example.
user-defined relation related_to connects events within each
single Request_delivery -> Consume chain
-Instructions: Run for Scopes 1 and 2. Viewing of traces also
-includes a "Swim Lanes" option.
-
-Scope 2: 110 traces in approx. 38 sec.
+Instructions: Run for Scopes 1 and 2.
+ Scope 2: 110 traces in approx. 38 sec.
==========================================================*/
diff --git a/Example14_ShoppingSpree_NumberAttributes.mp b/Example14_ShoppingSpree_NumberAttributes.mp
index 95076b8..99f84de 100644
--- a/Example14_ShoppingSpree_NumberAttributes.mp
+++ b/Example14_ShoppingSpree_NumberAttributes.mp
@@ -11,10 +11,9 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: shopping spree, number attribute
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example15_BackpackWeight_IntervalAttributes.mp b/Example15_BackpackWeight_IntervalAttributes.mp
index b3e1f03..06a696a 100644
--- a/Example15_BackpackWeight_IntervalAttributes.mp
+++ b/Example15_BackpackWeight_IntervalAttributes.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: backpack weight, interval attribute
Use of interval attributes.
@@ -19,8 +19,7 @@ Search terms:
the total weight of 30 units.
There may be several instances of the same item.
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example16_StackBehavior_ProbabilityCalculationsType1.mp b/Example16_StackBehavior_ProbabilityCalculationsType1.mp
index fc5ae08..08204c7 100644
--- a/Example16_StackBehavior_ProbabilityCalculationsType1.mp
+++ b/Example16_StackBehavior_ProbabilityCalculationsType1.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: stack behavior, type 1 probability
Here is a simple stack behavior model. Valid behaviors don’t permit
a scenario when Pop operation is applied to the empty stack. For the
@@ -26,8 +26,7 @@ impossible in a real stack, so they are cut from the model.
By removing some scenarios, the remaining probabilities change.
-Instructions: Run for Scopes 1 and up. Viewing of traces also includes
-a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example17_SharedEvents_ProbabilityCalculationsType1.mp b/Example17_SharedEvents_ProbabilityCalculationsType1.mp
index 2e568fb..4c58da1 100644
--- a/Example17_SharedEvents_ProbabilityCalculationsType1.mp
+++ b/Example17_SharedEvents_ProbabilityCalculationsType1.mp
@@ -11,15 +11,14 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: shared events, type 1 probability
A simple example of shared events. If one root has a, the other root
also has a. If neither root has a, then root 1 must have b, and root 2
must have c. Additionally, probabilities show how "SHARE ALL" increases
the chances of the shared event.
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
index 4a225e3..3ed1d30 100644
--- a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
+++ b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: red, green, number attribute, type 2 probability, bayesian probability
Bayesian attribute example
@@ -26,8 +26,7 @@ Search terms:
since Type 1 assumes that probability of selecting an alternative is
constant for the whole derivation process.
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
index 1d22603..66817d7 100644
--- a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
+++ b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: stack behavior, number attribute, type 2 probability, bayesian probability
An example of Bayesian probability calculation.
@@ -35,8 +35,7 @@ Search terms:
this will require to update the first step in p2 assignment (line 57)
it will become p2 := 1/(M + 1);
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example20_Activity_Diagram.mp b/Example20_Activity_Diagram.mp
index 846c006..55adc6a 100644
--- a/Example20_Activity_Diagram.mp
+++ b/Example20_Activity_Diagram.mp
@@ -11,14 +11,13 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: activity diagram, flowchart
This model demonstrates how to use "SHOW ACTIVITY DIAGRAM" to
display the possible traces in flowchart form. Root A has 4 different
possible traces at scope 1, and the flowchart displays those possiblities.
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Example21_DataFlow_LocalReport.mp b/Example21_DataFlow_LocalReport.mp
index 697e381..476ab62 100644
--- a/Example21_DataFlow_LocalReport.mp
+++ b/Example21_DataFlow_LocalReport.mp
@@ -11,12 +11,11 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: data flow, local report, basic statistics
Local Report within a trace.
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example22_SimpleMessageFlow_GlobalReport.mp b/Example22_SimpleMessageFlow_GlobalReport.mp
index 84cbd8d..0144f8c 100644
--- a/Example22_SimpleMessageFlow_GlobalReport.mp
+++ b/Example22_SimpleMessageFlow_GlobalReport.mp
@@ -12,10 +12,9 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: simple message flow, global report, statistics
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example23_CarRace_LocalGraph.mp b/Example23_CarRace_LocalGraph.mp
index b23fd74..1021995 100644
--- a/Example23_CarRace_LocalGraph.mp
+++ b/Example23_CarRace_LocalGraph.mp
@@ -11,12 +11,11 @@ System and Software Architecture and Workflow Modeling
Language Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: car race, local graph, local trace view
Local graph within the event trace.
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example24_Compiler_ComponentDiagram.mp b/Example24_Compiler_ComponentDiagram.mp
index 632105a..266e8a1 100644
--- a/Example24_Compiler_ComponentDiagram.mp
+++ b/Example24_Compiler_ComponentDiagram.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: compiler, component diagram, global report, lexer, parser, stack
Compiler front end, bottom-up parser
Lexer and parser in interactive mode.
@@ -21,10 +21,8 @@ Search terms:
The MP code for constructing UML-like Component Diagram
is reusable and can be copied/pasted into any MP model.
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
-
-Scope 1: 20 traces in approx. 3.1 sec.
+Instructions: Run for Scope 1.
+ Scope 1: 20 traces in approx. 3.1 sec.
==========================================================*/
diff --git a/Example25_Graph_as_Data_Structure.mp b/Example25_Graph_as_Data_Structure.mp
index 3d87349..770e90c 100644
--- a/Example25_Graph_as_Data_Structure.mp
+++ b/Example25_Graph_as_Data_Structure.mp
@@ -11,13 +11,12 @@ and Software Architecture and Workflow Modeling Language
Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: graph as data structure, number attribute, global report, total event statistics
Accumulating and rendering statistics from event traces.
Graphs as container data structures
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example26_UnreliableMessageFlow_GlobalQuery.mp b/Example26_UnreliableMessageFlow_GlobalQuery.mp
index f875d8c..662d4fd 100644
--- a/Example26_UnreliableMessageFlow_GlobalQuery.mp
+++ b/Example26_UnreliableMessageFlow_GlobalQuery.mp
@@ -11,7 +11,7 @@ System and Software Architecture and Workflow Modeling
Language Manual" (Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: unreliable message flow, global query, number attribute, probability summary
GLOBAL query
@@ -29,8 +29,7 @@ for scope 1), like:
ROOT Sender: (+<1..7> send +);
ROOT Receiver: (+<1..7> (receive |<<0.2>> does_not_receive) +);
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
index f60f5dc..1d5238c 100644
--- a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
+++ b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp
@@ -12,13 +12,12 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: table, bar chart, assembling statistics, number attribute
Assembling statistics about a current trace in a TABLE and rendering it.
Table and bar chart example.
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Example28_AssemblingStatistics_Histogram.mp b/Example28_AssemblingStatistics_Histogram.mp
index 2c8a9a9..f86f7bd 100644
--- a/Example28_AssemblingStatistics_Histogram.mp
+++ b/Example28_AssemblingStatistics_Histogram.mp
@@ -12,12 +12,11 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: histogram, assembling statistics, number attribute, global report, probability interval
Histogram example
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/Example29_AssemblingStatistics_Gantt_Chart.mp
index 81d28d5..f6ed973 100644
--- a/Example29_AssemblingStatistics_Gantt_Chart.mp
+++ b/Example29_AssemblingStatistics_Gantt_Chart.mp
@@ -11,12 +11,11 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: gantt chart, assembling statistics, table, bar chart
Gantt chart example
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
+Instructions: Run for Scope 1.
==========================================================*/
diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/Example30_MicrowaveOven_ModelingModelChecking.mp
index db238ae..781992e 100644
--- a/Example30_MicrowaveOven_ModelingModelChecking.mp
+++ b/Example30_MicrowaveOven_ModelingModelChecking.mp
@@ -11,7 +11,7 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: microwave oven, model checking, finite state diagram, state visit, state transition, atomic proposition, inner event
example of finite state diagram behavior model,
CTL formula representation in MP, and model checking for a small scope.
@@ -40,11 +40,8 @@ Search terms:
and commands triggering state transitions,
following well known algorithm NFA -> RE.
-Instructions: Run for Scope 1. Viewing of traces also
-includes a "Swim Lanes" option.
-
-Scope 1: 28 traces (including 2 counterexamples) in approx.
-1.4 sec.
+Instructions: Run for Scope 1.
+ Scope 1: 28 traces (including 2 counterexamples) in approx. 1.4 sec.
==========================================================*/
diff --git a/Example31_Aspect_Oriented_Paradigm.mp b/Example31_Aspect_Oriented_Paradigm.mp
index 945e730..3e367e0 100644
--- a/Example31_Aspect_Oriented_Paradigm.mp
+++ b/Example31_Aspect_Oriented_Paradigm.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: aspect-oriented paradigm, join point, aspect behavior, advice coordination
The COORDINATE operation supports a “cause-effect†refinement for
the behavior of two components and it bears a certain similarity
@@ -26,8 +26,7 @@ methods M1 and M2 as join points, and the aspect behavior requires
a call to Prolog before, and to Epilog after each method call as an
advice. The corresponding MP model may look like the following.
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example32_Petri_Net.mp b/Example32_Petri_Net.mp
index 624115a..081794f 100644
--- a/Example32_Petri_Net.mp
+++ b/Example32_Petri_Net.mp
@@ -11,7 +11,7 @@ Modeling Language Manual" (Version 4). 2020. Available
online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: petri net, number attribute, global report
modeling Petri net behavior
see the Petri net diagram in Sec. 2.16.2 in the MP v.4 Language Manual
@@ -19,10 +19,8 @@ Search terms:
to obtain in the Global view Petri net diagram
extracted from the event traces, run scope 2
-Instructions: Run for Scopes 1 and 2. Viewing of traces
-also includes a "Swim Lanes" option.
-
-Scope 2: 4 traces in approx. 6.6 sec.
+Instructions: Run for Scopes 1 and 2.
+ Scope 2: 4 traces in approx. 6.6 sec.
==========================================================*/
diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/Example33_ATMWithdrawal_StatechartView.mp
index 11f3df4..b58e8f0 100644
--- a/Example33_ATMWithdrawal_StatechartView.mp
+++ b/Example33_ATMWithdrawal_StatechartView.mp
@@ -11,12 +11,11 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: ATM withdrawal, statechart view, ATM system, data base, global report
Extracting Statechart view from MP model.
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp
index cd794e2..d07e19c 100644
--- a/Example34_FiniteStateDiagram_PathAnnotation.mp
+++ b/Example34_FiniteStateDiagram_PathAnnotation.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: finite state diagram, path annotation, state visit, state transition, finite state machine
example of finite state diagram behavior model,
contains non-deterministic transitions (from S1 with symbol a),
@@ -42,10 +42,8 @@ Search terms:
1) Event Si_to_Sj contains the symbol triggering the transition.
2) Si_to_Sj is shared by corresponding state behavior roots.
-Instructions: Run for Scopes 1 and 2. Viewing of traces
-also includes a "Swim Lanes" option.
-
-Scope 2: 30 traces in approx. 9.4 sec.
+Instructions: Run for Scopes 1 and 2.
+ Scope 2: 30 traces in approx. 9.4 sec.
==========================================================*/
diff --git a/Example35_FiniteStateDiagram_PathDiagram.mp b/Example35_FiniteStateDiagram_PathDiagram.mp
index a47ed76..834e71c 100644
--- a/Example35_FiniteStateDiagram_PathDiagram.mp
+++ b/Example35_FiniteStateDiagram_PathDiagram.mp
@@ -12,15 +12,13 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: finite state diagram, path diagram, state transition, global report, finite automaton behavior
Adding path and state transition diagrams to
the Finite Automaton behavior model.
-Instructions: Run for Scope 2. Viewing of traces also
-includes a "Swim Lanes" option.
-
-Scope 2: 30 traces in approx. 11 sec.
+Instructions: Run for Scope 2.
+ Scope 2: 30 traces in approx. 11 sec.
==========================================================*/
diff --git a/Example36_Authentication_SystemReuse.mp b/Example36_Authentication_SystemReuse.mp
index eb14224..5f6b143 100644
--- a/Example36_Authentication_SystemReuse.mp
+++ b/Example36_Authentication_SystemReuse.mp
@@ -12,7 +12,7 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: authentication system, system reuse, subsystem, MAP operation, data base
Instructions: Run for Scopes 1 and up. Viewing of traces
also includes a "Swim Lanes" option. At Scope 3 and above,
diff --git a/Example37_Compiler1_ComponentReuse.mp b/Example37_Compiler1_ComponentReuse.mp
index 2fe077d..085be25 100644
--- a/Example37_Compiler1_ComponentReuse.mp
+++ b/Example37_Compiler1_ComponentReuse.mp
@@ -11,16 +11,14 @@ Architecture and Workflow Modeling Language Manual" (Version 4).
2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: compiler, component reuse, front end, batch mode, bottom-up, parser, isomorphic behavior
Compiler front end,
bottom-up parser
Lexer and parser in batch mode
-Instructions: Run for Scopes 1 and 2. Viewing of traces
-also includes a "Swim Lanes" option.
-
-Scope 2: 147 traces in approx. 1.8 sec.
+Instructions: Run for Scopes 1 and 2.
+ Scope 2: 147 traces in approx. 1.8 sec.
==========================================================*/
diff --git a/Example38_Compiler2_ComponentReuse.mp b/Example38_Compiler2_ComponentReuse.mp
index c47eddb..440cf55 100644
--- a/Example38_Compiler2_ComponentReuse.mp
+++ b/Example38_Compiler2_ComponentReuse.mp
@@ -11,16 +11,14 @@ Architecture and Workflow Modeling Language Manual"
(Version 4). 2020. Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: compiler, component reuse, front end, incremental mode, interaction mode, bottom-up, parser, isomorphic behavior
Compiler front end,
bottom-up parser
Lexer and parser in interaction mode
-Instructions: Run for Scopes 1, 2, and 3. Viewing of traces
-also includes a "Swim Lanes" option.
-
-Scope 3: 4860 traces in approx. 1.6 min.
+Instructions: Run for Scopes 1, 2, and 3.
+ Scope 3: 4860 traces in approx. 1.6 min.
==========================================================*/
diff --git a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
index 591ccf7..9aac4fd 100644
--- a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
+++ b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: merging root events, reduce run time, layered derivation, trace segment derivation
Complex MP models may have large number of root events with several
coordination operations performed on clusters of roots. This may be
@@ -39,8 +39,7 @@ derivation task we introduce a separate root event B_and_C to
encapsulate the trace segment derivation (including the coordination)
for B and C.
-Instructions: Run for Scopes 1 and 2. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and 2.
==========================================================*/
diff --git a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
index 55ca471..94dc27d 100644
--- a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
+++ b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp
@@ -11,7 +11,7 @@ Workflow Modeling Language Manual" (Version 4). 2020.
Available online:
https://wiki.nps.edu/display/MP/Documentation
-Search terms:
+Search terms: application process, partitioning large schema, separate schemas
An applicant submits application and needs to get it approved by
the bureaucratic chain of two officials. If the first official approves,
@@ -21,8 +21,7 @@ approve/reject the application or request it reworked and resubmitted.
Rework and resubmit events may be repeated several times. Each rejection
is final and cannot be followed by rework and resubmit events.
-Instructions: Run for Scopes 1 and up. Viewing of traces
-also includes a "Swim Lanes" option.
+Instructions: Run for Scopes 1 and up.
==========================================================*/
--
GitLab