基于状态的工作流实例迁移方法.pdfVIP

维普资讯 第 14卷第 2期 计算机集成制造 系统 Vo1．14NO．2 2008年 2月 ComputerIntegratedManufacturingSystems Feb．2008 文章编号：1006—5911(2008)02--0372—07 基于状态的工作流实例迁移方法 杨书新 ，王 坚 (1．同济大学 CIMS研究中心，上海 201804；2．江西Nq-大学 信息工程学院，江西 赣州 341000) 摘 要 ：为解决工作流系统 中工作流模型动态变化产生 的实例调整问题 ，提出了一个完整 的基于状态 的实例 迁移方法 。该方法采用基于历史事件的一致性判别标准 ，结合模型变化和活动实例状态 ，给 出了具体的判别条件 ， 从事件等同性 、序列性方面证 明条件 的充分必要性 。根据历史数据流设计 了虚拟执行算法 。在虚拟执行过程 中， 根据迁移条件 的检查来判别迁移的可行性 。为保证迁移后实例的正确性 ，给 出了状态调整算法 。最后 ，通过一个 迁移过程的实例 ，说明了方案的有效性 、可行性和完整性 。 关键词 ：工作流 ；动态变化 ；状态 ；实例迁移 中图分类号 ：TP311 文献标识码 ：A W orkflow instancesm igration approach basedon state YANG Shu-xin～，WANGJian (1．CIMSResearchCenter，TongjiUniversity，Shanghai201804，China； 2．SchoolofInformationEngineering，JiangxiUniversityofScience Technology。Ganzhou341000。China) Abstract：Tosolvetheproblem ofprocessinstancesadaptationcausedbydynamicprocesschangesinworkflow sys— tem ，anew comprehensiveandcompletestatus—basedmigrationsolutionwasproposedforprocessinstances．Based onin-depthstudyonexistingreferences，thesolutionadoptedahistoryevents—basedcompliancecriterion．According tOcharacteristicsofschemachangesandstatemarkingsofactivityinstances．concreteestimationconditionsforcrite- rionwereputforward．Furthermore，asufficientandnecessaryrelationshipproofbetweenconditionsandcriterion wasprovidedfrom perspectivesofeventsequivalenceand sequence．A virtualexecution algorithm wasdesigned． Duringvirtualexecution，migrateornotwasdecidedbyevaluationofconditions．Inaddition，astatemarkingsad- justmentapproachwaspresentedtOguaranteeinstancescorrectnessaftermigra