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

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 formalization is based on the Triune Continuum Paradigm - a fundamental, logically rigorous object-oriented modeling paradigm that can be adapted by different modeling frameworks as a semantic foundation for their conceptual structures.


Published in:
Computer Standards & Interfaces, 29, 1, 39-53
Year:
2007
Keywords:
Laboratories:




 Record created 2006-12-05, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)