A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
2007
Computer Standards & Interfaces
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a satisfactory formalization of its proposed conceptual framework. We report on the definition and implementation of a concrete resolution for this challenge: a single consistent formalization of the RM-ODP conceptual framework. Our solution formalizes denotational and Tarski's declarative semantics for RM-ODP. The
doi:10.1016/j.csi.2005.10.001
fatcat:hlultfze6ffy7lhp3inlgbvcsq