SCHEMA Scheduling_Analysis;
	USE FROM Basic_Types;
	USE FROM Framework_Config;
	USE FROM Time_Unit_Events;
	USE FROM Buffers;

	TYPE Scheduling_Sequence = Time_Unit_Table;
	END_TYPE;

	TYPE Blocking_Time_Range = Range;
	END_TYPE;

	TYPE Blocking_Time_Table = LIST OF Density_Item;
	END_TYPE;

	TYPE Response_Time_Table = LIST OF Association;
	END_TYPE;

	TYPE Response_Time_Range = Range;
	END_TYPE;

	TYPE Buffer_Size_Range = Range;
	END_TYPE;

	TYPE Buffer_Size_Table = LIST OF Buffer_Size_Item;
	END_TYPE;

	TYPE Buffer_Result_Range = Range;
	END_TYPE;

	(* TYPE Buffer_Result_Table = LIST [ 0 : Max_Buffers] OF Association;
	END_TYPE; *)
	TYPE Buffer_Result_Table = LIST [ 0 : 100 ] OF Association;
	END_TYPE;

	TYPE Waiting_Time_Range = Range;
	END_TYPE;

	TYPE Waiting_Time_Table = LIST OF REAL;
	END_TYPE;

	TYPE Density_Range = Range;
	END_TYPE;

	TYPE Density_Table = LIST OF Density_Item;
	END_TYPE;

	TYPE Densities_Range = Range;
	END_TYPE;

	TYPE Densities_Table = LIST OF Density_Item;
	END_TYPE;

	TYPE Deadlock_Iterator = Iterator;
	END_TYPE;

	TYPE Deadlock_List = LIST OF Deadlock_Item;
	END_TYPE;

	TYPE Priority_Inversion_Iterator = Iterator;
	END_TYPE;

	TYPE Priority_Inversion_List = LIST OF Priority_Inversion_Item;
	END_TYPE;

	ENTITY Generic_Index_Lst_Package;
	END_ENTITY;

	ENTITY Double_Tasks_Parameters_Package;
		indexed_table : Blocking_Time_Table;
		indexed_table_range : Blocking_Time_Range;
		indexed_table_ : Response_Time_Table;
		indexed_table_range_ : Response_Time_Range;
	END_ENTITY;

	ENTITY Buffer_Size_Item;
		time : Natural;
		size : Natural;
	END_ENTITY;

	ENTITY Buffer_Size_Package;
		table_range : Buffer_Size_Range;
		table : Buffer_Size_Table;
	END_ENTITY;

	ENTITY Buffer_Result_Package;
		indexed_table_range : Buffer_Result_Range;
		indexed_table : Buffer_Result_Table;
	END_ENTITY;

	ENTITY Waiting_Time_Package;
		table_range : Waiting_Time_Range;
		table : Waiting_Time_Table;
	END_ENTITY;

	ENTITY Density_Item;
		response_time : Natural;
		probability : REAL;
	END_ENTITY;

	ENTITY Density_Package;
		table_range : Density_Range;
		table : Density_Table;
	END_ENTITY;

	ENTITY Densities_Table_Package;
		indexed_table_range : Densities_Range;
		indexed_table : Densities_Table;
	END_ENTITY;

	ENTITY Deadlock_Item;
		time : Natural;
		task_name : STRING;
		resource_name : STRING;
	END_ENTITY;

	ENTITY Deadlock_Package;
		iterator : Deadlock_Iterator;
		list_ : Deadlock_List;
	END_ENTITY;

	ENTITY Priority_Inversion_Item;
		start_time : Natural;
		end_time : Natural;
		task_name : STRING;
		resource_name : STRING;
	END_ENTITY;

	ENTITY Priority_Inversion_List_Package;
		iterator : Priority_Inversion_Iterator;
		list_ : Priority_Inversion_List;
	END_ENTITY;
END_SCHEMA;

