ODP系统中的观点及观点规范语言

开放分布式处理ＯＤＰ的目标是给应用程序间提供一个一致的接口模型，以实现分布透明性、互操作性和可移植性。开放分布式参考模型ＩＳＯＲＭ－ＯＤＰ提供了一个分布式系统的框架，从五个不同的观点描述ＯＤＰ系统，并提出相应的规范语言的概念和构造规则以便对该观点进行描述。本文首先介绍了这五种观点及相应的规范语言的概念和构造规则，并讨论了它们之间的关系。

ODP系统中的联邦交易模型

1引言 交易员是ODP系统中的一个重要组件,用于分布计算环境中对象服务的发布与获[l],实现对象服务的分布透明与互操作,即一个对象可将其所提供的服务通过交易员进行发布同时通过它可以获取其所需要的对象服务。

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

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

ODP系统的安全结构

在任何计算机环境中，安全性是非常重要的，特别是在计算机网络和开放式分布处理系统中更为重要，本文介绍了ＯＤＰ系统中的安全结构，从扩充ＩＳＯ／ＯＳＩ环境中的安全结构，ＯＤＰ环境中的安全服务与安全域这几个方面阐明了ＯＤＰ环境中的安全结构。

公文处理系统ODPS教学方法的探讨

公文处理软件ODPS是国家税务总局重点推广的办公自动化软件 ,在全国国税系统已得到了广泛的使用 ,各地也正开展着大规模的培训 ,本文介绍了作者对公文处理软件ODPS教学方法的研究和教学实践的体会 ,给出了此类办公自动化软件教学的基本思路。