ODP系统企业观点的形式化描述

FORMAL REPRESENTATION OF ODP SYSTEM UNDER THE ENTERPRISE VIEWPOINT

ＯＤＰ系统的企业观点反映了开放分布式系统对象之间的合作关系，本文以模态逻辑为工具来讨论企业观点下ＯＤＰ系统的形式化描述方法．通过在合作的系统对象和模态逻辑的可通界关系之间建立联系，并使用多值逻辑来计算模态命题真值的方法来形式化地表述系统对象之间的合作关系，并用这种方法建立起了一组共同体的存在性约束规则．

The enterprise viewpoint of ODP system describes the cooperative relationship among objects within the ODP system. To present formally the enterprise viewpoint of ODP system, a method based on modal logic is proposed in this paper by connecting these cooperative relations with reachability of possible world in modal logic, and using multi-valued logic method to evaluate the modal propositions. A set of constraint rules for the existence of a community is proposed.