基于长短事务分离的工作流事务模型.pdfVIP

计算机科学2002V01．29No．8 基于长短事务分离的工作流事务模型 TheWorkflow ModelBased Transactional on of andShortTransactions SeparationLong 常群王海洋 (山东大学计算机系 济南250100) AbstractThis thedefinitionofworkflow and therela— paperprovidesup consistencyexplores betweenworkflow and transactionsdatabase databaseshort— tionship transactions．Byseparating transactionsfrom workflow and theirrelations，wecan not long—transactionsspecifying keep only workflowtransaction butalso alsodefinethestrict database’S，and relations consistency mapping betweenworkflowsemanticsanddatabasedata． Workflow Keywords consistency，Transactiongranularity，Two—levelrecovery Dp(tl，t2)。 1 引言 子工作流：子任务对应着子工作步骤。～个工作 工作流是企业业务流程的抽象表示，为了提高 步骤的子工作步骤集合及其依赖关系构成子工作流 流程执行的准确性和可靠性，提出了工作流事务的 的概念。 概念。工作流事务是工作流活动与高级事务模型的 如工作流W表示为：W一(T，R)，T={t，，t。， 结合[1~4]。工作流事务是基于语义的，接受语义约束 的最小单位是基本任务，基本任务可构成复合任务。 包含子工作流t2一{t。，tb)，{D。(t。，tb)))。 但是基于语义的工作流事务与以数据为中心的数据 定义2．2任务的外模式为四元组即t∈T，t一 库事务在协同工作时存在着匹配的困难。工作流事 (ID，l，O，S)，ID为任务t的唯一标识，I为输入参数 务的补偿性和替代性是建立在语义容错／允许的基 集，O为输出参数集，S为任务状态， 础上的，但是数据库的数据需要严格的一致性及所 对应的工作流的严格语义性。工作流语义对数据库 Abort，Commit} 的数据解释不应存在二义性。本文给出了工作流一 定义2．5任务类的定义： 致性的定义，并对工作流事务与数据库事务的关系 Classt {(ID，I，0。S； 进行了探讨，提出了长短事务分离的方法实现工作 andotherconstraints 流的一