AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.Comment: Technical Repor

Внешняя среда как фактор выбора места проживания

Many people have certain problems with the choice of the place of living. The main idea of this article is to study the aspects of urban area environment which effect on this decision. The influence of these factors is analyzed on example of two cities: the big one and the small one.Многие люди имеют определенные проблемы при выборе места жительства. Основной идеей данной статьи является изучение аспектов городской окружающей среды, которые влияют на выбор места проживания людей. Влияние этих факторов анализируется на примере двух городов: один большой и один маленький по градостроительной классификации

Comparative analysis of the availability of cinema websites, taking into account the principles of universal design

The subject of this study is to conduct a comparative analysis of cinema websites, taking into account the principles of universal design. The universal designing is a philosophy which central assumption is to create products, including graphic interfaces so that they are accessible to as many users as possible. An accessibility is a term that describes the extent to which users of different ages, with varying degrees of physical or mental fitness, can use it. Therefore, it is essential to adapt the interface to the largest possible audience when designing the interface. In the paper the following hypothesis has been defined: "The application of universal design principles increases the accessibility of websites”. The "Multikino" website has been selected for the research, which does not require the universal design, and the website created for the purpose of this study that meets these requirements. The research methods used in the study include eye-tracking, checking compliance with WCAG (ang. Web Content Accessibility Guidelines) guidelines using the WAVE (ang. Web Accessibility Evaluation Tool) tool, and conducting an interface assessment survey