mapping AUTOSARGenIA::ARPackage::arpackage2module() : Module {
-- ...
self.elements[SenderReceiverInterface]->forEach(SRInterface) {declarations += generateMessagePortTypes(SRInterface)->asOrderedSet()};
--...
}

query generateMessagePortTypes(in interface:AUTOSARSwcPorti::SenderReceiverInterface) : Set(MessagePortType){
	var resultPorts:Set(MessagePortType);
	resultPorts += interface.map senderReceiverInterface2messagePortType(true);
	resultPorts += interface.map senderReceiverInterface2messagePortType(false);
	return resultPorts;
}

mapping AUTOSARSwcPorti::SenderReceiverInterface::senderReceiverInterface2messagePortType(in isProvided:Boolean) : MessagePortType{
	var direction:String;
	if (isProvided)
		then direction := "OUT"
		else direction := "IN"
		endif;
	name := self.shortName+direction;
	comSpec := self.dataElements.map dataElementProtoType2messageAndStreamComSpec()->asOrderedSet();
}

mapping DataElementPrototype::dataElementProtoType2messageAndStreamComSpec() : MessageAndStreamComSpec
	{
	var foundtype:TTCN3::PrimitiveType := getPrimitiveType(self.type.repr()); 
	types := foundtype;
}

-- and so on ...

modeltype mm_annotations "strict" uses 
'http://cif.tue.nl/cif-2.1.1/annotations';
modeltype mm_cif "strict" uses 'http://cif.tue.nl/cif-2.1.1';
modeltype mm_expressions "strict" uses 
'http://cif.tue.nl/cif-2.1.1/expressions';
modeltype mm_types "strict" uses 'http://cif.tue.nl/cif-2.1.1/types';

library cif_helpers;

// Enable this property to enable to debug output.
property DEBUG: Boolean = false;

// Removes all root objects from an (output) model, except for 
specifications,
// and asserts that there is exactly one root object left.
helper Stdlib::Model::cleanOutput()
{
     if DEBUG then log('DEBUG: Root object count:', 
self.rootObjects()->size())
     endif;

     // Remove all root objects that are not cif specifications.
     self.rootObjects()->select(ro | not ro.oclIsTypeOf(Specification))
                       ->forEach(ro)
     {
         if DEBUG then log('DEBUG: Removing root object:', ro) endif;
         self.removeElement(ro);
     };

     if DEBUG then log('DEBUG: Root object count:', 
self.rootObjects()->size())
     endif;

     // Make sure we have exactly one root object.
     assert fatal (self.rootObjects()->size() = 1);
}

import logging;
import cifcopy;
import cif_helpers;

modeltype (...)
(...)
transformation initpreds(in inModel : mm_cif, out outModel : mm_cif)
     extends transformation cifcopy(in mm_cif, out mm_cif)
     extends logging
     access cif_helpers;

main() {
     inModel.rootObjects()[Specification]->xmap transSpecification();
     outModel.cleanOutput();
}

(...)