【摘 要】
：
当工作流模型中的业务规则语义复杂时,控制结构的正确性很难由人工保证。然而自动构造的方法尚少,因此首先引入层次清晰、能满足工作流模型合理性许多性质的块结构化（Block St
【基金项目】
：
福建省高校产学研合作科技重大项目（2010N5008）, 厦门市科技计划创新项目（3502Z20110013）, 泉州市科技计划项目（2011G5）, 华侨大学基本科研业务费专项基金（JB-ZR1147）, 国务院侨办科研基金项目（10QZR07）资助
论文部分内容阅读
当工作流模型中的业务规则语义复杂时,控制结构的正确性很难由人工保证。然而自动构造的方法尚少,因此首先引入层次清晰、能满足工作流模型合理性许多性质的块结构化（Block Structured）控制结构,通过分析工作流模型中块的拓扑结构,分别定义出控制结构的分支和汇合应遵循的语法规则,根据业务规则语义给出分支控制结构的构造算法;再基于此,采用权重法给出汇合控制结构的构造算法,最后通过示例验证构造过程。结果显示提出的方法具有很强的通用性,不依赖于具体的建模方法。
其他文献
提出一种基于仿生原理的Sobel算子容错方法。通过对蛋白质标记与识别、同类细胞替换、干细胞分化和异类细胞转换4种生物机制的模仿,设计了电子组织的结构,该结构具有层次化自
在家电企业的生命周期管理实践中，产品设计方面存在着手工建档、查询与协同性困难的状况。将本体理念引入家电领域，研究顶层本体及其语义扩展方法，提出功能语义扩展方法is-a，构建
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri
针对传统的输入排队交换结构的数据包切分策略带宽利用率低、灵活性差等缺点,提出一种自适应包切分策略。新策略利用集中式调度的同步特性,在调度过程中通过输入端的队列状态
Yang和Tan提出一个不需要双线性对的无证书密钥协商协议,并声称该协议满足前向安全性,即双方参与者的私钥和临时秘密信息不全部泄露,敌手就无法获得双方参与者协商的会话密钥
随着空间数据应用领域深度和广度的扩展,空间数据在组织、存储、更新、应用等方面存在速度、效率等难题。针对上述问题,基于地球剖分组织理论,结合面向客户端聚合服务的G/S模
提出了一种基于多块LBP(Multi-scale Block Local Binary Patterns,MB-LBP)和改进的局部化的Fisher判别分析(Local Fisher Discriminant Analysis,LFDA)的人脸识别算法。该算法利用MB-LBP的局部和整体描述能力强化了标注样本的局部分析和训练样本的全局分析;以每个样本与同类其他样本的欧氏距离均值作为参数,克服了类内
矢量量化在图像压缩中有着举足轻重的地位。码书的设计是算法的关键,经典的LBG聚类算法由于对初始码书的选择非常敏感会导致不同的量化效果。把遗传算法和LBG算法相结合,充分利用LBG算法的局部搜索能力和遗传算法的全局寻优能力,能够在大大改善码本质量的同时加快算法的收敛速度。
提出一种相对游程长度编码方案,以在不增加待编码数据中游程数量的情况下,达到减少待编码游程长度的目的,即通过缩短代码字长度来提高压缩效果。对ISCAS89部分基准电路的实验