diff --git a/Example01_SimpleMessageFlow_EventCoordination.mp b/Example01_SimpleMessageFlow_EventCoordination.mp index 2e0f661857d142468eb10561fd2bc0f79e81a925..f37ac76e1d181974cc0c7905699816c5709afccb 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 d7a23e6b5f1144b4783f4a509031829118e4b2e3..025533341cea9e836d55271f29b5ccdd2c59fc1b 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 6459a5d3b677f0631b0d74722a8612a7a88dbacc..2a3e270bdf496102c9ae945baa8f2277344f7343 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 c3433783b448bbdd55064e2685be235d43e17c1f..5b473939a8c47a0a6a8d390b694d356846a4f058 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 23db1978f378ebf1401c87681cf6e61fa71fc9e1..1bebae6aa8f062c4e4b7863fe8b605826e220cb6 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 0264da3061a11b16261533489e387ed56bc3f86f..b5bb4b234f4d1fd552091a98f62020f8432dde84 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 61b342ad269cb83bf62ac9f723c146e76dc42f37..08601c9360de745522b99da3882698919748ca7b 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 3c2c0968df3f26ee30368b06dbe0b583882fedb4..6ef13be2b784c42c87112583dc0986dd96edc186 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 5bb6667aced8e06846fe7476bb8b702d51a76dca..4978150b006d697127ad4b177d43c3b1dde4d535 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 270ca3141e365f67e6dd835b0c29144964c998c3..08943016f35b16882f335d7879dafdf06498be09 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 436259dc5b0c76d4c77773d0a524d66bdfaa6264..01b58d835cdc9e74117ac884ba0bb1d719c17aac 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 e66badbd3f31ccce7da7d28776251ec6e724fde2..f01ac69a21b8d411edae760f88627fc55631908f 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 a3ce1cdc4dd409122f8a60381bfe572396362cac..c6260448d8000e321fccaf70dbfc879b27af3be9 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 bc83e67d38fd54fe047346d0c7c9550c1f768a04..7ea724555a488046df246eb8a75f5c8202213e7d 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 24768d332c373422d518d637a3e1dc4b2a7f093d..af9195896765134b6a1f0ec6c56c4879ed205ab5 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 a35ac2401b68ca0fcedc1b5526834be87ea75516..bf0cf6c970dc4f0925144a58aedcd2752c12b7a5 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 d429ae89f03df9bb0a9662e1dc3d1bfad1253597..c6930d23895474137ded5c79b67560c3b88d862c 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 a291d6a1dbb2db660ec688cf3ace10d49a312e49..eef586930960ed5ee92475aa608e3d72932c8c33 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 849e9489bb84ac2411c5c9f9f5e47a8ba8a87893..b3d8fdc7f98d7214cc901f6345448d3f31da58cd 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 44b8550f5c63760533ba07bd884ac07271041db7..d15724519ddae02d11995a32c4144f8f28033088 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 a7b421b3b8af3df13012e047558e2b082f949bbe..365ce04ebaecc4b39a5f76c654003d22d4691899 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 0173c2bc8d9c05e638ae6263b41fe01babcc32a6..972c64e44a739307e1233324fceced7212c45541 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 3aeeb31a6fe7c3a916d0eae61dc68dc0e8b17b63..915592c0f1654e96eb3a0e329e8bc84278960a6a 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 e3a7524961a30d9c4562fd88b6b8b6eaa5bff040..f07bf71464a45c968e17f13731ff3666a28f8191 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 0a65ba22a38e440be9f3627748be4b8f386c39c7..5a3cd645c36cf50d454772402067a49a1d3c5916 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 eb5591339de7eeddbec0ff5668ef84674382330c..ee3c8703904801ec673af3e6057a912817e55965 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 4a98981cd26d4031243b3a8eaeaaa1ee88649f3f..2cde9f5a72f47e6facf55f697d56ebd0a39e09c4 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 40edc33eb8ce4b9eeb01921daf1b79e018a5eb04..89dd9486a9f4db48e10818a219657824c79160fc 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 5acf62d525c5564785d6555d8b85e7da0cc4b4ac..c1ffb86946b4c4d6d3fac5e40ba2e064b29bfb19 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 19bcfec5ca2896288c0ec67ab67a9ca9851fedde..48c69ce601e585f91227029d55607a1bcf759422 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 d7fdc6e3f2d70b1a66235c6f1be9f0b21f8c3ab3..83777e89f4abac5631ca1890f98588634e2ba4c9 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 305baa042e53481368cfa2d67aa8325058830d75..2c055bc6a3f8202d81591dff854b3ee90afe9cb8 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 ddbf74f652ad6dd8bc59caae6051eceb18ef32f2..38e57c6da5727f894498d4147c3f94a84e3a620d 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 e52b8754f392a968ccf3327f592947740f13905a..dd9d7afa2515c1e520622c5eec80332ed4637320 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 a13f23b97dcfbc2d5ae2ad97c7b8f498b2d17fd0..dddc413f0532da679ba1d25b6a6d004d14eadc4f 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 b720314f2bd3b026f3a297a7cf23dffa0f0474be..34cbe030b6853f850d6413670564de6c37a560e3 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 06e7dfa55e3f8e672d797a539ad17733760ead05..a9dd7a951042723951ae6b72df9563e80fe9c137 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 c2a67b048de3f6440f44b4cb3318739e09b33e4b..2dc93e0d08d19605545c124848d3a9708b5cdabe 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 d7c98e61ceb4194251800be227b3fbe3926af711..303771a4f3a0206690b8d7daf35e2fd0c5fa18b3 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 e1282adb171a810d1215dd5d102db324531e1735..dfdc7352d1333a944c18ee68a5f2a9ae495f660e 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 01d78de382101b83293f8660f341b61b0f3acd40..545f9e440d0a3372485d21cfc175ba26ab4ada74 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 c585ce4d0dd8f3b9ca4eaefb0db2c8865888c88c..38eabd5f409acb79e196bfe3974401055c2763e5 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 a51fdfb36b837223e16671238cd66a81824488f3..7e1cecf48a4520d76b4c6de2907e3048ad47151f 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,