面向业务过程管理的Agent平台的设计及实现

业务过程管理能够支持企业业务流程优化运行,因而日益成为学术界和工业界研究和开发的重点。目前绝大多数的业务过程管理系统都是在传统的工作流管理系统基础上的扩展,因而具有适应性能力不强等缺点。介绍了一个面向业务过程管理的Agent平台,它包含了Agent的建模工具和运行环境。对该Agent的模型、相关工具和环境的实现方法进行了说明。该平台能够方便地支持面向业务过程管理的Agent的构造,并提供了求解业务问题的能力。

Windows操作系统防御中的先天免疫机制应用

传统的操作系统安全防御方法存在误区,即用静态防火墙、病毒库、安全规则等方法抵御动态入侵,效率较低。目前,计算机专家借鉴生物获得性免疫机制,在操作系统防御过程中引入人工免疫系统,取得了一定改进。但这种方法识别范围不广,耗时长,对从未遇到过的异常,如未知病毒,没有防御能力。因此,借鉴生物免疫的另一个重要机制,先天免疫,提出一种操作系统先天免疫防御的方法,通过设置先天免疫层、定义基础细胞、构造数字巨噬细胞,对操作系统的异常变化进行动态监测和防护。

基于VMM的寄存器抽象层验证

本文介绍了Synopsys公司推出的基于VMM的寄存器抽象层验证技术和方案，简称RAL（Register Abstraction Layer）。该技术是Synopsys针对芯片验证中如何简便、高效地完成寄存器／存储器相关的验证任务这一问题而开发的解决方案。该方案构建在Synopsys的VMM验证方法基础上，使用了VMM中的通用技术，可以在VMM的验证环境中非常方便地集成和重用。

验证计划报表工具VMM Planner

本文介绍了Synopsys公司最新推出的验证计划报表工具VMM Planner。该工具能够帮助用户验证过程的计划阶段，用该工具特有的描述语言HVP语言或者通用的MS Office Excel工具，系统地、层次化地描述验证计划，并且在验证计划的实施过程中，将测试得到的各类数据，反标到验证计划中，产生相应的状态报告，追踪验证进程。