摘要
A semantic model based on modal logic is proposed in the paperfor the enterprise viewpoint of ODP system. This model formalized the coop-eration relationship among objects within an ODP system. To handle the se-mantic contradiction occurred in federation
