面向对象语言中的限制继承

软件重用是提高软件生产率和保证软件产品质量的重要方法之一,程序设计语言中的继承机制是软件重用的有效途径。在目前引起人们普遍观注的面向对象语言中,讨论较多的是语言所提供的继承设施。本文讨论面向对象语言中的继承种类,重点是限制继承——这是已有继承种类中较薄弱的环节。     

一类并发实时系统的自动验证

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.     

软件需求分析自动化支撑系统中的字典管理方法研究

软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件 需求分析自动化支撑系统NDRASS为背景,讨论字典管理系统的设计方法和实现技术。     

一种新的E—mail应用模式的研究

1 引言在Internet飞速发展的带动下,电子邮件E-mail成为了网络环境中异步通讯的基本手段之一,被应用在现实工作、生活中的方方面面,比如:传递消息、发送通知、投递文章、发表新闻、传输文件和共享资源等等。广泛的使用使得邮件量剧增,邮件处理成了相当繁琐的问题。为了减轻人们处理邮件的负担,一些网络软件产品如Netscape Messenger、Outlook和Foxmail等被     

多Agent系统的上下文感知增强

如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为.     

基于Email信箱的agent迁移和通信机制的设计和实现

1.前言移动agent是运行于开放、动态网络环境中的封装良好的计算实体,可以代表用户自主地在网络上移动,完成指定的任务。它具有自主性、移动性、协作性和安全性等特性。这些特性使得移动agent技术可在通信功效、网络容错、网络计算以及网络适应性等方面提高网络应用的质量,从而成为近年来网络技术研究的一个热点。 Internet是个动态、开放的环境,移动用户和无线用户的     

基于双层类结构的继承异常处理方法

继承异常是并发面向对象语言中的一个很重要而且也是处理起来很困难的问题,它会使同步代码难以重用.为解决此问题,文章提出了一种新的双层类结构模型的方法,来解决继承异常问题,它可对同步代码的复用提供全方位的支持.     

Cbase数据库查询重写模块的设计与实现

本文详细讨论了重写模块的设计思想与实现技术，并讨论了利用执行引擎特点引入的一组基于等价谓调的简单语句直写规则．测试结果表明，增加重写模块的查询优化器能显著提高系统的查询效率．     

软件需求定义语言NDRDL的设计

本文概述了软件需求定义语言ＮＤＲＤＬ的设计目标及设计原则，并讨论了一些语言基本成分，如数据流图，控制流图，实体关系图等的设计，文中采用个人帐目管理系统作为示例。