摘要
ODP系统的企业观点反映了开放分布式系统对象之间的合作关系,本文以模态逻辑为工具来讨论企业观点下ODP系统的形式化描述方法.通过在合作的系统对象和模态逻辑的可通界关系之间建立联系,并使用多值逻辑来计算模态命题真值的方法来形式化地表述系统对象之间的合作关系,并用这种方法建立起了一组共同体的存在性约束规则.
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.
出处
《计算机学报》
EI
CSCD
北大核心
1996年第9期713-716,共4页
Chinese Journal of Computers
基金
国家863计划
江苏省青年科技基金
关键词
企业观点
形式化描述
ODP系统
分布式计算机
Open distributed processing, enterprise viewpoint, formal description, modal logic