摘要
当工作流模型中的业务规则语义复杂时,控制结构的正确性很难由人工保证。然而自动构造的方法尚少,因此首先引入层次清晰、能满足工作流模型合理性许多性质的块结构化(Block Structured)控制结构,通过分析工作流模型中块的拓扑结构,分别定义出控制结构的分支和汇合应遵循的语法规则,根据业务规则语义给出分支控制结构的构造算法;再基于此,采用权重法给出汇合控制结构的构造算法,最后通过示例验证构造过程。结果显示提出的方法具有很强的通用性,不依赖于具体的建模方法。
It is difficult to guarantee correctness of workflow model control structure by artificial,when case semantic of business rules in workflow model changes more complicated.Methods of construction automatically are less.At first well block structured control structure was introduced,which has lots of useful properties in model soundness.By analyzing topology of blocks in workflow models,branch and merge control structures and syntax rules they should follow were defined respectively.Algorithms of branch control structure were proposed according to semantics of business rule.Then based on this,algorithms of merge ones were proposed using all branch weights.Finally a practical example was given to verify the constructing process of correct block structure.This method is independent of specific modeling method,so that has three advantages,complete commonality,modeling-independent and wide applicability.
出处
《计算机科学》
CSCD
北大核心
2012年第11期106-110,136,共6页
Computer Science
基金
福建省高校产学研合作科技重大项目(2010N5008)
厦门市科技计划创新项目(3502Z20110013)
泉州市科技计划项目(2011G5)
华侨大学基本科研业务费专项基金(JB-ZR1147)
国务院侨办科研基金项目(10QZR07)资助
关键词
工作流模型
控制结构
块结构
Workflow model
Control structure
Block structure
