摘要：异构服务组合是不同应用领域间Web服务可用性和可应用性的关键点,尤其是电子商务和电子政务应用.组合设计者尝试进行完美的组合匹配但在实际中不可能找到完全相容的服务.提出一种相容性模型,确保Web服务能够正确组合,避免意想不到的运行时失效.通过一套从语法、语义和非功能属性3个层次定义的规则来进行相容性检查.同时引入相容度的概念来度量部分和完全相容,提出一种松弛相容函数将Web服务间的相容程度转化成数量值.最后通过实验来分析相容性阈值对服务成功组合率的影响.

摘要：采用CORBA实现分布式应用越来越广泛,但CORBA缺乏对分布式可靠应用的支持,在一定程度上限制了其深入应用和发展.分析了当前研究应用领域中容错CORBA系统的优点和缺陷,综合存在的方法提出了一个容错模型,设计了一个复制对象管理框架,描述了其核心对象的管理算法,并基于自主研制的分布计算平台StarBus进行了验证.最后给出了与相关工作的比较.

摘要：本文较系统地介绍和分析了SUN工作站上支持多窗口用户界面开发的窗口系统SUNVIEW,并根据PROLOG语言的特点,详细地讨论了在SUN工作站上PROLOG多窗口系统的设计思想。

摘要：本文以关系知识模型为基础,用谓词演算和关系演算描述了一个知识库管理系统GKBMS.该系统既支持逻辑程序设计,又支持知识库的查询,并提供了专家系统的开发环境.

摘要：模块化结构是当今智能语言或工具系统商品化和标准化的一个重要部分。我们在GKD-Prolog的基础上,设计并实现了一个模块化Prolog系统。它同时引入了模块和执行环境的概念,并提供了对这些概念的直接支持,使Prolog更适于知识的表示和操作。本文主要研究了Prolog模块系统的概念和理论,描述了系统的组织结构,并结合两种实现模块机制的方法介绍了本文的主要实现技术,最后给出了我们引入的模块操作原语。

摘要：CORBAIDL语言的描述能力非常弱 ,缺乏描述分布对象动态行为语义的机制 ,软件开发的自动化也只限于生成含有基本功能的后端形式 ,不能满足不同应用的时空需求。通过扩展IDL文件中的注释来描述分布对象方法适配的行为 ,提供了一种定制分布对象方法适配行为的机制。这种机制不仅有利于提高分布系统的时空效率和软件自动化的程度 ,而且不影响应用的可移植性和互操作性。另外 ,本文进一步给出了通过扩展CORBAIDL解决类似问题的设计模板。

摘要：基于 Internet的电子商务是当前的热点问题 ,而工作流管理是自动化及其幕后商业过程的有效手段 .在这样的应用背景下 ,目前的工作流管理模型存在诸多缺陷 .文中提出了一种基于移动智能体的工作流管理模型 ,并分析了它在支持

摘要：本文提出了一种基于多ａｇｅｎｔ的分布式集成环境ＤＩＥＭＡ的通用框架，描述了ＤＩＥＭＡ的工作原理；提出了服务ａｇｅｎｔ和请求ａｇｅｎｔ的实现框架及其设计与实现。

摘要：PRISMA/DB是一并行的主存关系数据库管理系统。其设计思想主要有两个:第一,将整个数据库存入主存从而获得高性能;第二,系统使用一种面向对象的程序设计语言以模块方式实现,使得这种灵活的组织结构适应于功能和性能方、面的分析和试验。目前其原型系统已实现,运行在一个具有100个结点的多处理机上。本文将对其设计和实现细节作一初步介绍。

摘要：硬件的发展为数据库研究开辟了新课题,随着大容量内存的出现,在内存中存放越来越大的数据库已成为可能。使得主存数据库系统和技术成为现实。本文介绍GKD-MMDB主存数据库管理系统的系统结构和主要内部数据结构及实现算法。