【摘 要】
：
在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下。设计了一种支持动态更新的过程系统。在模型
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京理工大学计算机科学与工程学院
【基金项目】
：
核高基科技重大专项(2009ZX01043-001-06),国家973计划(2009CB320702),国家自然科学基金创新研究群体项目(61021062),国家自然科学基金(61003019)资助
论文部分内容阅读
在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下。设计了一种支持动态更新的过程系统。在模型层面上,使用AOP(Aspect Orient Programming,面向方面编织)的方法,实现流程运行时动态更新生成新的模型。在引擎层面上,修改原有引擎,使其能够暂停、恢复实例的运行,从而支持实例的动态迁移。在实例层面上,提出了一种实例迁移的算法,为模型提供动态更新的能力。最后,介绍一个应用案例以验证系统的正确性。
其他文献
为了有效组织和管理远程教学环境中存在的分布、异构资源,基于分层建模思想,提出了一种远程教育资源管理系统资源管理模型。同时,在该模型基础上,基于池化技术和异步消息通信
针对单视觉通道唇读系统中唇部特征的提取问题提出了基于DCT+ONPP的特征提取方法。相对于保持全局结构特性的PCA方法,ONPP是一种既保持局部邻域几何特性又兼顾全局的线性降维技术。实验证明提出的方法优于DCT+PCA的特征提取方法。另外还对邻域点个数对系统性能的影响做了相应的研究,发现邻域点为3时该方法具有较好的识别效果。
针对当前OSGi规范没有对服务的实时性提出具体标准和详细解决方案的问题,试图将Java实时规范（Real-Time Specification for Java,RTSJ）整合到OSGi架构中,以提供一种在动态实时
并发程序的测试路径具有不可预测性,而Petri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过Petri网来产生并发程序的测试路径：对有并发程序的源代码构造的Petri网
开源FUSE文件系统用户模块实现方式采用多线程并发模型,在高并发条件下,线程间的同步将降低系统的吞吐率,增加响应时间。基于流水线分段数据通信思想和异步事件网络驱动模型,
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成
时态描述逻辑ALC-LTL将描述逻辑ALC的描述能力与线性时态逻辑LTL的刻画能力结合起来,在具有较强描述能力的同时还使得可满足性问题保持在EXPTIME-完全这个级别。针对ALC-LTL
首次在Fortran语言中引入事务存储,对OpenMP Fortran API进行了扩展,以源到源转换的方式实现了FortranTM编译器原型。针对软件事务存储实现的特点,扩展了EXCLUDED和SCHEDULE
无论是在个人消费电子,还是在车载娱乐系统中,对支持多任务的嵌入式桌面环境的需求越来越迫切。友好的多任务支持为用户提供易用、方便的操作体验。一个健壮的嵌入式生态系统
旁路攻击方法从密码算法在密码设备上实现时所泄漏出来的旁路物理信号入手进行分析,从中萃取出密码系统的秘密信息甚至密钥,开辟了与传统密码分析方法迥然不同的新方向。采用