基于生物免疫的迁移实例完整性检测研究

迁移实例的可迁移性为工作流管理系统带来了更多的安全问题。针对迁移工作流管理系统中迁移实例的完整性问题，基于生物免疫原理为迁移实例构造了一个免疫体以及基于免疫体的迁移实例完整性自检测系统。详细讨论了免疫体的构造、检测过程并对重要参数进行了分析。     

人工免疫在迁移实例完整性检测中的应用

针对迁移工作流系统中迁移实例的完整性检测,基于人工免疫原理,构造一个由自我集合、检测器集合、r-连续位匹配函数和疫苗基因集合组成的免疫体。给出自我元素和检测器生成算法。讨论迁移实例完整性检测过程及检测器动态更新机制。免疫体参数分析和试验结果表明了该方法的有效性。     

基于移动计算范型的迁移工作流研究

迁移工作流是近年来工作流管理研究的一个新方向，但它缺乏明确的模型定义和迁移域管理机制．该文针对上述问题，首先参照移动计算范型给出了迁移工作流的概念定义，然后提出了一个基于停靠站的迁移工作流管理系统结构，讨论了其中的停靠站和迁移实例组成、迁移域管理与迁移寻址方法、基于体系结构的迁移实例生命周期过程等，最后给出了一个实验例．示例表明，该文提出的迁移工作流模型和迁移体系结构，概念清晰，易构造且易管理．     

迁移工作流管理中的过程完整性控制算法

在研究基于任务片的迁移工作流网络和执行模式的基础上,提出迁移工作流过程完整性控制算法。该算法采用本地恢复和迁移恢复相结合实现任务片的完整性,通过迁移实例派生机制保证整个迁移工作流过程的执行完整性。实例证明该算法可以实现迁移工作流过程完整性的有效控制。     

基于虚拟执行的动态工作流演进算法

为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况.该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移.具体应用实例证明了迁移算法的正确性与可行...     

基于免疫算法的迁移工作流实例安全工作位置选择

在迁移工作流系统中迁移实例的安全和路线规划对于工作流目标的完成起着至关重要的作用。提出一种基于免疫算法的迁移策略,该方法借鉴生物免疫系统的特性,将迁移实例的需求以及安全要求编码为抗原,将工作位置的服务信息以及安全性能编码为抗体,模拟免疫系统的匹配过程从而动态的得到迁移路线。该方法不仅考虑迁移实例的任务需求,而且对迁移实例的需求信息划分安全等级,考虑工作位置的安全性,从而为迁移实例得到一个相对安全的迁移目标。仿真实验表明,该算法有效的避开了恶意主机,使迁移实例的被攻击率大大降低,保护了迁移实例的安全。     

迁移工作流管理系统中迁移实例组通信机制的研究

迁移实例（MI）是迁移工作流管理系统中的任务执行主体,可以在授权的工作位置上克隆或派生,以支持业务过程的分解和并行。迁移实例连同克隆体和派生体构成一个协作群组。提出了一种基于服务域的迁移实例组通信模型,给出了模型定义及框架结构,论证了通信模式选择的依据,并描述了主要的通信算法。实验表明,该模型在保证消息快速可靠传递的同时,大大减少了带宽占用,节省了节点计算资源,能够适应迁移工作流系统对迁移实例组通信高效性和可扩展性的要求。     

基于Java的迁移工作流管理系统原型的实现研究*

迁移工作流范型是近年来工作流研究的新方向。根据迁移工作流管理系统框架,以移动Agent技术为基础,采用Java为开发语言,开发了迁移工作流管理系统原型Migflow。描述了Migflow的内部结构,给出了实现方案,并对迁移实例的任务调度和迁移等关键问题进行了详细的讨论。     

一种基于工作流类型版本和实例迁移的动态修改方法

工作流管理系统中一项重要而未解决的问题是工作流模式的动态修改，比如，在保证模式正确的前提下,创建、删除和修改工作流类型。在修改工作流类型时，如果工作流实例是活动的，则这个问题就变得尤其严重，因为任何工作流实例必须符合其工作流类型的定义。本文中提出了一种基于工作流类型版本和工作流实例迁移的动态工作流模式修改方法。     

