1) Complex Event Process
高级事件规约
2) narrative conventions
叙事规约
3) village-level stipulation of agreement
村级规约
5) event sequencing constraints
事件约束
1.
A formal description method about event sequencing constraints is introduced in this paper.
本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则。
2.
JDPT defines events based on the runtime environments, records execution processes of the distributed program as event sequences, and defines event sequencing constraints to check the v.
JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性。
3.
When a distributed program is under test, event sequencing constraints should be defined to check the event sequences generated after the program was executed.
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列。
6) event constraint
事件约束
1.
The event constraints are defined based on the process model.
事件约束根据过程模型定义。
补充资料：高级数据链路控制规约
高级数据链路控制规约
high-level data link control protocol,HDLC
进行传输。这种能使发送文电的比特序列不受任何限制的特性称为透明传输。┌─────┬───┬───┬─────┬────────┬─────┐│标志F │地址^ │控创C │信息I │FCS:帕杖脸序列 │标志F │├─────┼───┼───┼─────┼────────┼─────┤│0111 1110 │8比特 │.比特 │任t比特橄 │16比特川幼2比特 │0111 1110 │└─────┴───┴───┴─────┴────────┴─────┘ 图3 HDLC的帧结构 地址字段在命令帧中，地址字段(A)标识该命令所要发往的数据站，在响应帧中标识发出该响应的数据站，地址比特模式11111111定义为全体站地址，即通知所有接收数据站接受有关的命令帧，并按其执行。地址比特模式00000000定义为无站地址，即不分配给任何一个站，包含无站地址的帧对所有站都不引起动作和响应，仅用作测试。对于数据站多于256个的系统，则通过使用扩充地址字段进行控制. 控制字段用于表示命令和响应的种类，控制字段(C)的格式及编码如表1所示。裹1控翻字段的格式及幼码┌────────────┬──────────────────┐│控制字段格式 │控制字段比特 ││ ├─┬─┬──┬─┬───┬─┬─┬─┤│ │l │2 │3 │4 │5 │6 │冈│8 │├────────────┼─┼─┴──┴─┼───┼─┴─┴─┤│信息传送命令/响应(I格式)│0 │N(S)① │P/F② │N(R)③ │├────────────┼─┼─┬──┬─┼───┼─────┤│监控命令/响应不S格式) │l │0 │S④ │S │P/F │N(R) │├────────────┼─┼─┼──┼─┼───┼─┬─┬─┤│无编号命令/响应(U格式) │l │l │M⑤ │M │P/F │M │M │M │└────────────┴─┴─┴──┴─┴───┴─┴─┴─┘①待发送的信息序列编号。②作为命令帧发送时的询问比特(P一l)或作为响应帧发 送时的终止比特(F~1)。③待接收的下一个帧编号。④监控功能比特。⑤附加修改功能比特。 当控制字段为I格式时，HDLC帧称为信息帧，用于要传送的用户数据。 当控制字段为S格式时，HDLC帧称为监控帧，两个S比特用于监控，因此可以提供4种监控功能.其相应的命令、响应及编码见表2。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条