LAMS, Swiss Federal Institute of Technology.

A formalization of RM-ODP Part 2 using Russells Theory of Types, Set Theory and regular predicate logic. The formal model of RM-ODP Part 2 is written in Alloy:

* Andrey Naumenko. Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP. PhD Thesis number 2581, Swiss Federal Institute of Technology - Lausanne (EPFL), June 2002.

* Andrey Naumenko and Alain Wegmann. RM-ODP part 2: Foundations in Alloy. EPFL-DSC technical report No. DSC/2001/041, August 2001.

* Andrey Naumenko and Alain Wegmann. A Formal Foundation of the RM-ODP Conceptual Framework EPFL-DSC technical report No. DSC/2001/040, July 2001.

* Andrey Naumenko, Alain Wegmann, Guy Genilloud, William Frank. Proposal for a formal foundation of RM-ODP concepts, Proceedings of ICEIS 2001, Workshop On Open Distributed Processing - WOODPECKER`2001, Setubal, Portugal, July 2001, pp. 81-97.