面向服务的柔性迁移工作流停靠站设计

在迁移工作流系统中,停靠站服务器是迁移实例的运行支撑平台,必须能够支持多种支撑服务和应用服务的集成,适应运行环境和应用需求的动态变化。基于面向服务的概念,提出了一个可扩展、可定制和可重配置的停靠站服务器结构模型,描述了模型的体系结构和内核结构,讨论了服务组件的集成框架和组织模式,以及应用服务的部署模式等,并结合微内核和组件技术给出了参考实现方案。     

面向Agent软件工程研究现状与展望

文章介绍了面向Agent软件工程(AOSE)的关键抽象集,综述了形式化和非形式化AOSE方法、Agent统一模型语言(AUML)、AOSE开发工具的研究现状和存在的主要问题,最后根据面向Agent编程范型表示一种计算的社会观点,基于社会学理论展望了AOSE的下一步发展。     

SAN-EBON:一种基于结构化对等网的P2P工作流系统节点定位网络

基于P2P的工作流系统符合工作流去中心化的发展趋势.目前,P2P工作流系统主要是基于非结构化P2P网络构建的.然而,非结构化P2P网络提供的泛洪或基于超级节点的中心化发现策略和中心化的负载分配机制无法满足大型P2P工作流系统在动态环境下的需求.因此,在基于非结构化P2P网络构建的工作流系统中,节点发现和任务负载均衡成为制约系统性能的关键因素.文中提出一种新的基于结构化P2P网络的工作流系统节点定位网络--SAN-EBON.该系统采用分层逐步求精的节点发现策略,外层在服务聚类的基础上首次在工作流系统中引入服务定位网络组织服务联盟,构建一种新的多层结构化P2P网络SAN,实现服务的快速发现;内层构建一种新的负载均衡网络EBON,使用基于随机图的增强算法实现服务联盟内部实时的去中心化负载均衡,与SAN结合,从而达到提高发现效率和精度、降低通信带宽的目的.     

优化迁移实例容错执行性能的阶段构建模型

针对迁移工作流研究现状,提出了一种基于复制容错方法的动态阶段构建模型,模型通过优化迁移实例任务执行,减少对工作位置的不必要重访,缩短迁移实例的执行周期;提出了一种工作位置优先级的计算方法——动态优先级,能够更加准确地反映工作位置作为迁移实例运行时环境的适合程度;还提出了一种阶段工作位置的选取算法,该算法综合考虑工作位置的任务执行能力、运行环境以及可靠性等各个因素。性能分析及仿真试验表明,动态阶段构建模型可以在保证可靠性的同时,有效提高容错执行过程的性能。     

面向目标的迁移工作流迁移路径的寻址与优化

给出了一种面向目标的迁移工作流迁移路径的寻址与优化算法,研究了工作流的执行主体——迁移实例在动态环境中完成给定目标的迁移路径问题。借助ANDOR图理论,给出了算法的基本框架。     

一个改善软件结构设计质量的知识系统

本文讨论我们在研制”ＭＩＳ软件工程环境“中为优化软件结构而采用的知识技术。尽管技术工程学对软件设计提出了优化软件结构的任务并给出了一些指导性原则,但由于设计者的经验和理解程度不同,因而软件结构设计质量往往因人而异。本研究旨在探索一种方法提供一种工具,以改善软件结构的质量,提高软件工程环境的智能水平。     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

轻量级迁移实例的实现

给出了一种通过将迁移实例的消息处理功能和迁移寻址功能配置为可信工作位置的服务,从而实现迁移实例轻量化的方法,并讨论基于任务状态转移图和ECA规则的轻量级迁移实例的任务执行机制。     

一类面向Agent的软件开发方法研究

本文提出了一种面向任务的软件ａｇｅｎｔ模型，并给出了基于问题归约约分析的软件开发方法。问题归约是一类目标驱动的问题求解策略，它与面向任意的软件ａｇｅｎｔ一起，可以有效地设计软件系统。