论文摘要
迁移工作流是近年来工作流管理研究的一个新方向。基于移动计算范型的迁移工作流管理系统包括工作流引擎、迁移实例和工作位置三个要素。工作流引擎完成工作流过程定义、迁移实例生成和多迁移实例协调等工作;工作位置包括停靠站服务器及其管理的工作机网络,是迁移实例的运行场所;迁移实例被定义为任务的执行体,它由工作流引擎生成,可以在工作位置之间迁移,并通过工作位置提供的本地资源和服务执行一项或多项任务,当它发现当前工作位置不能满足其执行任务的要求时,可以迁移到另一个能满足其要求的工作位置上继续执行。与过程调用相比,迁移实例具有更强的自治性。它很好地解决了网络通信的瓶颈问题,增加了任务处理的并行程度,增强了系统的灵活性、可扩充性及容错能力。迁移实例技术已成为计算机网络和分布式系统最具活力的发展方向之一,但在复杂的网络环境下,对迁移实例的安全性提出了特殊要求。本文在分析现有的保护迁移实例安全技术的基础上,利用时态逻辑可以处理含有时间信息的事件的命题和谓词的特性,设计了基于LTL、Java Annotation的安全检测机制。该机制属于事后检测,可辨别出针对迁移实例代码或状态的更改行为,从而判断迁移实例是否遭受攻击。该方案首先分析了迁移实例在迁移过程中可能遭受的各种安全威胁,如非法窃听、篡改、伪造等,根据各种安全威胁的特点设计不同的安全断言,然后根据迁移实例生命周期图分析迁移实例的运行特点,使用运行约束断言定义相应的约束条件。当定义好需要验证的安全需求后,以LTL注释(该注释说明了程序所需验证的时态断言)标记源程序并使用J-LO工具进行验证。实验表明,该方案可以有效检测迁移实例在运行过程中的安全状态,进一步完善了迁移实例的设计,提高了迁移工作流管理系统的安全性。但是在实时检测迁移实例安全状态的同时,不可避免的带来了系统性能的下降,因此迁移工作流管理系统如何在安全性、性能和成本之间取得平衡是应用发展不可缺少的基础。迁移工作流是一种比较新的技术,在大规模、分布式、跨平台的应用中迁移实例有其独特的优势。但是由于目前迁移工作流技术尚未成熟,其管理、通信机制、移动以及安全等诸多方面需要进一步研究。随着研究的不断深入,迁移工作流管理系统的安全性问题也将得到逐步的解决。
论文目录
相关论文文献
- [1].基于工作流技术的车辆管理系统[J]. 科学中国人 2016(06)
- [2].基于工作流的教学管理系统的研究[J]. 现代计算机 2013(30)
- [3].基于工作流技术的药品采购流程再造分析与设计[J]. 现代企业 2013(11)
- [4].论电子政务领域应用工作流技术[J]. 电子技术与软件工程 2013(23)
- [5].工作流技术及其在高校办公自动化系统的应用研究[J]. 办公室业务 2014(01)
- [6].科学工作流的数字化长期保存研究[J]. 情报资料工作 2014(01)
- [7].面向软件工程的工作流管理系统研究[J]. 企业技术开发 2014(11)
- [8].工作流技术在网站维护中的应用研究[J]. 信息系统工程 2014(08)
- [9].面向服务组合的跨组织工作流性能预测与分析[J]. 计算机与数字工程 2014(11)
- [10].一个基于后备服务的高可靠工作流开发模型[J]. 计算机工程与应用 2013(07)
- [11].多步过程挖掘在工作流重构中的应用研究[J]. 计算机工程与应用 2013(09)
- [12].科学工作流运算于云计算环境[J]. 惠州学院学报(自然科学版) 2013(03)
- [13].工作流技术与电力工程信息数字化管理[J]. 河南科技 2013(16)
- [14].基于工作流技术的公共地理框架数据更新系统设计[J]. 山东国土资源 2013(08)
- [15].网络学习在《工作流技术》教学中的应用探讨[J]. 黑龙江科技信息 2012(01)
- [16].基于科学工作流的组织层级比较分析[J]. 计算机时代 2012(03)
- [17].工作流技术在办公自动化系统中的应用[J]. 经济研究导刊 2012(02)
- [18].基于改进优先级规则的工作流费用优化方法[J]. 计算机研究与发展 2012(07)
- [19].支持企业流程再造的工作流仿真平台研究[J]. 信息通信 2012(05)
- [20].基于工作流管理中项目管理的应用[J]. 电子科技 2012(09)
- [21].跨组织工作流的动态协同技术研究[J]. 计算机技术与发展 2011(02)
- [22].通用工作流组件封装[J]. 信息通信 2011(02)
- [23].工作流 信息化中的排头兵[J]. 企业管理 2011(06)
- [24].基于工作流技术的教务管理系统的应用研究[J]. 电脑知识与技术 2011(19)
- [25].工作流挖掘技术探讨[J]. 苏州市职业大学学报 2011(03)
- [26].面向科学过程的工作流技术研究现状与趋势[J]. 计算机应用研究 2011(11)
- [27].工作流异常处理技术的研究[J]. 福建电脑 2011(10)
- [28].一种基于约束的事务工作流并发控制方法[J]. 计算机系统应用 2011(12)
- [29].基于协同商务平台的工作流技术的研究[J]. 智能计算机与应用 2011(06)
- [30].基于工作流设计实现质量管理信息系统[J]. 飞行器测控学报 2011(02)