thread TH1_t
features
	port1 : out data port Behavior::integer;
	port2 : in data port Behavior::integer;
end TH1_t;

thread implementation TH1_t.impl
properties
	Dispatch_Protocol => Periodic;
	Period => 50ms;
end TH1_t.impl;

thread TH2_t
features
	foo : in data port Behavior::integer;
	bar : out data port Behavior::integer;
end TH2_t;

thread implementation TH2_t.impl
properties
	Dispatch_Protocol => Periodic;
	Period => 50ms;
end TH2_t.impl;

process application_t
end application_t;

process implementation application_t.impl
subcomponents
	TH1 : thread TH1_t.impl;
	TH2 : thread TH2_t.impl;
connections
	data port TH1.port1 -> TH2.foo;
	data port TH2.bar -> TH1.port2;
end application_t.impl;

processor myProcessor 
end myProcessor ;

system platform_t
end platform_t;

system implementation platform_t.impl
subcomponents
	p : processor myProcessor ;
	application : process application_t.impl;
	properties 
        Actual_processor_Binding => (reference p) applies to application.TH1 ;
        Actual_processor_Binding => (reference p) applies to application.TH2 ;
       	Actual_processor_Binding => (reference p) applies to application ;
end platform_t.impl;