SCHEMA Call_Framework_Interface;
	USE FROM Framework_Config;
	USE FROM basic_types;
	USE FROM Parameters;

	TYPE Framework_Statement_Type = ENUMERATION
		OF ( Scheduling_Simulation_Basics,
			 Scheduling_Simulation_Time_Line,
			 Scheduling_Simulation_Preemption_Number,
			 Scheduling_Simulation_Context_Switch_Number,
			 Scheduling_Simulation_Response_Time,
			 Scheduling_Simulation_All_Response_Time,
			 Scheduling_Simulation_Blocking_Time,
			 Scheduling_Simulation_Priority_Inversion,
			 Scheduling_Simulation_Deadlock,
			 Scheduling_Simulation_Run_Event_Handler,
			 Scheduling_Feasibility_Basics,
			 Scheduling_Feasibility_Response_Time,
			 Scheduling_Feasibility_Cpu_Utilization,
			 Scheduling_Set_Priorities_According_To_Deadline_Monotonic,
			 Scheduling_Set_Priorities_According_To_Rate_Monotonic,
			 Scheduling_Feasibility_Compute_Blocking_Time,
			 Scheduling_Feasibility_Compute_And_Set_Blocking_Time,
			 Scheduling_Feasibility_First_Fit,
			 Scheduling_Feasibility_General_Task,
			 Scheduling_Feasibility_Next_Fit,
			 Scheduling_Feasibility_Best_Fit,
			 Scheduling_Feasibility_Small_Task,
			 Scheduling_Feasibility_Test_By_Name,
			 Global_Memory_Set_Requirement_Analysis,
			 Global_Memory_Compute_Requirement_Analysis,
			 Buffer_Feasibility_Tests,
			 Buffer_Scheduling_Simulation,
			 Random_Response_Time_Density,
			 Dependency_Compute_End_To_End_Response_Time_One_Step,
			 Dependency_Set_End_To_End_Response_Time_One_Step,
			 Dependency_Compute_End_To_End_Response_Time_All_Steps,
			 Dependency_Set_End_To_End_Response_Time_All_Steps,
			 Dependency_Compute_Chetto_Blazewicz_Priority,
			 Dependency_Compute_Chetto_Blazewicz_Deadline,
			 Dependency_Set_Chetto_Blazewicz_Priority,
			 Dependency_Set_Chetto_Blazewicz_Deadline,
			 Select_Feasibility_Tests_Simple,
			 Select_Feasibility_Tests_Compositional );
	END_TYPE;

	TYPE Framework_Request_Range = Range;
	END_TYPE;

	TYPE Framework_Request_Table = LIST [ 0 : Max_Requests] OF Framework_Request;
	END_TYPE;

	TYPE Framework_Response_Range = Range;
	END_TYPE;

	TYPE Framework_Response_Table = LIST [ 0 : Max_Requests] OF Framework_Response;
	END_TYPE;

	TYPE Partioning_Type = ENUMERATION
		OF ( General_Task, Best_Fit, First_Fit, Next_Fit, Small_Task );
	END_TYPE;

	TYPE Output_Format = ENUMERATION
		OF ( Xml_Output, String_Output, Raw_Output );
	END_TYPE;

	TYPE Perform_Order = ENUMERATION
		OF ( Total_Order, Causal_Order );
	END_TYPE;

	ENTITY Framework_Request;
		statement : Framework_Statement_Type;
		param : Framework_Parameters_Table;
		target : STRING;
	END_ENTITY;

	ENTITY Framework_Request_Package;
		table_range : Framework_Request_Range;
		table : Framework_Request_Table;
	END_ENTITY;

	ENTITY Framework_Response;
		title : STRING;
		text : STRING;
	END_ENTITY;

	ENTITY Framework_Response_Package;
		table_range : Framework_Response_Range;
		table : Framework_Response_Table;
	END_ENTITY;
END_SCHEMA;

SCHEMA Multiprocessor_Services_Interface;
	USE FROM scheduling_analysis;
	USE FROM Basic_Types;
	USE FROM Processors;
	USE FROM Framework_Config;

	TYPE Scheduling_Table = LIST OF Association;
	END_TYPE;

	TYPE Scheduling_Table_Range = Range;
	END_TYPE;

	ENTITY Scheduling_Result;
		scheduling_msg : STRING;
		has_error : BOOLEAN;
		error_msg : STRING;
		result : Scheduling_Sequence;
	END_ENTITY;

	ENTITY Scheduling_Result_Per_Processor_Package;
		indexed_table : Scheduling_Table;
		indexed_table_range : Scheduling_Table_Range;
	END_ENTITY;
END_SCHEMA;

SCHEMA AADL_Parser_Interface;
	USE FROM Basic_Types;
	USE FROM Framework_Config;

	TYPE Processor_Binding_Table = LIST OF Binding_Record_Type;
	END_TYPE;

	TYPE Processor_Binding_Range = Range;
	END_TYPE;

	ENTITY Binding_Record_Type;
		cpu_name : STRING;
		address_space_name : STRING;
	END_ENTITY;

	ENTITY Processor_Binding_Package;
		table : Processor_Binding_Table;
		table_range : Processor_Binding_Range;
	END_ENTITY;
END_SCHEMA;

SCHEMA Xml_Architecture_Parser_Interface;

	TYPE XML_Units = ENUMERATION
		OF ( core_units_xml,
			 address_spaces_xml,
			 processors_xml,
			 buffers_xml,
			 resources_xml,
			 dependencies_xml,
			 networks_xml,
			 messages_xml,
			 tasks_xml,
			 task_groups_xml,
			 deployments_xml );
	END_TYPE;
END_SCHEMA;