基于Petri网的工作流动态演进方法

快速变化的外部环境,对工作流管理系统的适应能力提出了新的要求。基于Petri网描述的工作流模型,提出一种新的工作流动态演进方法。该方法通过对工作流实例执行历史信息的记录和分析,并结合虚拟执行以及事务回滚等思想来解决工作流动态演进的问题。同时给出了实现工作流实例迁移的算法。     

一种基于人工免疫的迁移实例保护方法

迁移实例可以在不同的服务器间迁移,灵活的完成任务的同时也带来了更多的安全问题。本文在分析现有安全保护技术的基础上提出了为迁移实例建立具有免疫性的安全前哨,预先对迁移实例的下一工作位置进行检测,从而使迁移实例能够感知未来面临的危险因素。文中详细讨论了免疫体的构造、检测过程并与其他技术进行了比较。     

迁移实例的事件管理研究

在迁移工作流系统中,迁移实例是任务执行的主体,记录迁移实例在其生命周期中所发生的事件是对其管理的基础。该文提出了迁移实例的事件管理策略,给出了迁移实例的事件结构和存储方式,讨论了事件的存储、检索、验证和统计分析过程。应用实例表明,迁移实例的事件管理策略可以明显改善对迁移实例的运行管理。     

基于Pass和Visa的迁移实例认证研究

在迁移工作流管理系统中,迁移实例的移动性导致了身份认证和访问控制的复杂性。该文给出一种基于Pass和Visa的迁移实例认证和访问控制模型,模型采用迁移实例拥有者为其颁发护照、接收者为其签证的双重签名策略。接收者通过对迁移实例携带护照和签证的认证,可以有效识别迁移实例的身份并对其实施访问控制。迁移实例拥有者可根据Visa证书链有效追踪迁移实例的移动历史。     

基于本体的迁移工作流服务模型研究

针对迁移工作流服务语义共享的特点，基于本体论，提出一种迁移工作流服务模型。该模型通过工作流元本体为迁移实例和各站点提供统一的工作流服务语义。在此基础上，通过服务本体描述和组织迁移工作流服务，实现服务发现。该模型较好地实现了迁移实例与各站点间的语义共享。     

一种用于迁移工作流管理系统的消息服务框架

作为移动计算的一类应用,现有的迁移工作流模型遵守了按照移动agent范型构造迁移实例的方法。由于移动agent继承智能agent的基本属性,因此,上述方法往往导致迁移实例的代码臃肿和移动困难。考虑到实际上的迁移工作流管理系统,一般地都要求迁移实例工作于一个具有信任合约关系的环境中,因此,可以针对这种特定环境,令工作位置为迁移实例提供尽可能多的服务支持,以便减小迁移实例的代码体积,提高其迁移效率,而不必拘泥于移动agent范型。该文给出了一种嵌入工作位置服务器的消息服务框架,该消息服务框架可以有效降低迁移实例代码规模,实现其轻量化移动。     

免疫agent概念与模型

阐述了免疫agent(ImA)这一新概念，分析了免疫agent求解实体的个性特点。构造出一种能对动态环境进行实时监控和故障预警的多免疫agent的形式化网络模型。并提出一种新颖的免疫agent算法，以此构建的系统具有更强的灵活性，鲁棒性和局部更新能力，是一个适用于动态环境的自组织系统。     

基于自适应免疫遗传算法的服务主体优选机制

在基于移动计算范型的迁移工作流系统中,停靠站服务器的核心任务是为迁移实例选择合适的工作机供其执行,使系统性能达到最优。文章将免疫算法与遗传算法结合,采用自适应确定遗传参数的方法,通过使用疫苗提取,局部最优判断,和动态接种几个算子,充分利用免疫算法保持种群多样性的特点,加快服务主体优选算法的收敛速度,提高解的质量,有效避免了遗传算法陷入局部解,提高工作机网络的整体性能。