1) 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.
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列。
2) event constraint
事件约束
1.
The event constraints are defined based on the process model.
事件约束根据过程模型定义。
5) Restriction of concurrent events
并发事件约束
6) First-Order Sequencing Constraint
一阶事件约束
补充资料：“约束与调控相结合”的两原则
“约束与调控相结合”的两原则
【“约束与调控相结合”的两原则】有关资产负债管理的一种观点。这种观点认为，商业银行实行资产负管理，既要实施自我约束，又要服从系统调控。二者相辅相成。按照这种指导思想，资产负债管理应遵循以下两大原则:①负债约束资产的原则。实施总量约束和结构约束。②有利于增强系统调控原则。按照统一法人原则，统一调度资金，增强对全行资金的调拨配置能力，抑制一些分支机构超负荷经营行为。.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条