前件推导及其计算机实现

前件推导是定理证明的一种扩展.本文介绍了前件推导的定义及其形式系统,描述了前件推导的计算机实现,该实现具有如下一些特点:1)主要采用自然演绎途径;2)用一种扩展与/或树表示前件推导问题;3)基本搜索策略是有序深度优先;4)利用启发信息控制搜索.

软件可靠性估计与计算复杂性的关系浅析

软件可靠性估计是软件可靠性研究的重要问题之一．提出一种根据软件随机测试的结果进行软件可靠性估计的方法．它使被测软件的复杂性成为估计公式中的一个因素，从而克服了现有同类方法把软件看作是黑箱的缺点．它以软件的邻域集合的伪维数作为软件复杂性度量，从而使根据软件的可能错误空间进行可靠性估计成为可能．还证明了算法的计算复杂性与软件所可能计算的函数集合的伪维数之间存在着一定的联系．

基于移动Agent技术的构件软件框架研究

随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件框架具有较强的网络环境的动态适应性 .

支持多种并行计算模型的面向对象框架研究

为了支持并行程序设计，几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型，如Ａｄａ语言的任务与会合机制以及Ｊａｖａ语言的线程和同步方法．显然，这样的程序设计语言仅能支持一种高级并行计算模型．尽管单模型的途径对某些应用来说简单而有效，但由于现实世界中的问题往往较为繁杂而难以完全用单一模型来解决．文章采用面向对象的语言机制和框架技术来解决此问题．通过分析现有各种语言中高级并行计算模型的共性，提出了若干新的面向对象语言机制．以此为基础，提出了并行面向对象框架的概念，并讨论用其表达和使用高级并行计算模型的方法．结果是，可在某种意义下将高级并行计算模型从语言中分离出来，而单一语言可由多个并行框架加以支撑，从而使得在单一面向对象语言中支持多种高级并行计算模型成为可能．

一个科学计算领域的面向对象并行应用框架

本文讨论了一个面向对象的分布式并行应用开发环境ＰＯＯＭＡ。该环境采用以层次结构为基础的应用框架技术，将应用开发和与并行体系结构相关的部分隔离，使并行应用程序对体系结构透明并具有良好的可移植性，同时应用框架中的组件技术提高了软件的可重用性。该应用框架为科学计算领域内以数据并行为基础的应用软件开发提供了良好的环境。

面向对象科学计算工作空间管理框架

大型科学计算领域需要良好的应用开发和管理环境，以提高应用组件可复用性为目标，规范应用软件开发过程和计算工作流程．科学计算工作空间管理框架将应用组件作为基本对象，对其进行层次式管理，同时为应用组件开发过程提供有效的管理工具、可复用的应用框架以及基于可视语言的工作流编辑服务．它的可直接操纵的参数界面，基于对象的应用组件管理模式和数据流驱动的任务调度机制使其具有鲜明的特点．

移动Agent系统的安全性研究

移动Agent系统中的安全问题是阻碍其广泛应用的原因之一.通过对Agent的安全问题及其研究现状的分析,提出了解决一些安全问题的方法,并在自行研制的移动Agent系统Mogent中实现,对防止和解决移动Agent系统中的安全问题有一定的作用.

软件互操作研究与进展

软件互操作是开放分布式处理中的一个重要目标．文中首先讨论了软件互操作的基本原理，并重点介绍了当前具有代表性的互操作方法，评述了它们的优缺点．在此基础上，提出并简单介绍了面向应用框架的互操作方法．

Cogent后组装技术研究与实现

构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件装配欠灵活的弱点.其方法足通过提出的组调用表与定位表的概念,实现构件功能体与组装机制的分离,各自独立开发与编译.最后本文通过一个实例说明了Cogent构件后组装技术的特点.

实验性软件自动化系统NDAUTO

本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。

自学习软件自动化系统NDSAIL的设计与实现

本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题.

CMM过程支持系统中对过程改变多策略支持的研究

企业在实施CMM时 ,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的 .因此 ,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力 ,以利于适应多变的项目环境 ,而过程改变的情况比较复杂 ,单一策略的采用既增加了模型的复杂性 ,又不利于系统充分利用已有的底层支持技术 .本文介绍了一种多策略过程动态改变支持机制 .该机制可用于基于CMM的过程支持系统中 。

一种分层的软件过程执行机制的研究

选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分层过程机制,该机制将软件过程分为两个层次,底层是具有流程稳定的子过程,采用前摄式机制支持,而高层是易于变化的过程,则用反应式机制支持,通过过程片段将两层过程统一在一个过程模型中既增加了过程执行的灵活性,又降低了过程模型的复杂性.为了说明该过程机制的实践有效性,分析了一个案例所发生的“例程”、“并发”、“反馈”和“等待”的各种情况并且阐述了在CPMS系统中应用分层机制对上述情况的解决方案.

软件技术漫谈

作者根据多年来从事计算机软件研究与开发的体会,撰成此文,就软件技术的现状与前景进行了讨论,内容包括:传统技术、新技术、难点、以及结束语四部分。

SAIS:一个基于规则的软件结构分析集成系统

作为软件工程研究的领域之一,软件再工程(Re-Engineering)在最近几年引起了人们广泛的关注,软件再工程的关键是:从现有原代码所提供的信息中去获得和恢复丢失的系统设计和规格说明信息的能力。本文介绍了SAIS,一个基于规则的软件结构分析集成系统,它被设计用于提供对软件维护和软件逆向工程活动的部分支撑。文章简要描述了SAIS的设计、实现、应用和特点。

自学习软件自动化系统算法构架学习中的可操作性

本文讨论了在算法合成背景下,基于解释的学习中可操作性准则问题.针对一种相对复杂的学习目标概念——算法构架,提出了实现可操作性的方法,并探讨了算法自动化系统中通用性与可操作性的制衡关系及其对系统能力的影响.

知识工程与软件工程研究的相互渗透

第8届国际软件工程和知识工程会议于1996年6月10—12日在美国内华达州的Lake Tahoe召开,会议由美国知识系统研究所(Knowledge Systems Institute)发起主办,ACM(SIGSOFT),IEEE Computer Society(TC on Software)和美国若干著名大学、研究所、公司等协办。与会者达100人,多数来自美国、欧洲。会议共分三大组进行。

一种基于Agent技术的Web Services匹配模型的研究

Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。

基于移动agent的信息系统应用过程审计软件的设计和实现

信息系统应用过程审计是一种有效的信息系统安全保障手段。但是现有的过程审计软件灵活度不够高、适应性不够强。针对上述问题,文章基于移动agent技术,讨论了一个信息系统应用过程审计软件ABIAS的设计和实现。在该系统的体系结构设计方面,利用agent的移动性和自主性,给出了两种灵活的审计agent部署方案,体现了审计软件的开放和灵活性;在agent设计和实现方面,结合桌面行为审计的领域需求,给出了其结构化迁移方案,有效地支持了审计行为的“临检”特性。

Mogent系统的通信机制

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系统的解决方案 .该方案主要包括移动 agent命名机制、移动 agent寻址机制以及通信失效解决方法等 ,具有易于使用、效率高、可靠性好等优点 .