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

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

一种新的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的上下文感知行为.     

对象式软件需求模型及其机器支撑

为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类关系模型和类字典3个组成部分.文章基于对对象式需求模型的简要讨论,详细介绍了NDHORM模型的组成、层次结构及对象精化,给出了NDHORM的构模过程,最后简要介绍了NDHORM模型的机器支撑系统.     

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

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

ND-Polya类比实现技术

从认识论和方法论的角度来看,分类不是认识事物解决问题的唯一方法,类比同样十分重要．然而传统的继承只体现分类的方法．自行设计的面向对象语言ＮＤ－Ｐｏｌｙａ通过引入新的继承机制——柔性继承来支持类比方法．使用柔性继承机制,程序员能以描述事物或问题间相似性的方式进行软件开发．文中简要介绍了ＮＤ－Ｐｏｌｙａ的柔性继承设施,并在此基础上具体地讨论了该机制的类比实现技术．     

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

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

图形化对象式需求定义语言NDORL

ＮＤＯＲＬ语言属于一种半形式化需求定义语言，采用了面向对象方法，能够支持软件需求构模的图形化需求定义，其特点是：表达能力强、形象直观、易理解、易维护、便于复用。本文主要讨论ＮＤＯＲＬ语言。     

开放网络环境下的程序设计：从RPC到REST

在Internet/WWW这一开放软件平台上已发展了诸多软件架构技术,针对开放网络环境下不同的应用场景与需求,如何对复杂多样的技术进行架构决策、技术选取等提供指导是亟需解决的问题。在考察RPC、Web服务等已有架构、技术的基础上,总结了它们共有的重要方面,分析了这些方面是如何相互交织并影响系统的非功能属性,从而形成一个评估框架。最后,选取典型的技术对其进行比较评估。