Data modelling with IDEF1x