Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm