THE SEMANTIC MODEL OF ODP SYSTEM UNDER THE ENTERPRISE VIEWPOINT

摘要

A semantic model based on modal logic is proposed in the paper for the enterprise viewpoint of ODP system. This model formalized the cooperation relationship among objects within an ODP system. To handle the semantic contradiction occurred in federation situation, the value assignment rules for the modal preposition and predicate evaluation are extended with three-valued and four-valued methods.