dataport.aadl