第10期 宋丽等：基于Ptri网的ECA规则建模 。1065· S-元和T-元.X=SUT称为N的元素集. 基本Peti网的变迁可实施规则为：给定t,若 对于所有p∈t,M(p)≥I(M是库所中Token的 o-K 分布函数)，则称1是可实施的，记作M>·即： 若变迁t的所有输入位置都具有至少一个Token,, 则该变迁可实施.变迁的实施意味着：在当前的系 图1基本ECA规则Peri网模型 统状态下，变迁所代表的事件发生的前提条件得到 Fig 1 Petri net model based on ECA 满足. 图1所示的模型对于简单ECA规则来说显得 网系统中变迁的固有特征是：它的作用范围（外 较为复杂，但如果考虑到E、C、A之间的耦合关系， 延)是固定的.变迁能否发生只依赖于它的外延与 则显得比较合理. 全局状态无关，这叫局部确定性.网系统中没有任 何形式的全局控制，既能描述事件之间的依赖性（即 2复合事件Petri网表示 顺序关系)，又能描述事件之间的不依赖性（并发关 ECA规则的事件可以分为两种：原始事件和复 系).网系统的安全性和进展性具有普适性， 合事件.对于复合事件的Peti网表示，本文进行了 12ECA规则基本概念 专门研究. 定义2主动规则是一个三元组〈E,C,A),E 2.1复合事件定义 为事件，C为规则条件，A为规则动作，它不仅具有 定义3复合事件：系统用规定的事件操作符 结构特征，而且具有行为特征，当触发事件产生时， 把若干成分事件（原子的或复合的）联结起来，作为 根据条件的真假执行动附9，ECA规则基本表示 单个事件处理称为复合事件 设e和e是两个成分事件，则有以下几种复合 形式为： RULE(规则名)[（〈参数），力 事件定义： WHEN事件) (1)eAe,表示事件e和e'同时发生的复合事 IF〈条件1)THEN(动作1)： 件： (2)ele,表示在其发生期中事件e和e'有一 IF〈条件n)THEN(动作N):(n≥l) 个且仅有一个发生的复合事件，即选一个发生的事 件； END-RULE规则名】. (3)eVe,表示事件e和e'只要有一个发生就 1.3基本Petri网模型 发生的复合事件： 本文在利用Peti网对ECA规则建模时，库所 (4)e°e',表示事件e结束后马上发生事件e, 集主要由三部分组成即S=SEU SCUS4U其他， 使e和e连在一起的复合事件： 其中SE表示规则触发事件集合，Sc表示规则的条 (5)<e,表示当e开始发生时就终止的一个事 件集S4表示规则的动作集；变迁集主要由两部分 件： 组成即T=TECU TCAU其他，其中TEc表示规则 (6)>e,表示当e终止时就开始发生的一个事 的触发过程，通过对事件进行评估，如成功则触发规 件： 则，T4表示对规则条件的评价过程，如条件满足则 (7)一e,表示事件e不发生的那个事件. 表示规则被激活，进而执行相应动作.由于事件、条 复合事件的发生与原子事件一样，也具有“原子 件和动作都具有原子性，其在某一时刻要么发生，要 性”，即在某一时刻，或者完全发生，或者根本不发 么不发生.因此Peti网中库所的容量可定义为l. 生，没有第三种状态 如一ECA规则为： 2.2 Petri网表示 on e1 利用Peti网来表示由上述复合事件所触发的 if ci then a1; ECA规则.为便于描述，所建立的Peti网都是针对 if c2 then a2. 下述主动规则形式： 在此规则中，没有设定事件-条件、条件-动作之 R:on E if c then a. 间的耦合方式，可认为都是立即方式，用Petri网表 其中E为复合事件，分别由上述复合事件组成. 示时可省略，其Peti模型可表示为图l: 定义4设x∈SUT,则°x={yl(y,x)∈F}S -元和 T -元.X =S ∪ T 称为N 的元素集. 基本 Petri 网的变迁可实施规则为 :给定 t, 若 对于所有 p ∈ t, M( p) ≥1( M 是库所中 Token 的 分布函数), 则称 t 是可实施的, 记作 M[ t >.即 : 若变迁 t 的所有输入位置都具有至少一个 Token, 则该变迁可实施.变迁的实施意味着:在当前的系 统状态下, 变迁所代表的事件发生的前提条件得到 满足 . 网系统中变迁的固有特征是:它的作用范围( 外 延)是固定的.变迁能否发生只依赖于它的外延, 与 全局状态无关, 这叫局部确定性 .网系统中没有任 何形式的全局控制, 既能描述事件之间的依赖性( 即 顺序关系), 又能描述事件之间的不依赖性( 并发关 系) .网系统的安全性和进展性具有普适性 . 1.2 ECA 规则基本概念 定义 2 主动规则是一个三元组〈E, C, A〉, E 为事件, C 为规则条件, A 为规则动作, 它不仅具有 结构特征, 而且具有行为特征, 当触发事件产生时, 根据条件的真假执行动作[ 6] .ECA 规则基本表示 形式为: RULE〈规则名〉[ (〈参数〉, …)] WHEN〈事件〉 IF〈条件 1〉THEN〈动作 1〉; … … IF〈条件 n〉THEN〈动作 N〉;( n ≥1) END-RULE[ 〈规则名〉] . 1.3 基本 Petri 网模型 本文在利用 Petri 网对 ECA 规则建模时, 库所 集主要由三部分组成, 即 S =S E ∪ SC ∪ S A ∪ 其他, 其中 SE 表示规则触发事件集合, SC 表示规则的条 件集, S A 表示规则的动作集;变迁集主要由两部分 组成, 即 T =TEC ∪ TCA ∪ 其他, 其中 T EC表示规则 的触发过程, 通过对事件进行评估, 如成功则触发规 则, T CA 表示对规则条件的评价过程, 如条件满足则 表示规则被激活, 进而执行相应动作 .由于事件、条 件和动作都具有原子性, 其在某一时刻要么发生, 要 么不发生, 因此 Petri 网中库所的容量可定义为 1 . 如一 ECA 规则为 : on e1 if c1 then a1 ; if c2 then a2 . 在此规则中, 没有设定事件-条件、条件-动作之 间的耦合方式, 可认为都是立即方式, 用 Petri 网表 示时可省略, 其 Petri 模型可表示为图 1 : 图 1 基本 ECA 规则 Petri 网模型 Fig.1 Petri net model based on ECA 图 1 所示的模型对于简单 ECA 规则来说显得 较为复杂, 但如果考虑到 E 、C 、A 之间的耦合关系, 则显得比较合理. 2 复合事件 Petri 网表示 ECA 规则的事件可以分为两种 :原始事件和复 合事件 .对于复合事件的 Petri 网表示, 本文进行了 专门研究. 2.1 复合事件定义 定义 3 复合事件 :系统用规定的事件操作符 把若干成分事件( 原子的或复合的) 联结起来, 作为 单个事件处理, 称为复合事件. 设 e 和e′是两个成分事件, 则有以下几种复合 事件定义: ( 1) e ∧ e′, 表示事件 e 和e′同时发生的复合事 件 ; ( 2) e e′, 表示在其发生期中事件 e 和 e′有一 个且仅有一个发生的复合事件, 即选一个发生的事 件 ; ( 3) e ∨ e′, 表示事件 e 和e′只要有一个发生就 发生的复合事件; ( 4) e·e′, 表示事件 e 结束后马上发生事件e′, 使 e 和e′连在一起的复合事件; ( 5) <e, 表示当 e 开始发生时就终止的一个事 件 ; ( 6) >e, 表示当 e 终止时就开始发生的一个事 件 ; ( 7) e, 表示事件 e 不发生的那个事件. 复合事件的发生与原子事件一样, 也具有“原子 性”, 即在某一时刻, 或者完全发生, 或者根本不发 生, 没有第三种状态. 2.2 Petri 网表示 利用 Petri 网来表示由上述复合事件所触发的 ECA 规则.为便于描述, 所建立的 Petri 网都是针对 下述主动规则形式 : R :on E if c then a . 其中 E 为复合事件, 分别由上述复合事件组成 . 定义 4 设 x ∈ S ∪ T, 则· x ={y ( y, x ) ∈ F} 第 10 期 宋 丽等:基于 Petri 网的 ECA 规则建模 · 1065 ·