Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой

Приведен краткий обзор современных средств для описания моделей сложных систем. Показано, что для повышения адекватности моделей актуальна задача развития новых низкоуровневых формальных средств описания объектов — алгебр процессов. Коротко описаны основы известных алгебр процессов и предложена алгебра процессов, ориентированная на имитационное моделирование сложных систем с реальной рабочей нагрузкой. Рассмотрены вопросы определения эквивалентности системы и модели. Приведен пример описания однородной вычислительной среды в терминах алгебры процессов.Наведено короткий огляд сучасних засобів для опису моделей складних систем. Показано, що для підвищення адекватності моделей актуальним є розвиток нових низькорівневих формальних засобів опису об’єктів — алгебр процесів. Коротко описано основи відомих алгебр процесів і запропоновано алгебру процесів, яка орієнтована на імітаційне моделювання складних систем з реальним робочим навантаженням. Розглянуто питання визначення еквівалентності системи й моделі. Наведено приклад опису однорідного обчислювального середовища в термінах алгебри процесів.A brief review of modern means for the description of complex systems models is given. It is shown that for increase of adequacy of models the problem of development of new low-level formal means for the objects’ description (process algebras) is actual. Basic concepts of known process algebras are shortly described and the process algebra that is focused on simulation of complex systems with real working loading is offered. Questions of definition of equivalence of a system and a model are considered. An example of the description of the homogeneous computing environment in terms of process algebra is given

Failures, Finiteness and Full Abstraction

n/

Linear vs. branching time: A semantical perspective

The discussion of the relative merits of linear versus branching-time goes back to early 1980s. The dominating belief has been that the linear-time framework is not expressive enough semantically, marking linear-time logics as weak. Here we examine this issue from the perspective of process equivalence, one of the most fundamental notions in concurrency theory. We postulate three principles that we view as fundamental to any discussion of process equivalence. First, we take contextual equivalence as the primary notion of equivalence. Second, we require the description of a process to fully specify all relevant behavioral aspects of the process. Finally, we require observable process behavior to be reflected in input/output behavior. Under these postulates the distinctions between the linear and branching semantics tend to evaporate. Applying them to the framework of transducers, we show that our postulates result in a unique notion of process equivalence, which is trace based, rather than tree based