From a888af3e1f7ce156d6352acdb16cc98b00fdee27 Mon Sep 17 00:00:00 2001 From: Keane Reynolds <keane.reynolds@gmail.com> Date: Fri, 25 Jun 2021 21:32:44 +0000 Subject: [PATCH] Added a line directing people to the associated manual examples --- Example01_SimpleMessageFlow_EventCoordination.mp | 1 + Example01a_UnreliableMessageFlow_VirtualEvents.mp | 1 + Example02_DataFlow_EventSharing.mp | 3 ++- Example03_ATMWithdrawal_BehaviorOfEnvironment.mp | 3 ++- Example04_StackBehavior_EnsureCondition.mp | 1 + Example04a_StackBehavior_UserDefinedRelations.mp | 1 + Example04b_QueueBehavior_UserDefinedRelations.mp | 1 + Example05_CarRace_NestedComposition.mp | 1 + Example06_UnreliableChannel_AssertionChecking.mp | 1 + Example07_UnconstrainedStack_TraceAnnotation.mp | 1 + ...ple08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp | 1 + Example09_PipeFilter_TraceAnnotationQueries.mp | 3 ++- Example10_PublishSubscribe_EventReshuffling.mp | 1 + Example11_RingTopology_UserDefinedRelations.mp | 3 ++- Example12_CardiacArrestWorkflow_VirtualEvents.mp | 1 + Example13_ConsumersSuppliers_DependencyTracking.mp | 1 + Example14_ShoppingSpree_NumberAttributes.mp | 1 + Example15_BackpackWeight_IntervalAttributes.mp | 1 + Example16_StackBehavior_ProbabilityCalculationsType1.mp | 1 + Example17_SharedEvents_ProbabilityCalculationsType1.mp | 1 + Example18_RedGreen_BayesianProbabilityCalculationsType2.mp | 1 + ...ple19_StackBehavior_BayesianProbabilityCalculationsType2.mp | 1 + Example20_Activity_Diagram.mp | 1 + Example21_DataFlow_LocalReport.mp | 1 + Example22_SimpleMessageFlow_GlobalReport.mp | 1 + Example23_CarRace_LocalGraph.mp | 1 + Example24_Compiler_ComponentDiagram.mp | 1 + Example25_Graph_as_Data_Structure.mp | 1 + Example26_UnreliableMessageFlow_GlobalQuery.mp | 1 + Example27_AssemblingStatistics_Table_and_Bar_Chart.mp | 3 ++- Example28_AssemblingStatistics_Histogram.mp | 3 ++- Example29_AssemblingStatistics_Gantt_Chart.mp | 3 ++- Example30_MicrowaveOven_ModelingModelChecking.mp | 1 + Example31_Aspect_Oriented_Paradigm.mp | 1 + Example32_Petri_Net.mp | 1 + Example33_ATMWithdrawal_StatechartView.mp | 1 + Example34_FiniteStateDiagram_PathAnnotation.mp | 1 + Example35_FiniteStateDiagram_PathDiagram.mp | 1 + Example36_Authentication_SystemReuse.mp | 1 + Example37_Compiler1_ComponentReuse.mp | 1 + Example38_Compiler2_ComponentReuse.mp | 1 + Example39_Merging_Root_Events_to_Reduce_Run_Time.mp | 1 + ...cationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp | 1 + 43 files changed, 50 insertions(+), 7 deletions(-) diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/Example01_SimpleMessageFlow_EventCoordination.mp index 2e0f661..f37ac76 100644 --- a/Example01_SimpleMessageFlow_EventCoordination.mp +++ b/Example01_SimpleMessageFlow_EventCoordination.mp @@ -1,4 +1,5 @@ /* Example 01. Model of Simple Message Flow +See also: Example 1: Simple interaction pattern from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Event grammar rules for each root define derivations for event traces, in this case a simple sequence of zero or more events for each root. diff --git a/Example01a_UnreliableMessageFlow_VirtualEvents.mp b/Example01a_UnreliableMessageFlow_VirtualEvents.mp index d7a23e6..0255333 100644 --- a/Example01a_UnreliableMessageFlow_VirtualEvents.mp +++ b/Example01a_UnreliableMessageFlow_VirtualEvents.mp @@ -1,4 +1,5 @@ /* Example 01a. Model of Unreliable Message Flow +See also: Example 8: Unreliable Communication model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual We may want to specify behaviors when some messages get lost in the transition. It can be done using ‘virtual’ events. diff --git a/Example02_DataFlow_EventSharing.mp b/Example02_DataFlow_EventSharing.mp index 6459a5d..2a3e270 100644 --- a/Example02_DataFlow_EventSharing.mp +++ b/Example02_DataFlow_EventSharing.mp @@ -1,5 +1,6 @@ /* Example 02. Model of Data Flow - +See also: Example 3: Data Flow model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + data items as behaviors MP employs the Abstract Data Type (ADT) principle introduced by diff --git a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp index c343378..5b47393 100644 --- a/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp +++ b/Example03_ATMWithdrawal_BehaviorOfEnvironment.mp @@ -1,5 +1,6 @@ /* Example 03. Model of ATM Withdrawal - +See also: Example 4: Withdraw money from ATM model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + Integrated system and environment behaviors MP separates models of component behaviors and component interactions diff --git a/Example04_StackBehavior_EnsureCondition.mp b/Example04_StackBehavior_EnsureCondition.mp index 23db197..1bebae6 100644 --- a/Example04_StackBehavior_EnsureCondition.mp +++ b/Example04_StackBehavior_EnsureCondition.mp @@ -1,4 +1,5 @@ /* Example 04. Model of Stack Behavior +See also: Example 5: Stack behavior model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual The event trace is a set of events and the Boolean expressions in MP can embrace the traditional predicate calculus notation. A set diff --git a/Example04a_StackBehavior_UserDefinedRelations.mp b/Example04a_StackBehavior_UserDefinedRelations.mp index 0264da3..b5bb4b2 100644 --- a/Example04a_StackBehavior_UserDefinedRelations.mp +++ b/Example04a_StackBehavior_UserDefinedRelations.mp @@ -1,4 +1,5 @@ /* Example 04a. Model of Stack Behavior +See also: Example 17: Stack behavior model with pop/push relationship visualized from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual The event trace is a set of events and the Boolean expression constructs in MP can support the traditional first order predicate calculus notation. diff --git a/Example04b_QueueBehavior_UserDefinedRelations.mp b/Example04b_QueueBehavior_UserDefinedRelations.mp index 61b342a..08601c9 100644 --- a/Example04b_QueueBehavior_UserDefinedRelations.mp +++ b/Example04b_QueueBehavior_UserDefinedRelations.mp @@ -1,4 +1,5 @@ /* Example 04b. Model of Queue Behavior +See also: Example 18: Queue behavior model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual This rule specifies the behavior of a queue in terms of queue operations enqueue and dequeue. It is assumed that initially Queue is empty. diff --git a/Example05_CarRace_NestedComposition.mp b/Example05_CarRace_NestedComposition.mp index 3c2c096..6ef13be 100644 --- a/Example05_CarRace_NestedComposition.mp +++ b/Example05_CarRace_NestedComposition.mp @@ -1,4 +1,5 @@ /* Example 05. Model of Car Race +See also: Example 6: Car race model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual more coordination patterns: - ordering of selected events in concurrent threads diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp index 5bb6667..4978150 100644 --- a/Example06_UnreliableChannel_AssertionChecking.mp +++ b/Example06_UnreliableChannel_AssertionChecking.mp @@ -1,4 +1,5 @@ /* Example 06. Model of Unreliable Channel +See also: Example 10: Communicating via unreliable channel model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Assertion checking, Communicating via unreliable channel. diff --git a/Example07_UnconstrainedStack_TraceAnnotation.mp b/Example07_UnconstrainedStack_TraceAnnotation.mp index 270ca31..0894301 100644 --- a/Example07_UnconstrainedStack_TraceAnnotation.mp +++ b/Example07_UnconstrainedStack_TraceAnnotation.mp @@ -1,4 +1,5 @@ /* Example 07. Model of Unconstrained Stack +See also: Example 11: Testing/Debugging model’s behavior from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Trace annotation techniques diff --git a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp index 436259d..01b58d8 100644 --- a/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp +++ b/Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp @@ -1,4 +1,5 @@ /* Example 08. Model of Employee Employer +See also: Example 13: Business process model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual 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 e66badb..f01ac69 100644 --- a/Example09_PipeFilter_TraceAnnotationQueries.mp +++ b/Example09_PipeFilter_TraceAnnotationQueries.mp @@ -1,5 +1,6 @@ /* Example 09. Model of Pipe Filter - +See also: Example 12: Pipe/Filter architecture model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + pipe/filter architecture model with 2 filters assumptions: diff --git a/Example10_PublishSubscribe_EventReshuffling.mp b/Example10_PublishSubscribe_EventReshuffling.mp index a3ce1cd..c626044 100644 --- a/Example10_PublishSubscribe_EventReshuffling.mp +++ b/Example10_PublishSubscribe_EventReshuffling.mp @@ -1,4 +1,5 @@ /* Example 10. Model of Publish Subscribe +See also: Example 7: Publish/Subscribe architecture model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Publisher sends a notification to all active Subscribers when new information is available. diff --git a/Example11_RingTopology_UserDefinedRelations.mp b/Example11_RingTopology_UserDefinedRelations.mp index bc83e67..7ea7245 100644 --- a/Example11_RingTopology_UserDefinedRelations.mp +++ b/Example11_RingTopology_UserDefinedRelations.mp @@ -1,5 +1,6 @@ /* Example 11. Model of Ring Topology - +See also: Example 16: User-defined relations from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + ring topology an example of user-defined relation use diff --git a/Example12_CardiacArrestWorkflow_VirtualEvents.mp b/Example12_CardiacArrestWorkflow_VirtualEvents.mp index 24768d3..af91958 100644 --- a/Example12_CardiacArrestWorkflow_VirtualEvents.mp +++ b/Example12_CardiacArrestWorkflow_VirtualEvents.mp @@ -1,4 +1,5 @@ /* Example 12. Model of Cardiac Arrest Workflow +See also: Examples 9 and 14 on Workflow patterns from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual the web site http://workflowpatterns.com/patterns/control/index.php diff --git a/Example13_ConsumersSuppliers_DependencyTracking.mp b/Example13_ConsumersSuppliers_DependencyTracking.mp index a35ac24..bf0cf6c 100644 --- a/Example13_ConsumersSuppliers_DependencyTracking.mp +++ b/Example13_ConsumersSuppliers_DependencyTracking.mp @@ -1,4 +1,5 @@ /* Example 13. Model of Consumers Suppliers +See also: Example 29: Coordinating asynchronous threads and tracking event dependency from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Asynchronous coordination and dependency definition example. diff --git a/Example14_ShoppingSpree_NumberAttributes.mp b/Example14_ShoppingSpree_NumberAttributes.mp index d429ae8..c6930d2 100644 --- a/Example14_ShoppingSpree_NumberAttributes.mp +++ b/Example14_ShoppingSpree_NumberAttributes.mp @@ -1,4 +1,5 @@ /* Example 14. Model of Shopping Spree +See also: Example 21: Attribute use from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim Lanes" option. diff --git a/Example15_BackpackWeight_IntervalAttributes.mp b/Example15_BackpackWeight_IntervalAttributes.mp index a291d6a..eef5869 100644 --- a/Example15_BackpackWeight_IntervalAttributes.mp +++ b/Example15_BackpackWeight_IntervalAttributes.mp @@ -1,4 +1,5 @@ /* Example 15. Model of Backpack Weight +See also: Example 22: Use of interval attributes from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Use of interval attributes. diff --git a/Example16_StackBehavior_ProbabilityCalculationsType1.mp b/Example16_StackBehavior_ProbabilityCalculationsType1.mp index 849e948..b3d8fdc 100644 --- a/Example16_StackBehavior_ProbabilityCalculationsType1.mp +++ b/Example16_StackBehavior_ProbabilityCalculationsType1.mp @@ -1,4 +1,5 @@ /* Example 16. Model of Stack Behavior +See also: Example 30: Type 1 probability from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual 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 diff --git a/Example17_SharedEvents_ProbabilityCalculationsType1.mp b/Example17_SharedEvents_ProbabilityCalculationsType1.mp index 44b8550..d157245 100644 --- a/Example17_SharedEvents_ProbabilityCalculationsType1.mp +++ b/Example17_SharedEvents_ProbabilityCalculationsType1.mp @@ -1,4 +1,5 @@ /* Example 17. Model of Shared Events +See also: Example 31: Shared events with probabilities from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual 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 diff --git a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp index a7b421b..365ce04 100644 --- a/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp +++ b/Example18_RedGreen_BayesianProbabilityCalculationsType2.mp @@ -1,4 +1,5 @@ /* Example 18. Model of Red Green +See also: Example 32: Event probability calculations from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Bayesian attribute example diff --git a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp index 0173c2b..972c64e 100644 --- a/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp +++ b/Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp @@ -1,4 +1,5 @@ /* Example 19. Model of Stack Behavior +See also: Example 33: Bayesian probability calculation from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual An example of Bayesian probability calculation. diff --git a/Example20_Activity_Diagram.mp b/Example20_Activity_Diagram.mp index 3aeeb31..915592c 100644 --- a/Example20_Activity_Diagram.mp +++ b/Example20_Activity_Diagram.mp @@ -1,4 +1,5 @@ /* Example 20. Model of Activity Diagram +See also: Example 51: Activity diagram of a root event from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual This model demonstrates how to use "SHOW ACTIVITY DIAGRAM" to display the possible traces in flowchart form. Root A has 4 different diff --git a/Example21_DataFlow_LocalReport.mp b/Example21_DataFlow_LocalReport.mp index e3a7524..f07bf71 100644 --- a/Example21_DataFlow_LocalReport.mp +++ b/Example21_DataFlow_LocalReport.mp @@ -1,4 +1,5 @@ /* Example 21. Model of Data Flow +See also: Example 39: Local Report within a single trace from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Local Report within a trace. diff --git a/Example22_SimpleMessageFlow_GlobalReport.mp b/Example22_SimpleMessageFlow_GlobalReport.mp index 0a65ba2..5a3cd64 100644 --- a/Example22_SimpleMessageFlow_GlobalReport.mp +++ b/Example22_SimpleMessageFlow_GlobalReport.mp @@ -1,4 +1,5 @@ /* Example 22. Model of Simple Message Flow +See also: Example 40: Global report assembled from the set of all available event traces from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim Lanes" option. diff --git a/Example23_CarRace_LocalGraph.mp b/Example23_CarRace_LocalGraph.mp index eb55913..ee3c870 100644 --- a/Example23_CarRace_LocalGraph.mp +++ b/Example23_CarRace_LocalGraph.mp @@ -1,4 +1,5 @@ /* Example 23. Model of Car Race +See also: Example 41: Graph extracted from a particular event trace (local trace view) from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Local graph within the event trace. diff --git a/Example24_Compiler_ComponentDiagram.mp b/Example24_Compiler_ComponentDiagram.mp index 4a98981..2cde9f5 100644 --- a/Example24_Compiler_ComponentDiagram.mp +++ b/Example24_Compiler_ComponentDiagram.mp @@ -1,4 +1,5 @@ /* Example 24. Model of Compiler +See also: Example 42: Graph in the Global view from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Compiler front end, bottom-up parser Lexer and parser in interactive mode. diff --git a/Example25_Graph_as_Data_Structure.mp b/Example25_Graph_as_Data_Structure.mp index 40edc33..89dd948 100644 --- a/Example25_Graph_as_Data_Structure.mp +++ b/Example25_Graph_as_Data_Structure.mp @@ -1,4 +1,5 @@ /* Example 25. Model of Graph as Data Structure +See also: Example 43: Accumulating and rendering statistics from event traces from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Accumulating and rendering statistics from event traces. Graphs as container data structures diff --git a/Example26_UnreliableMessageFlow_GlobalQuery.mp b/Example26_UnreliableMessageFlow_GlobalQuery.mp index 5acf62d..c1ffb86 100644 --- a/Example26_UnreliableMessageFlow_GlobalQuery.mp +++ b/Example26_UnreliableMessageFlow_GlobalQuery.mp @@ -1,4 +1,5 @@ /* Example 26. Model of Unreliable Message Flow +See also: Example 46: Global query Model of unreliable message flow (related to Example 8) from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual GLOBAL query diff --git a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp index 19bcfec..48c69ce 100644 --- a/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp +++ b/Example27_AssemblingStatistics_Table_and_Bar_Chart.mp @@ -1,5 +1,6 @@ /* Example 27. Model of Table and Bar Chart - +See also: Example 48: Assembling statistics about a current trace in a table and rendering it as a bar chart from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + Assembling statistics about a current trace in a TABLE and rendering it. Table and bar chart example. diff --git a/Example28_AssemblingStatistics_Histogram.mp b/Example28_AssemblingStatistics_Histogram.mp index d7fdc6e..83777e8 100644 --- a/Example28_AssemblingStatistics_Histogram.mp +++ b/Example28_AssemblingStatistics_Histogram.mp @@ -1,5 +1,6 @@ /* Example 28. Model of Histogram - +See also: Example 49: Histogram showing number of traces with probabilities within certain intervals from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + Histogram example Instructions: Run for Scopes 1 and up. Viewing of traces also includes a "Swim Lanes" option. diff --git a/Example29_AssemblingStatistics_Gantt_Chart.mp b/Example29_AssemblingStatistics_Gantt_Chart.mp index 305baa0..2c055bc 100644 --- a/Example29_AssemblingStatistics_Gantt_Chart.mp +++ b/Example29_AssemblingStatistics_Gantt_Chart.mp @@ -1,5 +1,6 @@ /* Example 29. Model of Gantt Chart - +See also: Example 50: Gantt chart from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual + Gantt chart example Instructions: Run for Scope 1. Viewing of traces also includes a "Swim Lanes" option. diff --git a/Example30_MicrowaveOven_ModelingModelChecking.mp b/Example30_MicrowaveOven_ModelingModelChecking.mp index ddbf74f..38e57c6 100644 --- a/Example30_MicrowaveOven_ModelingModelChecking.mp +++ b/Example30_MicrowaveOven_ModelingModelChecking.mp @@ -1,4 +1,5 @@ /* Example 30. Model of Microwave Oven +See also: Example 27: Microwave oven demonstrating model checking from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual example of finite state diagram behavior model, CTL formula representation in MP, and model checking for a small scope. diff --git a/Example31_Aspect_Oriented_Paradigm.mp b/Example31_Aspect_Oriented_Paradigm.mp index e52b875..dd9d7af 100644 --- a/Example31_Aspect_Oriented_Paradigm.mp +++ b/Example31_Aspect_Oriented_Paradigm.mp @@ -1,4 +1,5 @@ /* Example 31. Model of Aspect Oriented Paradigm +See also: Example 2: Modeling Aspect-Oriented Paradigm from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual The COORDINATE operation supports a “cause-effect†refinement for the behavior of two components and it bears a certain similarity diff --git a/Example32_Petri_Net.mp b/Example32_Petri_Net.mp index a13f23b..dddc413 100644 --- a/Example32_Petri_Net.mp +++ b/Example32_Petri_Net.mp @@ -1,4 +1,5 @@ /* Example 32. Model of Petri Net +See also: Example 28: Modeling Petri net from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual modeling Petri net behavior see the Petri net diagram in Sec. 2.16.2 in the MP v.4 Language Manual diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/Example33_ATMWithdrawal_StatechartView.mp index b720314..34cbe03 100644 --- a/Example33_ATMWithdrawal_StatechartView.mp +++ b/Example33_ATMWithdrawal_StatechartView.mp @@ -1,4 +1,5 @@ /* Example 33. Model of ATM Withdrawal +See also: Example 45: Extracting statechart view from MP model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Extracting Statechart view from MP model. diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp index 06e7dfa..a9dd7a9 100644 --- a/Example34_FiniteStateDiagram_PathAnnotation.mp +++ b/Example34_FiniteStateDiagram_PathAnnotation.mp @@ -1,4 +1,5 @@ /* Example 34. Model of Finite State Diagram with Path Annotation +See also: Example 26: Modeling finite state machine from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual example of finite state diagram behavior model, contains non-deterministic transitions (from S1 with symbol a), diff --git a/Example35_FiniteStateDiagram_PathDiagram.mp b/Example35_FiniteStateDiagram_PathDiagram.mp index c2a67b0..2dc93e0 100644 --- a/Example35_FiniteStateDiagram_PathDiagram.mp +++ b/Example35_FiniteStateDiagram_PathDiagram.mp @@ -1,4 +1,5 @@ /* Example 35. Model of Finite State Diagram with Path Diagram +See also: Example 44: Adding paths and state transition diagram to the Finite Automaton behavior model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Adding path and state transition diagrams to the Finite Automaton behavior model. diff --git a/Example36_Authentication_SystemReuse.mp b/Example36_Authentication_SystemReuse.mp index d7c98e6..303771a 100644 --- a/Example36_Authentication_SystemReuse.mp +++ b/Example36_Authentication_SystemReuse.mp @@ -1,4 +1,5 @@ /* Example 36. Model of Authentication System +See also: Example 36: Reuse of an authentication subsystem from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Authentication system's behavior for reuse with MAP operation. diff --git a/Example37_Compiler1_ComponentReuse.mp b/Example37_Compiler1_ComponentReuse.mp index e1282ad..dfdc735 100644 --- a/Example37_Compiler1_ComponentReuse.mp +++ b/Example37_Compiler1_ComponentReuse.mp @@ -1,4 +1,5 @@ /* Example 37. Model of Compiler 1 +See also: Example 34: Compiler’s front end in batch processing mode from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Compiler front end, bottom-up parser diff --git a/Example38_Compiler2_ComponentReuse.mp b/Example38_Compiler2_ComponentReuse.mp index 01d78de..545f9e4 100644 --- a/Example38_Compiler2_ComponentReuse.mp +++ b/Example38_Compiler2_ComponentReuse.mp @@ -1,4 +1,5 @@ /* Example 38. Model of Compiler 2 +See also: Example 35: Compiler’s front end in incremental mode from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Compiler front end, bottom-up parser diff --git a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp index c585ce4..38eabd5 100644 --- a/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp +++ b/Example39_Merging_Root_Events_to_Reduce_Run_Time.mp @@ -1,4 +1,5 @@ /* Example 39. Model of Merging Root Events to Reduce Run Time +See also: Example 37: Merging root events model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual Complex MP models may have large number of root events with several coordination operations performed on clusters of roots. This may be diff --git a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp index a51fdfb..7e1cecf 100644 --- a/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp +++ b/Example40_ApplicationProcess_partitioningLargeSchemaIntoSeparateSchemas.mp @@ -1,4 +1,5 @@ /* Example 40. Model of Application Process +See also: Example 38: Application process model from the Monterey Phoenix System and Software Architecture and Workflow Modeling Language Manual An applicant submits application and needs to get it approved by the bureaucratic chain of two officials. If the first official approves, -- GitLab