从工作流网向ECA规则的转换

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

【摘要】

：

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术,因而目前已被广泛应用,但ECA规则难于形式化描述的特性,使得在工作流建模时,不能够保证工

【作者】

：

宋军胡乃静罗永强

【机构】

：

复旦大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2003年9期

【关键词】

：

工作流 PETRI网 ECA规则主动数据库控制流工作流网 workflow petri-net ECA rule active database cont

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术,因而目前已被广泛应用,但ECA规则难于形式化描述的特性,使得在工作流建模时,不能够保证工作流系统的语义的正确性;而Petri网具有形式化的描述的基础和正确性分析的优点;本文将这两方面结合起来,对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法,通过Petri网的形式化的验证后的ECA规则的转化,可以保证基于ECA规则的工作流系统的正确性.

其他文献

美国总统与新闻界

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

新闻界新闻媒体

唑来膦酸对骨质疏松性椎体压缩骨折患者椎体成形术后骨密度的影响

目的探讨椎体成形术后辅助应用唑来膦酸对骨质疏松性椎体压缩骨折患者骨密度的影响。方法选取医院2016年1月至2019年1月收治的骨质疏松性椎体压缩骨折患者94例,随机分为观察

期刊

骨质疏松椎体压缩骨折椎体成形术唑来膦酸骨密度骨代谢指标osteoporosisvertebral compression fractureverte

桂林市七星区土壤汞赋存形式及其污染性研究

文章对桂林市七星区五个采样片区的土壤热释汞含量、部分样品汞的赋存形式以及其污染性状进行了分析,并对主要相态汞的来源进行了简单的分析.结果发现：桂林市七星区部分区段土

期刊

热释汞赋存形式土壤污染桂林市

周围神经减压对糖尿病周围神经病神经感觉恢复的研究分析

目的：分析周围神经减压术对糖尿病周围神经病神经感觉恢复的效果,以供临床参考。方法：选择采用周围神经减压术治疗的糖尿病周围神经病变患者53例为研究对象。观察治疗前后患者

期刊

周围神经减压术糖尿病周围神经病神经感觉疼痛

文艺的真实性和倾向性

【正】文艺的真实性和倾向性的关系问题,是一个复杂问题。这是由文艺本身的特殊性决定的。这不仅是一个理论问题,而且也是我们在文艺实践上经常遇到的问题,这个问题用什么观

期刊

“四人帮”剪辑错了的故事《李顺大造屋》人道主义反映现实社会主义高晓声“文化大革命”现实主义无产阶级

粤运交通:全国交通运输行业混改实践者

粤运交通总经理汤英海在＂以合作促发展,以改革创效益＂的混合所有制改革主旨发言中介绍,按照广东省委、省政府推动国有企业改革的意见,在广东省交通集团＂路运并举＂战略的指引下,粤

期刊

交通运输行业混合所有制改革实践者

我国中小企业实施ERP的可行性分析及途径

ERP系统被认为是当今最流行的管理信息系统,其实施成功与否,将影响企业的竞争力.ERP系统的实施一般都需要几百万元甚至上千万元以上的资金投入,这笔资金对于众多的中小企业来

期刊

中小企业企业资源计划可行性实施途径管理信息系统ERP系统中国企业竞争力

“新中国形象”与《创业史》的“真实性”论争

《创业史》发表后引发了一场关于“真实性”的论争,这场论争最终以梁生宝代表着新中国的形象,反映了本质真实为结论而告终。建国后,基于对世界格局两极对立化的认知,构建一个

期刊

真实性新中国形象文学规范

做好扶贫档案工作应注意的几个问题

期刊

档案工作收集归档文件材料几个问题

多指标正交试验优选葆肾合剂最佳提取工艺

目的优选葆肾合剂的最佳提取工艺。方法选择浸泡时间、加水量、煎煮时间、煎煮次数为影响因素进行正交试验设计,以葆肾合剂有效成分含量和浸膏得率为评价指标,采用多指标综合

期刊

葆肾合剂正交试验多指标综合评分提取工艺Baoshen Mixtureorthogonal experimentmulti-index comprehen

从工作流网向ECA规则的转换

其他学术论文