rule FiacreLabelType2FiacreLabelType {
	from
		fiacre_label_type_ins : InstancieMetaModel!FiacreLabelType(fiacre_label_type_ins.oclIsTypeOf(InstancieMetaModel!FiacreLabelType))
	to
		fiacre_label_type_lie : LieMetaModel!FiacreLabelType(
			name <- fiacre_label_type_ins.name,
			ports <- thisModule.getPort(fiacre_label_type_ins.name)
		)
}

helper def : getPort(labelName : String) : Set(InstancieMetaModel!FiacreProcessName) =
	let alltransitions : Sequence(InstancieMetaModel!Transition) = 
		InstancieMetaModel!Transition.allInstances().asSequence() in
	alltransitions->iterate(t; y : InstancieMetaModel!Transition = alltransitions->first() |
					if t.label.name = labelName
					then 
						t
					else
						y
					endif
	).processID->collect(e|e.fiacre_process_name)
	;