Replace Application_Process.mp

models/Application_examples/Application_Process.mp

@@ -3,13 +3,15 @@
 │*│ │ Model of Application Process                       │ │
 │*│ │  Created by Mikhail Auguston in 2018.              │ │
 │*│ │  Edited by Pamela Dyer in September, 2021.         │ │
+│*│ │  Schedule analysis added by Kristin Giammarco in   │ │
+│*│ │  	December, 2021.         						 │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
 │*│ │ To provide a template for an application approval  │ │
 │*│ │ process involving multiple levels of approval.     │ │
 │*│ └────────────────────────────────────────────────────┘ │
-│*│                                                        │
+│*│														   │
 │*│ ┌─[ Description ]────────────────────────────────────┐ │
 │*│ │ An applicant submits application and needs to get  │ │
 │*│ │ it approved by the bureaucratic chain of two       │ │
@@ -46,55 +48,179 @@
 │*│ ┌─[ Instructions ]───────────────────────────────────┐ │
 │*│ │ Run for Scopes 1 and up.                           │ │
 │*│ ├─[ Run Statistics ]─────────────────────────────────┤ │
-│*│ │ Scope 1: 3 traces in less than 1 sec.              │ │
-│*│ │ Scope 2: 9 traces in less than 1 sec.              │ │
-│*│ │ Scope 3: 18 traces in less than 1 sec.             │ │
+│*│ │ Scope 1: 21 traces in less than 1 sec.             | │
+│*│ │ Scope 2: 273 traces in 4.6 sec.              	   │ │
+│*│ │ Scope 3: 2730 traces in 379 sec.                   │ │
 │*│ └────────────────────────────────────────────────────┘ │
 └*┴───────────────────────────────────────────────────────*/
 
 SCHEMA Application_Process
 
 ROOT Applicant:
-	prepare_application
-	submit_application
-	(* rework
-	submit_application *)
-	( application_is_approved |
-	application_is_rejected );
+		Prepare_application
+		Submit_application
+		(* 	Rework
+			Submit_application *)
+			( 	Application_is_Approved |
+				Application_is_Rejected )
+;
 
 ROOT Official_1:
