基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 。

一个面向对象的形式化描述语言研究

本文针对信息系统建设的关键阶段——需求分析阶段的问题,对信息系统中需求分析作了深入地研究。结合现代信息系统建设的特点,提出了一套简单有效的面向对象需求分析方法以及相应的信息系统需求分析语言ISRSL。

对象描述语言及其指称描述

在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。

对象描述语言编译器的设计和实现

对象描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是组合框架软件ＳＣＯＰ（ｓｏｆｔｗａｒｅｃｏｎｓｔｒｕｃｔｉｏｎ＝ｏｂｊｅｃｔ＋ｐｒｏｃｅｓｓｃｏｎｔｒｏｌ）环境的核心，ＯＤＬ将类的抽象规范和具体实现相分离．ＯＤＬ编译器支持这种分离，并在此基础上实现了语言独立；另外，在ＳＣＯＰ对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的支持下，在不同站点上开发的类及其所提供的服务可以共享，从而实现了位置独立．编译器还实现了动态联编的分离编译、基于对象库的复用和自动链接以及含参类的快速实例化．编译器以Ｃ语言为中间代码，生成的代码具有良好的可移植性．该文详细介绍了ＯＤＬ编译器的关键设计技术和实现方法．

并行面向对象语言的Action演算语义

给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.

面向对象语言Smalltalk-80的并行与分布实现技术的研究

本文首先简要介绍面向对象语言Smalltalk-80系统的顺序实现技术,然后重点论述它的并发、分布及并行实现技术。

面向对象语言并行化中的调用局部化优化

该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法 .文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销 .该优化技术首先将循环分离成多个包含有远程调用的循环 ,再将分离后的循环分配给循环中调用对象所在的处理器 ,最后 ,化简迭代空间 ,并且用消息传递来传输数据 .这种优化在对象分布和循环并行化之后进行 ,将函数调用局部化于处理器 .通过这种优化 ,可以进一步挖掘循环中的任务并行性 ,降低计算复杂度 ,减少函数调用开销 ,尤其适合面向对象语言中对循环里小函数的优化 .该技术已经在作者设计的 Java自动并行化编译器 JAPS- II中实现 .在实验中 。

并行面向对象语言综述

近年来 ,面向对象语言的并行化技术取得了许多重要进展 .以 Mentat,CC++,p C++,HPC++和ICC++等几个典型系统为代表 ,从并行执行模型、语言并行设施、优化技术和运行时支持等几个方面归纳、总结了近年来这些语言和编译器支持并行的新技术 .同时 ,还给出了对这些技术的分析和评价 ,总结了需要进一步研究和解决的问题 .

面向对象语言C^(++)并行/分布技术的研究及实现

C++~[1]语言是混合型面向对象的程序设计语言,几乎遍布计算机的各个领域。分布式系和多处理机系统的发展,并行处理撞术的应用领域日益扩大。

数据并行高层描述语言中的数据抽象

数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方面 :一是引入了变量的定义域、子域和依赖域概念 ,给出了它们的形式化描述 ,二是引入了变量的数学属性 ,并和域分离 ,便于数据并行自动识别 ,重构高效的并行程序 ,使

并行面向对象语言的研究与比较

一、引言随着并行多机系统和网络分布计算平台日益流行,并发/并行程序设计技术得到广泛应用。

面向对象的并行处理程序设计语言和方法

本文介绍了如何将面向对象的程序设计方法用于并行处理程序设计之中，通过对将此方法用于多线索程序设计的过程的说明，阐述了并行处理程序设计中所遇到的各种问题以及解决方法。实验结果证明，此种并行处理程序设计语言和方法简单、高效。

面向对象多层分布并行逻辑语言MDP－PROLOG^（＋＋）的设计

本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍了一个较规范、较通用的面向对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计．该语言不仅可在多层分布并行系统上实现，也可在小规模粗粒度的并行系统上实现．

Stream和Object——面向对象的并行计算模型及其语言探讨(2)

4.扩充文法为了严格忠实地表示 Stream 计算模型,我们定义了基本文法。但是,对于大型的并行问题,往往需要更简洁、更抽象的文法描述。为了提高描述力,简洁而安全地编写程序,特对基本文法作如下扩充:·导入简易(宏)的描述;·从 Stream 变量到 Channel 变量的语义扩充;·对 Stream 完整化的支持;·导入挥发对象。4.1 简易描述(宏)为了能简易地书写程序,要提供种种简易描述。如同基本语法由函数表达式组成一样,这些简易描述在某表达式(串)

Stream和Object——面向对象的并行计算模型及其语言探讨(1)

AIUM 从 Stream 计算(或半序集演算体系)出发,微观地研究计算和对象抽象化,是一种面向对象的并行程序设计语言。本文拟分为两部分:第一部分介绍面向对象的并行计算模型及其语言 AIUM 的基本文法和相关例子;第二部分(连载)进一步介绍 AIUM 的扩充文法和例子以及给并行语言带来了强的描述能力和处理手段的 Stream 和 Object 的融合。

PJVM:基于Java的面向对象分布并行处理系统

文中介绍了ＰＪＶＭ（ｐａｒａｌｅｌＪａｖａｖｉｒｔｕａｌｍａｃｈｉｎｅ）系统的组成及主要特点，讨论了如何扩充Ｊａｖａ的对象库，解决异构环境下进行并行分布处理出现的多进程或多线程存取共享变量的同步、分布式共享存储管理等问题．并通过几个实例说明了系统提供的多种编程接口和多种计算模式是可行的，从而为Ｊａｖａ应用开辟了新的领域，为在异构广域网络上实现超大问题的大规模分布并行处理奠定了基础．

一种基于进程代数的软件体系结构描述语言PEADL

对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。

面向对象数据库的并行查询处理

一、引言随着数据库规模日趋庞大,其查询日趋复杂,对数据库系统性能的要求也越来越高。另一方面,并行计算机系统迅速发展,许多商品化的高性能并行计算机系统相继投入市场。许多数据库研究者们认为,在并行计算机系统上实现数据库管理系统能够极大地提高数据库管理系统的性能,并行数据库管理系统有望成为未来的高性能数据库管理系统。

层次式面向对象并行环境HOOPE的效率和性能分析

并行软件的开发始终是并行应用技术发展的难点之一 .要开发高效、灵活、复用性好的并行软件更是困难 .为了在一定程度上解决这个问题 ,我们从层次式结构、设计模式和面向对象应用框架等技术角度出发 ,研制了面向专业领域的 HOOPE并行开发环境 .本文在对该环境作简单介绍的基础上 ,着重分析其开发效率和所开发软件的并行性能 .并由此得出结论 :HOOPE是一个适合开发大规模并行计算任务的简单实用。

一种面向对象语言的扩充设计

将对象精化思想引入到Lava语言的委派机制中,提出了一种新的面向对象语言——EJava,并给出实现的关键技术。这种扩充不但符合人类的认知方式,而且支持并发程序设计,同时又继承了Java/Lava的原有优势,从而为Java应用开辟了新的领域,为在异构广域网络上实现超大规模分布式并行处理奠定了基础。