工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

对于土地整理工作的几点思考

随着社会经济的不断发展,人口与土地之间的矛盾变得越来越突出,因此,对于土地整理工作的要求也随之提升.土地整理是实现土地合理利用的前提条件,本文首先对土地整理的有关情况进行了讨论,在对此项工作必要性以及存在的问题进行分析的基础上,对如何做好此项工作提出了建议.     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

表达式元性理论形式系统的扩充及其强标准化性质

在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上，通过引入所谓的引用表达式和协引用表达式的形式表示，对其进行了扩充，同时证明了扩充形式系统的强标准化定理。     

一种基于状态空间的混成系统设计方法的理论基础研究

主要研究了一种基于状态空间的混成系统设计方法的理论基础．首先,在引入相关的ＣＯＮＴＲＯＬ语言的基础上,给出了其用“演化机”定义的操作语义和用扩展的Ｈｏａｒｅ 逻辑形式系统Ｈ′定义的公理语义．然后证明了Ｈ′是以演化机为模型的,即论证了Ｈ′的合理性．从而,在某种程度上保证了设计过程的正确性,提高了混成系统设计的可靠性     

面向网构软件的环境显式化技术

网构化软件处于开放、动态、难控的环境之中，需能感知并适应环境的变化，以持续提供用户满意的服务．传统软件构造技术缺乏对环境感知和适应的系统支持．本文在前期工作基础上，提出一种面向网构软件的软件结构，通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化．进而，介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展．而后，讨论了一种先验环境模型及环境规约的开发方法原理，给出了相应的环境驱动逻辑的静态表达与运行实现机制．该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离．     

软件自动化的智能化途径

近年来,国际上软件自动化的研究又取得了进展,对软件设计过程和所需知识的认识不断深化。其形式化工作也有了一定的发展,在此基础上出现了一些比较成功的软件自动化系统,其中有些在特定的领域内接近了人的水平。如CYPRESS/KIDS系统、STRATA系统和MEDUSA系统等,这些系统尽管各自在某一方面取得了进展,但有一共同的弱点就是适应性较差,系统往往只能适用于设计者预先考虑过的问题范围甚至局限于专门问题,影响了软件自动化的推广应用。问题症结在于现有软件自动化系统尚不具备智能,即缺乏自学习能力,系统不能自动从解题实践或用户实例中获取算法设计知识。特别地,在需人工干预时,系统并不     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

MABEMS:一个基于移动Agent的电子市场空间

随着Internet的广泛普及，电子商务应用系统，尤其是基于Internet的电子市场系统日益受到重视，然而面对Internet这种新的网络环境，传统的客户／服务器技术并不适宜构造此类系统，近年来，移动Agent技术被认为是一种易于、实现和维护Internet环境下分布式系统的新兴技术，提出了一个基于移动Agent的电子市场空间模型，并在本实验室的移动Agent系统－Mogent平台上实现了其原型系统，该市场空间采用开放的、非集中的系统结构，具有较高的灵活性和可靠性，自动化程度较高，最后介绍利用可扩展标记语言XML和知识查询与操纵语言KQML，实现市场空间的信息描述和Agnet之间的交互。     

一种信任管理系统中层次式monitor机制的设计与实现

信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的基础上,结合网络中的信任关系相对稳定的特点,基于缓存的原理实现了一个可扩展的层次式monitor机制用于保存信任链发现过程中产生的中间结果,并且采用订阅机制保证其有效性,从而有效避免对相似的信任关系验证而产生的重复通信和计算开销.实验表明,采用该机制的分布式信任链发现算法在信任关系相对稳定的情形下具有较高的效率.