分布式复杂应用环境中工作流系统关键技术的研究计算机软件与理论专业论文.docxVIP

童!!查兰堡圭兰竺丝圭 童!!查兰堡圭兰竺丝圭 苎叁 分布式复杂应用环境中工作流系统关键技术的研究与实践 于两 要 I l随着企业业务规模的扩大、企业问合作的日益密切和市场竞争的日益剧烈， 企业、企业间日益膨胀的企业活动需要工作流技术的支持。这些领域(如CIMS)中 的业务流程要比一般商务业务流程复杂得多，这主要包括业务流程中不同环节之 间的关系复杂性、输入，输出数据结构复杂性以及每个业务环节自身处理功能复杂 性；这种新的业务流程规模比一般商务业务流程大得多，一般要包括成百甚至上 千个业务环节，有时这些业务环节是跨车间甚至是跨企业的，也就是说业务流程 中的不同环节(任务)一般是分布在一个异构的环境中。已有的工作流技术不能 满足这种分布式复杂应用的需求J本文针对分布式复杂应用领域中业务流程的这 些特点，对工作流的一些关键技术问题进行了研究，包括适于分布式复杂应用的 工作流建模技术、工作流调度体系结构、分布式调度处理机制以及多工作流实例 并发执行控制机制，提出了一套有效的解决方法和理论，并得到了一些重要的结 论。基于以上研究成果，设计并实现了一个支持分布式复杂应用的工作流管理系 统的原型系统。 本文针对分布式复杂应用中业务流程处理逻辑复杂、输入／输出数据流结构复 杂、涉及的处理实体关系复杂等特点，提出了一个适合于分布式复杂应用的工作 流模型ScopeModel。该模型由组织模型、数据模型、过程模型三种子模型构成。 ／数据模型用于描述工作流中所用到的数据；组织模型用于描述工作流执行环境中 的所有执行实体的信息，包括组织人员、及其它执行实体的情况，如个体自然信 息描述以及在组织中可以担当的角色；过程模型是工作流模型的核心，用于描述 一个具体的业务流程，包括业务流程中每个任务的定义、该任务执行所需数据以 及各个任务之间的跃迁信息等。该模型以有向图作为表达手段，以进程代数理论 作为形式化基础。从理论上对用该工作流模型定义的工作流模式进行评价，提出 简化的工作流模式安全性确认机制，给出了简化的术语重写算法、工作流模式安 全性确认算法。本文针对分布式复杂应用环境中工作流分布的特点，讨论了分布 式工作流调度处理机制，包括任务管理器的功能，构成、任务结构以及监控器的 工作原理、任务间控制流和数据流传递机制，在任务处理时，着重讨论了事务型 复合任务的处理机制。本文讨论了用户型任务处理应考虑的诸多因素，提出了支 持动态负载平衡的工作项分派算法，该算法考虑了工作项的类别、重要级别、参 查叁叁耋篓耋耋塞羹叁：： 查叁叁耋篓耋耋塞羹叁：： ，。 。 。 ，：。 。。 。 塑塞 与者静缀缎绥穗、处瑗能力鞍当蒋瀚爨载情况，徐趣了支持霸态受载平餐的工终 瑷分潦算法稻Round-Robin王律疆分滚罄法潦经熊魄较与性能分耩。本文针对爱 黎瘟麓赣域中多王{毒流实翻并发拽符骏及工终溅实铡运行的长期憔等特点，提掇 了一霉孛基于经务冲突瀚确保多工佟溅褰铡著发执行琵薅髓的方法，懿疆≯争突确定 舞法、瑟镣瑟楚毯舞法、綦予净突的聚枣时溺戳瓣锻舞法、释教镄舞法裁工律流 毒率露瞧豹霹令定理。通过肄突豢确定黧法魏寇艘怒耀辘中鹣狰突爽，势撵魏谯 工誓#滚攘式定义中滋繇并发鬻求。在互撵滚系绫痿蕊裙始证辩，逶避辩镁预簸璞 算法翅始纯睽鹰鳃狰突实铡黎。程王谗瀛实睡调液过程孛，漤突锤务逶避基予羚 突嬲鼹，l、辩阕戮爨镞辫法串谤爨嚣镁，姿经务羧杼宠戏瑟，遴逐释放锾冀法转羧 须掩鬻豹镂。该方法撵骛掩王侔漉实攒执行遗稷中浆羧器公开爨来，放松了互绺 滚蜜铡拽行耱缀予控秘隔篼瞧，戮嚣舆褰较妊瓣羚发度，霹驭逶旋分纛式复杂藏 鼷中王终滚熬长麓遮嚣犍。本文系绫迪讨论了～个支耱分布袋复杂痊躅魏王露滚 管理系统嬲缀型系绫ScopeWork懿设诗与实现鼓零，主要寇掺攀予CORBA熬努 窃式体系续擒、基予CORBA IDL鼹工终濂定义语翥SWI)L、霹蔑纯意义工其 SWbuilder、矮势鬻理嚣代蕊窝动黧戒器、錾予C嗽BA骢任务处瑷、綮予Web静 工僚烈装分派测鼙器、支持动态受载警餐冀法躲工佟疆分派嚣、《撬纯鹣王稼流 戆耱嚣、纂予冲突麓矮小辩间戳辩镁舞法豹露发接铡瓿瓤、分衣戏复杂瘴惩鞲壤 中靛工馋溅攘关数摆傣递方法。!厂 r 、／ ／ 、／ ＼。／” 、／ 关键谣；工作滚互结流模整避耧挺簸攀务馁工髂流分农式璃度鼹户型任务 翡态受藏警衡势靛控铺王终滤可率纷链任务i串突CORBA王箨流寇义添亩 、／ V。 Study Study on Key Techniques of Workflow System for Distributed