Russian | English |
Большинство событий, на которые будет реагировать ваша программа, происходят при взаимодействии пользователя с программой на основе GUI | Most events to which your program will respond are generated when the user interacts with a GUI-based program (ssn) |
в модели сети Петри два разрешённых невзаимодействующих события могут происходить независимо друг от друга | in the Petri net model, two events which are both enabled and do not interact may occur independently |
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
два разрешённых невзаимодействующих события могут происходить независимо друг от друга | two events which are both enabled and do not interact may occur independently (ssn) |
изменения состояний, происходящие при возникновении каждого события | state changes taking place at the time of each event (ssn) |
имя каждого происходящего события | name of each event as it occurs (ssn) |
каждое происходящее событие | each event as it occurs (ssn) |
непримитивное событие происходит | nonprimitive event is occurring (ssn) |
Основные события происходят при вызове Files.newDirectoryStream | the key part comes with the call to Files.newDirectoryStream (Java 7) |
Относящийся к событиям, несинхронизированным во времени или происходящим через нерегулярные или непредсказуемые промежутки времени | Pertaining to events that are not synchronized in time or do not occur in regular or predictable time intervals (асинхронный ssn) |
порядок, в котором происходят события | order in which events occur (ssn) |
Представьте себе наблюдателя с блокнотом, который следит за процессом и записывает имя каждого происходящего события | Imagine there is an observer with a notebook who watches the process and writes down the name of each event as it occurs (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
события, несинхронизированные во времени или происходящие через нерегулярные или непредсказуемые промежутки времени | events that are not synchronized in time or do not occur in regular or predictable time intervals (ssn) |