基于数据流和控制流验证的工作流模式进化

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：yhz8668

【摘要】

：

模式进化是工作流管理系统的一个主要特点之一．以缺乏正确性分析的工作流模式进化为例，指出进化后的模式会存在着数据流冲突或控制流结构错误，并以Aalst提出的工作流网的建模方

【作者】

：

胡乃静王颖颖赵亮

【机构】

：

复旦大学计算机与信息技术系,上海金融学院信息管理系,中国人民解放军南京政治学院上海分院电教中心

【出处】

：

小型微型计算机系统

【发表日期】

：

2006年9期

【关键词】

：

PETRI网工作流模式进化控制流数据流 Petri nets workflow nets workflow evolution control-fl

【基金项目】

：

上海市青年科技启明星计划（B类）基金项目（05QMB1430）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

模式进化是工作流管理系统的一个主要特点之一．以缺乏正确性分析的工作流模式进化为例，指出进化后的模式会存在着数据流冲突或控制流结构错误，并以Aalst提出的工作流网的建模方法为形式化描述，对工作流管理系统中增加变迁的工作流模式进化进行了分析，提出了无数据流冲突的模式进化算法，及进化时保证控制流结构正确性的进化插入规则，并给出了相关的正确性验证，

其他文献

视频流媒体传输失真研究

由于网络传输引起的视频流媒体质量损失（称为传输失真）是流媒体QoS中最重要的参考指标，通常只能在终端系统解码后获得．本文根据视频流媒体编解码、错误隐藏、错误扩散等理论进行

期刊

流媒体QOS传输-失真错误扩散错误隐藏预测index terms multimedia-stream quality of service

农机零部件将成今年全国农机展新亮点

本刊讯：中国农机工业协会近年来高度重视和支持零部件的产业升级,2012年,协会组织企业成立中国农机零部件分会,为主机企业和零部件企业牵线搭桥,促进双方的沟通与合作;去年,在

期刊

零部件企业农机工业评选活动创新产品企业供应链产业升级农机企业龙头企业

对特殊订单决策的战略思考

【摘要】所谓特殊订单是指交易条件正常情况进行优惠的订单。特殊订单决策是企业能否接受特殊订单的决策。关于特殊订单决策在管理会计、财务管理、管理经济学、成本管理等方面的著作中多有论述。本文主要就特殊订单及其决策问题进行思考。　　　　特殊订单决策一般被归类为战术决策。分为有剩余生产和服务能力时的决策和无剩余生产和服务能力、需要追加专门投资的决策两种情况。实际上，这两种情况的分析思路是一致的：首先区分该订

期刊

决策问题管理经济学交易条件管理会计财务管理成本管理优惠特殊订单企业

胡小芳教授运用毓麟珠治疗卵巢储备功能低下的经验初探

随着二胎政策放开,越来越多高龄妇女备孕二胎,却面临着卵巢储备功能低下的巨大威胁,胡小芳教授结合近30年来大量临床案例,认为女子之病多责之肝、脾、肾,但生殖仍以肾为根本,

期刊

卵巢储备功能低下毓麟珠胡小芳不孕月经不调

饲料粉碎机安全操作

饲料粉碎机是目前农村广泛使用的加工作业机械，它主要用于家禽、家畜、养渔业饲料的加工。有些农机户购回饲料机后，不对饲料机的整机进行系统全面检查和试运转就盲目投入运行作

期刊

饲料粉碎机安全操作作业机械事故发生操作使用饲料机农机户试运转

中医儿科病案讨论教学法的应用

目的探讨病案讨论教学法在中医儿科教学中的应用效果。方法以班级为单位将我校2012级中医学专业1、2班学生分为两组,选取1班学生为观察组,采用病案讨论教学法实施教学,选取2