Terms for subject Programming containing event-sequence analysis

English	Russian
event sequence analysis	анализ последовательности событий (ssn)
performance analysis using event sequence analysis	анализ производительности с помощью анализа последовательности событий (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn)
this kind of analysis can also be used to determine execution times for more complex sequences of events	этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)