e^2EPCs语法规则的形式化

来源 :计算机工程 | 被引量 : 0次 | 上传用户:mldn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
事件驱动过程链EPCs(Event-driven Process Chains)及其扩展型eEPCs(extended Event-driven Process Chains)是面向流程的建模语言,在eEPCs基础上作了进一步扩展,提出了二次扩展的事件驱动过程链e2EPCs(extended eEPCs),并针对e2EPCs半形式化的弱点,对其语法规则进行了形式化描述.
其他文献
外周留置针因针管长,固定时需要使用较多胶布,让患者感觉不适。当患者肢体躁动,衣服摩擦,出汗多时针头易意外脱落。为有利于留置针的固定,本院使用弹性绷带做外固定,效果较好,现介绍
目的:观察醒脾养儿颗粒联合四缝穴治疗小儿厌食症的临床疗效。方法:将112例小儿厌食症患者随机分为观察组与对照组各56例,观察组患者采用醒脾养儿颗粒联合四缝穴治疗,对照组
以大花酢浆草(Oxalis bowiei)鳞茎为外植体,对适合大花酢浆草生长的培养基进行筛选,并建立了大花酢浆草的无性繁殖体系。结果表明,丛生芽诱导及增殖的最适培养基为MS+0.25mg&#18
内部话音交换系统是民航系统进行飞行器空中交通管制和地面管理所使用的重要设备,其作用是进行地面管制席位之间、飞行器与管制员陆空甚高频通信联系的话音信号交换,因此内话
引言在我国建设社会主义市场经济的过程中,经济活动主体的意思自主和自由得到发扬光大,法学界、经济界乃至整个社会,都为契约自由和自由企业精神的弘扬而兴奋不已。在此大环