| English | Russian |
| Behavioral models, on the other hand, represent interactions between services within context in terms of business processes, scenarios, use-cases, and so on | с другой стороны, поведенческие модели – это модели, отражающие взаимодействие между сервисами в контексте бизнес-процессов, различных ситуаций, сценариев использования и т.д. (ssn) |
| Behavioral models, on the other hand, represent interactions between services within context in terms of business processes, scenarios, use-cases, and so on | с другой стороны, поведенческие модели это модели, отражающие взаимодействие между сервисами в контексте бизнес-процессов, различных ситуаций, сценариев использования и т.д. (ssn) |
| Certainly, most of the research on continuous-time model checking is based on this model | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events | в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn) |
| model on the level of classes | модель на уровне классов (ssn) |
| most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
| the focus of the model defined in IEC 61850-7-x is on the communication features of the data and functions modelled | Модель, описываемая в серии стандартов МЭК 61850-7, ориентирована на возможности связи смоделированных данных и функций (см. IEC 61850-7-1) |
