SCHEMA Design_Patterns;
	USE FROM Applicability_constraints;

	TYPE Communication_Design_Patterns_Type = ENUMERATION
		OF ( Time_Triggered_Type,
			 Ravenscar_Type,
			 Blackboard_Type,
			 Queued_Buffer_Type,
			 Unplugged_Type );
	END_TYPE;

	TYPE Environmental_Design_Patterns_Type = ENUMERATION
		OF ( ARINC_Type,
			 Partition_Type,
			 Flat_Uniprocessor_Type,
			 Hierarchical_Type,
			 Multi_Processor_Type );
	END_TYPE;

	ENTITY Generic_Design_Pattern;
		Schema_Name : STRING;
	END_ENTITY;

	ENTITY Communication_Design_Pattern 
		SUBTYPE OF ( Generic_Design_Pattern );
		Self_Type : Communication_Design_Patterns_Type;
	END_ENTITY;

	ENTITY Environmental_Design_Pattern 
		SUBTYPE OF ( Generic_Design_Pattern );
	END_ENTITY;
END_SCHEMA;

SCHEMA Synchronous_data_flow;
	USE FROM all_tasks_are_periodic_constraint;
	USE FROM No_Buffer_constraint;
	USE FROM no_shared_resources_constraint;
	USE FROM data_sharing_protocol_constraint;
	USE FROM no_shared_cpu_constraint;
END_SCHEMA;

SCHEMA Ravenscar;
	USE FROM all_tasks_are_periodic_or_sporadic_constraint;
	USE FROM No_Buffer_constraint;
	USE FROM At_Least_One_Data_constraint;
	USE FROM Data_Connectivity_constraint;
	USE FROM Allowed_Protocol_constraint;
	USE FROM Ceiling_Priority_assignment_constraint;
	USE FROM Pip_No_Deadlock_constraint;
END_SCHEMA;

SCHEMA Unplugged;
	USE FROM all_tasks_are_periodic_or_sporadic_constraint;
	USE FROM No_Buffer_constraint;
	USE FROM No_dependencies_constraint;
	USE FROM no_shared_cpu_constraint;
END_SCHEMA;

SCHEMA Queued_Buffer;
	USE FROM all_tasks_are_periodic_constraint;
END_SCHEMA;

SCHEMA Black_Board;
	USE FROM all_tasks_are_periodic_constraint;
END_SCHEMA;

SCHEMA Flat_Monoprocessor;
	USE FROM Static_priorities_RM_EDF_DM_constraint;
	USE FROM Preemptive_or_not_preemptive_constraint;
	USE FROM Quantum_equals_zero_constraint;
	USE FROM No_Hierarchical_Scheduling_constraint;
END_SCHEMA;