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

龚俭; 顾冠群

首页> 中文期刊>计算机学报 >ODP系统企业观点的形式化描述

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机学报》|1996年第9期|713-716|共4页
作者
龚俭; 顾冠群;
展开▼
作者单位

东南大学计算机科学与工程系,南京,210096;

东南大学计算机科学与工程系,南京,210096;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
开放分布式处理; 企业观点; 形式化描述; 模态逻辑;
入库时间 2023-07-25 14:02:43

相似文献

中文文献
外文文献
专利

1. ODP系统中的观点及观点规范语言 [J] . 汲化 ,陈军 ,谢立 . 计算机研究与发展 . 1996,第003期
2. ODP观点下计算机会议系统模型的研究 [J] . 刘炳华 ,顾冠群 . 东南大学学报：自然科学版 . 1997,第001期
3. 核电企业信息系统组织模型及形式化描述 [J] . 袁锋 ,宋亚峰 ,李旭东 . 中国核电 . 2012,第002期
4. RM-ODP在虚拟企业信息管理研究中的应用 [J] . 雷勇 . 机械设计与制造工程 . 2008,第001期
5. 由ODP Leg191布设的海底井下宽频带地震仪系统 [J] . M．Shinohara ,E．Araki ,T．Kanazawa . 世界地震译丛 . 2004,第006期
6. 钢铁企业轧钢加热炉节能实践与探索——用系统节能的观点推进加热炉节能降耗 [C] . GUO Hong-ling ,郭红玲 . 第七届全国能源与热工学术年会 . 2013
7. 基于系统观点的企业营销知识管理系统分析与设计 [A] . 席运江 . 2002

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

摘要

著录项

相似文献

相关主题

期刊订阅