Conceptual Modelling and Its Theoretical Foundations