学术论文信息

 题名：   ODP系统企业观点的形式化描述 
 作者：   龚俭,顾冠群 
 杂志/会议：   计算机学报 
 卷、期、页码：   Vol.19 No.9 P:713-716 
 时间：   1996-09 
 关键词：    
 摘要：  ODP系统的企业观点反应了开放分布式系统对象之间的合作关系，本文以模态逻辑为工具来讨论企业观点下ODP系统的形式化描述方法。通过在合作的系统对象和模态逻辑的可通界关系之间建立联系，并使用多值逻辑来计算模态命题真值的方法来形式化地表述系统对象之间的合作关系，并用这种方法建立起了一组共同体的存在性约束规则。
 索引：   
 全文链接        导出