UML在分布式系统中的应用与研究

ＵＭＬ（Ｕｎｉｆｉｅｄ　 Ｍｏｄｅｌｉｎｇ 　Ｌａｎｇｕａｇｅ）是一种标准的、功能强大的建模语言。ＩＳＯ ＲＭ－ＯＤＰ（ＩＳＯ开放分布式处理参考模型）为开放、灵活的分布式系统提供了主框架。文章提出了一种用ＵＭＬ为ＯＤＰ系统建模的方法,它以ＯＤＰ的概念和ＵＭＬ的符号为基础。     

计算机会议流控制通道协议研究

目前同步计算机会议系统控制方面的能力有限，本文提出了一种会议控制协议，基于开放分布式处理参考模型控制通道概论，在分析协议需求的基础上，设计了一种组合域名协议原语，并用于协议的形式化描述，同时采用带时间和控制的有色Ｐｅｔｒｉ网描述了控制协议实体以进行协议的验证。文章最后简述该协议的设计和实现。     

Using Maude to write and execute ODP information viewpoint specifications

The aim of the open distributed processing (ODP) information viewpoint is to describe the semantics of the information and of the information processing in a system, from a global point of view, without having to worry about other considerations, such as how the information will be finally distributed or implemented or the technology used to achieve such implementation. Although several notations have been proposed to model this ODP viewpoint, they are not expressive enough to faithfully represent all the information concepts, or they tend to suffer from a lack of (formal) support, or both. In this paper, we explore the use of Maude as a formal notation for writing ODP information specifications. Maude is an executable rewriting logic language especially well suited for the specification of object-oriented open and distributed systems. We show how Maude offers a simple, natural, and accurate way of modeling the ODP information viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them.     

一种在分布式系统中支持QoS的方法研究

服务质量（QoS）是分布式系统中最重要的因素之一,它直接影响着系统的质量和用户的满意度。本文提出了一种用UML这一通用建模工具支持分布式系统中QoS的方法,该方法对UML有所扩充,使之可以贯穿ISOＲＭＯＤＰ的五种观点而支持ＱoS。     

开放分布网络管理系统分析与设计

作为新技术规范与网管技术结合的探讨,本文立足于现代网管技术和近年来国际上出现的分布式处理、异类应用综合以及网络互操作技术,分析和设计了一个开放分布网络管理系统。     

基于RM—ODP模型的G—WebService的设计

Web Service,as a new standard framework for distributed computing,is to solve the existing problem of cross-platform communication and collaboration between distributed applications. Evolving from the Web Service ar-chitecture ,G-WebService framework, which is the definite substitute of WebGIS, will change the existing spatial infor-mation applications into geo-services. This paper first introduces the Web Service concept and the related standards,and then discusses the G-WebService architecture and implementation from five viewpoints,which is based on RM-ODP.     

An approach to a Z toolkit for the Reference Model of Open Distributed Processing

We discuss the usage of the (non-OO) Z specification language to represent some fundamental concepts of the ISO Reference Model of Open Distributed Processing (RM-ODP) and the ISO General Relationship Model (GRM). After discussing some of the difficulties involved, we offer suggestions on how Z can be used successfully for specifying and modeling open object-based distributed systems. Although fundamental specification concepts of RM-ODP and GRM are less well-known than “traditional” mathematics, we propose an RM-ODP toolkit somewhat analogous in its usage to the well-known mathematical toolkit in Z.     

基于组件技术的企业分布式应用开发

作为最大限度软件重用的手段,基于组件技术的软件开发是值得称赞的,这与传统的面向对象开发方法存在着较大的区别.为了成功地为事务领域建模,组件模型必须集成到基于组件的应用开发过程中,该过程从更广阔的上下文例如RM-ODP来考虑问题.     

RM-ODP在分布式工作流系统研究中的应用

分布式工作流系统是工作流在分布、异构环境下执行的系统，它给工作流技术的研究引入了新的问题，RM－ODP作为开放分布式处理的一个标准，它给分布式异构系统提供了一个通用的体系结构框架，以RM－ODP为基础对分布式工作流系统进行研究，并分别从RM－ODP的五个视点出发，探讨了怎样结合RM－ODP以分析和设计分布式工作流系统。     

基于MDA的ODP互操作性软件过程研究

利用RM-ODP概念架构，提出了基于MDA的ODP软件过程，将互操作性的实现贯穿于整个系统的开发过程之中：在PIM中设计，在PSM中实现。为了使系统建立在正确的完整的PIM之上，在需求分析阶段采用了EDOC模式进行可视化的建模，在功能设计阶段采用了ELOTOS形式化描述得到PIM。因此，本软件过程实现了ODP系统基于可测试业务模型的互操作性。