-
题名ODP系统中的观点及观点规范语言
被引量:1
- 1
-
-
作者
汲化
陈军
谢立
孙钟秀
-
机构
南京大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第3期169-175,共7页
-
文摘
开放分布式处理ODP的目标是给应用程序间提供一个一致的接口模型,以实现分布透明性、互操作性和可移植性。开放分布式参考模型ISORM-ODP提供了一个分布式系统的框架,从五个不同的观点描述ODP系统,并提出相应的规范语言的概念和构造规则以便对该观点进行描述。本文首先介绍了这五种观点及相应的规范语言的概念和构造规则,并讨论了它们之间的关系。
-
关键词
odp系统
应用程序
接口模型
规范语言
-
Keywords
Open Distributed Processing, distributed system, viewpoints, specification.
-
分类号
TP317
[自动化与计算机技术—计算机软件与理论]
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名ODP系统中的联邦交易模型
被引量:1
- 2
-
-
作者
李贵
尹朝万
郑怀远
-
机构
中科院沈阳自动化所
东北大学计算机系
-
出处
《计算机科学》
CSCD
北大核心
1997年第5期23-27,共5页
-
基金
863/CIMS主题资助
-
文摘
1引言 交易员是ODP系统中的一个重要组件,用于分布计算环境中对象服务的发布与获[l],实现对象服务的分布透明与互操作,即一个对象可将其所提供的服务通过交易员进行发布同时通过它可以获取其所需要的对象服务。
-
关键词
odp系统
联邦交易模型
分布计算
-
Keywords
Open Distributed Processing, Federated contract,Federating trading
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名ODP系统企业观点的形式化描述
- 3
-
-
作者
龚俭
顾冠群
-
机构
东南大学计算机科学与工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
1996年第9期713-716,共4页
-
基金
国家863计划
江苏省青年科技基金
-
文摘
ODP系统的企业观点反映了开放分布式系统对象之间的合作关系,本文以模态逻辑为工具来讨论企业观点下ODP系统的形式化描述方法.通过在合作的系统对象和模态逻辑的可通界关系之间建立联系,并使用多值逻辑来计算模态命题真值的方法来形式化地表述系统对象之间的合作关系,并用这种方法建立起了一组共同体的存在性约束规则.
-
关键词
企业观点
形式化描述
odp系统
分布式计算机
-
Keywords
Open distributed processing, enterprise viewpoint, formal description, modal logic
-
分类号
TP338.8
[自动化与计算机技术—计算机系统结构]
-
-
题名ODP系统的安全结构
被引量:3
- 4
-
-
作者
秦志光
刘锦德
-
出处
《微型计算机》
北大核心
1995年第2期29-31,共3页
-
文摘
在任何计算机环境中,安全性是非常重要的,特别是在计算机网络和开放式分布处理系统中更为重要,本文介绍了ODP系统中的安全结构,从扩充ISO/OSI环境中的安全结构,ODP环境中的安全服务与安全域这几个方面阐明了ODP环境中的安全结构。
-
关键词
安全机制
安全结构
odp系统
计算机系统
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名公文处理系统ODPS教学方法的探讨
- 5
-
-
作者
徐晓阳
-
机构
国家税务总局扬州税务进修学院
-
出处
《扬州大学税务学院学报》
2001年第3期63-64,共2页
-
文摘
公文处理软件ODPS是国家税务总局重点推广的办公自动化软件 ,在全国国税系统已得到了广泛的使用 ,各地也正开展着大规模的培训 ,本文介绍了作者对公文处理软件ODPS教学方法的研究和教学实践的体会 ,给出了此类办公自动化软件教学的基本思路。
-
关键词
办公自动化软件
公文处理
教学
odpS系统
税务系统
-
分类号
C931.4
[经济管理—管理学]
TP31
[自动化与计算机技术—计算机软件与理论]
-