-	(+ receives_application_from_Applicant
-	(approves_and_forwards_to_Official_2 |
-	request_rework |
-	reject ) +)
-BUILD{ ENSURE #reject <= 1;
+	(+ 	Receive_application_from_Applicant
+	   	In_Queue_for_Review
+	   	Review_application
+		(	Approve_and_forward_to_Official_2 |
+			Request_rework 						|
+			Reject 								) 
+     +)
+
+	BUILD{ 	ENSURE #Reject <= 1;
+			ENSURE FOREACH $r: Reject #$$EVENT AFTER $r == 0; }
+;
+
+    In_Queue_for_Review: ( 	Available_to_do_work | 
+        					Busy_with_other_work | 
+        					Out_of_office );
+
+COORDINATE 	$s: Submit_application 					FROM Applicant,
+			$r: Receive_application_from_Applicant 	FROM Official_1
+	DO ADD $s PRECEDES $r; OD;
 
-ENSURE FOREACH $r: reject #$$EVENT AFTER $r == 0; };
-COORDINATE $s: submit_application FROM Applicant,
-$r: receives_application_from_Applicant FROM Official_1
-DO ADD $s PRECEDES $r; OD;
 
 ROOT Official_2:
-	(* receives_application_from_Official_1
-	(approves_and_forwards_to_Applicant |
-	request_rework | reject ) *)
-BUILD{ ENSURE #reject <= 1;	
-ENSURE FOREACH $r: reject #$$EVENT AFTER $r == 0; };
-
-COORDINATE $s: approves_and_forwards_to_Official_2 FROM Official_1,
-$r: receives_application_from_Official_1 FROM
-Official_2
-DO ADD $s PRECEDES $r; OD;
-
-/*--- interactions with Applicant ---------*/
-COORDINATE $r: reject, /* this may come from several actors */
-$rr: application_is_rejected FROM Applicant
-DO ADD $r PRECEDES $rr; OD;
-
-COORDINATE $r: request_rework, /* this may come from several actors */
-$rr: rework FROM Applicant
-DO ADD $r PRECEDES $rr; OD;
-
-COORDINATE $a: approves_and_forwards_to_Applicant FROM Official_2,
-$aa: application_is_approved FROM Applicant
-DO ADD $a PRECEDES $aa; OD;
+	(* 	Receive_application_from_Official_1
+	   	In_Queue_for_Review
+	   	Review_application
+		(	Approve_and_forward_to_Applicant 	|
+			Request_rework 						| 
+            Reject 								) 
+     *)
+
+	BUILD{ 	ENSURE #Reject <= 1;	
+			ENSURE FOREACH $r: Reject #$$EVENT AFTER $r == 0; }
+;
+
+COORDINATE 	$s: Approve_and_forward_to_Official_2 	FROM Official_1,
+			$r: Receive_application_from_Official_1 FROM Official_2
+	DO ADD $s PRECEDES $r; OD;
+
+/* --------- Interactions with Applicant --------- */
+
+COORDINATE 	$r: Reject, /* this may come from several actors */
+			$rr: Application_is_Rejected FROM Applicant
+	DO ADD $r PRECEDES $rr; OD;
+
+COORDINATE 	$r: Request_rework, /* this may come from several actors */
+			$rr: Rework FROM Applicant
+	DO ADD $r PRECEDES $rr; OD;
+
+COORDINATE 	$a: Approve_and_forward_to_Applicant 	FROM Official_2,
+			$aa: Application_is_Approved 			FROM Applicant
+	DO ADD $a PRECEDES $aa; OD;
+
+
+/* --------- Add duration attributes (hours) --------- */
+
+COORDINATE 	$a1: Prepare_application	DO SET $a1.duration  AT LEAST 8; 	OD;
+
+COORDINATE  $a3: Rework 				DO SET $a3.duration  AT LEAST 1; 	OD;
+
+COORDINATE 	$a4: Available_to_do_work 	FROM Official_1	
+										DO SET $a4.duration  AT LEAST 0.5; 	OD;
+
+COORDINATE 	$a4: Available_to_do_work 	FROM Official_2	
+										DO SET $a4.duration  AT LEAST 1; 	OD;
+
+COORDINATE 	$a4: Busy_with_other_work 	FROM Official_1
+										DO SET $a4.duration  AT LEAST 24; 	OD;
+
+COORDINATE 	$a4: Busy_with_other_work 	FROM Official_2	
+										DO SET $a4.duration  AT LEAST 24; 	OD;
+
+COORDINATE 	$a4: Out_of_office 			FROM Official_1	
+										DO SET $a4.duration  AT LEAST 64; 	OD;
+
+COORDINATE 	$a4: Out_of_office 			FROM Official_2	
+										DO SET $a4.duration  AT LEAST 64; 	OD;
+
+COORDINATE  $a5: Review_application 	FROM Official_1	
+										DO SET $a5.duration  AT LEAST 0.25; OD;
+
+COORDINATE  $a7: Review_application 	FROM Official_2 	
+										DO SET $a7.duration  AT LEAST 0.03; OD;
+
+/* --------- Build trace tables and Gantt Charts --------- */
+
+TABLE Gantt_Table{ 
+	TABS 	string event_name, 
+			number start_time, 
+			number duration_time;
+};
+	CLEAR Gantt_Table;
+
+BAR CHART Gantt_Chart { TITLE("Application Process Timeline (hours)");
+	FROM Gantt_Table;
+	X_AXIS event_name;
+	ROTATE; 
+};
+
+COORDINATE $e: $$EVENT
+	DO 	
+		IF $e.duration.largest > 0 THEN
+			Gantt_Table 		<|
+			event_name: 	SAY($e),
+			start_time: 	$e.start.smallest,
+			duration_time:  $e.duration.largest;
+		FI;
+	OD;
+
+SHOW Gantt_Chart;
+
+SAY("Trace " trace_id " Total Time: " THIS.duration/8 " days");
+
+/* --------- Build global reports --------- */
+
+ATTRIBUTES {number 	accumulated_max,
+                    accumulated_min,
+    				accumulated_durations,
+    				smallest_trace_id,
+    				longest_trace_id;	};
+
+GLOBAL.accumulated_durations +:= THIS.duration.smallest;
+
+IF 	GLOBAL.accumulated_max < THIS.duration.largest THEN
+	GLOBAL.accumulated_max := THIS.duration.largest; 
+	GLOBAL.longest_trace_id := trace_id;
+FI;
+
+IF 	GLOBAL.accumulated_min >= THIS.duration.smallest OR
+	GLOBAL.accumulated_min == 0	THEN
+	GLOBAL.accumulated_min := THIS.duration.smallest;
+	GLOBAL.smallest_trace_id := trace_id;
+FI;
+
+GLOBAL
+
+REPORT Duration_Statistics_Report { TITLE ("Scope "$$scope" Duration Statistics");
+									};
+	CLEAR Duration_Statistics_Report;
+
+SAY("There are " #$$TRACE " traces total." )
+			=> Duration_Statistics_Report;
+
+SAY("Trace "longest_trace_id " has the max duration of " 
+    	accumulated_max/8" days." ) 
+			=> Duration_Statistics_Report;
+
+SAY("Trace "smallest_trace_id " has the min duration of " 
+    	accumulated_min/8" days." )
+			=> Duration_Statistics_Report;
+
+SAY("The average duration across all traces (assuming equal probability) is " 
+    	accumulated_durations/8/#$$TRACE" days.")
+			=> Duration_Statistics_Report;
+
+SHOW Duration_Statistics_Report;
+
+/*SHOW ACTIVITY DIAGRAM Applicant, Official_1, Official_2;
+*/
\ No newline at end of file