archi_model_spec("ValidationExample1",L) :-
L = [ sw_archi(log_upg),
tasks([t0, t1, t2, t3]),
processing_elements([c1, c0]),
a_type(c0,processing),    
a_type(c1,processing),
am_PE_use(c1,[]),
am_PE_use(c0,[]),
ha_independent(c0),          
ha_independent(c1), 		
dm_PE_allowed(t0,[c0, c1]),
dm_PE_allowed(t1,[c0, c1]),
dm_PE_allowed(t2,[c0, c1]),
dm_PE_allowed(t3,[c0, c1]),
dm_PE_scheduling(c0,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
a_proc_type(c0,processor),
a_proc_type(c1,processor),
a_proc_isa(c1,i386),
a_proc_isa(c0,i386),
a_proc_speed(c1, 100000000),
a_proc_speed(c0, 100000000),
end_with_success ].