Upload New File

models/Application_examples/Agile_Production_Platform_Supply_Chain_Interaction.mp

+/* Author:	Josh Beaver 
+*/
+
+SCHEMA Agile_Production_Platform_Supply_Chain_Interaction
+
+ROOT Customer:
+							(*	submit_request_to_APP
+                                receive_product
+                            *);
+
+ROOT Raw_Material_Supplier:	
+							(*	receive_request_from_APP
+    							(technical_expertise_to_make_product
+                                    (material_on_hand 		
+                                		(capacity_available
+                                    		make_material 
+                                    			(test_or_inspection_conducted		
+                                            		(material_conforming		|
+                                                    material_nonconforming		)	|
+                                                test_or_inpsection_not_conducted	)
+                                            	ship_material							|
+                                        max_capacity									)	|
+                                     material_out_of_stock									)	|
+                                no_technical_expertise											)   
+    						*);
+                            
+
+ROOT Component_Supplier:	
+							(*	receive_request_from_APP
+    							(technical_expertise_to_make_product
+                                    (material_on_hand 		
+                                		(capacity_available
+                                    		make_material 
+                                    			(test_or_inspection_conducted		
+                                            		(material_conforming		|
+                                                    material_nonconforming		)	|
+                                                test_or_inpsection_not_conducted	)
+                                            	ship_material							|
+                                        max_capacity									)	|
+                                     material_out_of_stock									)	|
+                                no_technical_expertise											)   
+    						*);
+
+ROOT Finished_Product_Supplier:
+							(*	receive_request_from_APP
+    							(technical_expertise_to_make_product
+                                    (material_on_hand 		
+                                		(capacity_available
+                                    		make_material 
+                                    			(test_or_inspection_conducted		
+                                            		(material_conforming		|
+                                                    material_nonconforming		)	|
+                                                test_or_inpsection_not_conducted	)
+                                            	ship_material							|
+                                        max_capacity									)	|
+                                     material_out_of_stock									)	|
+                                no_technical_expertise											)   
+    						*);
+
+ROOT Agile_Production_Platform:
+							(*	receive_request_from_customer
+                                submit_request_to_suppliers
+                            *);
+
+COORDINATE	$x:	ship_material FROM Raw_Material_Supplier,
+    		$y: material_on_hand FROM Component_Supplier
+    	DO ADD $x PRECEDES $y; OD;
+COORDINATE	$x:	ship_material FROM Component_Supplier,
+    		$y: material_on_hand FROM Finished_Product_Supplier
+    	DO ADD $x PRECEDES $y; OD;
+COORDINATE	$x:	submit_request_to_APP FROM Customer,
+    		$y: receive_request_from_customer FROM Agile_Production_Platform
+    	DO ADD $x PRECEDES $y; OD;
+/*COORDINATE	$x:	ship_material FROM Finished_Product_Supplier,
+    		$y: receive_product FROM Customer
+    	DO ADD $x PRECEDES $y; OD;*/
+COORDINATE	$x:	submit_request_to_suppliers FROM Agile_Production_Platform,
+    		$y: receive_request_from_APP FROM Raw_Material_Supplier
+    	DO ADD $x PRECEDES $y; OD;
+COORDINATE	$x:	submit_request_to_suppliers FROM Agile_Production_Platform,
+    		$y: receive_request_from_APP FROM Component_Supplier
+    	DO ADD $x PRECEDES $y; OD;
+COORDINATE	$x:	submit_request_to_suppliers FROM Agile_Production_Platform,
+    		$y: receive_request_from_APP FROM Finished_Product_Supplier
+    	DO ADD $x PRECEDES $y; OD;