Some Results on Cross Viewpoint Consistency Checking

The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency This paper considers denitions of consistency arising from the RMODP and relates these in a mathematical framework for consistency checking We place existing FDTs in particular LOTOS into this framework Then we consider the prospects for viewpoint translation Our conclusions centre on the relationship between the dierent denitions of consistency and on the requirements for realistic consistency checkin