TFCDOS通过事件序列记录CORBA分布式对象程序的运行过程，并通过定义事件约束来检测事件的有效性。

TFCDOS can record a CORBA distributed object program's running process by using event sequence and check the effectiveness by defining event constrains.

youdao

JDPT基于运行环境定义事件，通过事件序列记录分布式程序的运行过程，并定义事件约束检测可行事件序列集的有效性。

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.

youdao