Семантически-ориентированная миграция Java-программ: опыт практического применения

The purpose of the study is to demonstrate the feasibility of automated code migration to a new set of programming libraries. Code migration is a common task in modern software projects. For example, it may arise when a project should be ported to a more secure or feature-rich library, a new platform or a new version of an already used library. The developed method and tool are based on the previously created by the authors a formalism for describing libraries semantics. The formalism specifies a library behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel designed to specify library descriptions and proposes an easy to use domainspecific language (DSL), which can be used to define models for particular libraries. The mentioned metamodel directly forms the code migration procedure. A process of migration is split into five steps, and each step is also described in the paper. The procedure uses an algorithm based on the breadth- first search extended for the needs of the migration task. Models and algorithms were implemented in the prototype of an automated code migration tool. The prototype was tested by both artificial code examples and a real-world open source project. The article describes the experiments performed, the difficulties that have arisen in the process of migration of test samples, and how they are solved in the proposed procedure. The results of experiments indicate that code migration can be successfully automated. Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый набор библиотек. Задача миграции (портирования) кода часто встречается в современных программных проектах. Например, такая задача может возникнуть, когда проект необходимо перенести на более безопасную или функциональную библиотеку, на новую платформу или на новую версию уже используемой в проекте библиотеки. В данной работе представлена процедура автоматизированной миграции, основанная на семантическом подходе. Для процедуры миграции была разработана метамодель библиотеки, использующая предложенный ранее авторами формализм и предназначенная для описания библиотек на объектно-ориентированных языках. Формализм описывает поведение библиотек с помощью системы расширенных конечных автоматов (РКА). Процедура миграции разбита на пять шагов, каждый шаг подробно описан в тексте статьи. В процедуре используется алгоритм вычисления эквивалентной трассы на основе поиска в ширину, расширенный для решения задач миграции. Предложенная процедура реализована в прототипе инструмента миграции. Инструмент включает в себя модули извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и непосредственно миграции. Для инструмента был разработан язык описания библиотек. Прототип инструмента был протестирован как на искусственных примерах, так и на существующем проекте. В статье подробно описаны проведенные эксперименты, отдельно отмечены сложности, возникающие в процессе миграции тестовых примеров, и то, как они решаются в предложенной процедуре. В качестве библиотек в экспериментах используются реализации протокола HTTP и библиотеки протоколирования. Результаты тестирования показали, что миграция кода может быть успешно автоматизирована с использованием разработанной процедуры.

О проблеме организации стоянок и работе диспетчерских служб заказов такси в Москве

The article considers the technological aspects of organization of passenger and baggage transportation by taxi cabs in megacities, referring particularly to the practices of a number of countries.The authors analyze l e g a l regulation and technological development of taxi services in Moscow metropolitan area, including the current system for organizing the work of passenger taxi dispatch services taking into account centralization of information flows in a single city system.An analysis of methods for planning placement of taxi ranks shows that outdated approaches are used to solve that problem without using modern information and communication technologies. In this regard, the methodological foundations of planning the organization of taxi ranks based on geoinformation data in the city of Moscow are proposed.The studies and analysis made it possible to determine relevance and feasibility of existing and justification for planning of new taxi ranks, taking into account the requirements for rationality of location of taxi ranks from the point of view of ensuring a small walking distance for passengers, as well as reducing time of car delivery. The proposed method using accurate coordinates transmitted by the largest taxi dispatch service companies into the Unified Regional Navigation and Information System of the city of Moscow allows to implement these requirements.В статье рассмотрены технологические аспекты системы организации перевозок пассажиров и багажа легковыми такси в мегаполисах, в том числе на примере ряда стран.Проведён анализ нормативно-правового регулирования и технологического развития таксомоторных перевозок в Московской агломерации, в том числе действующей системы организации работы диспетчерских служб заказов легковых такси с учётом централизации информационных потоков в единой городской системе.Анализ методик планирования размещения стоянок такси показывает, что используются устаревшие подходы к решению подобной задачи без применения современных информационно-коммуникационных технологий.В этой связи предложены методические основы планирования организации стоянок такси на основе геоинформационных данных в городе Москве. Выполненные исследования и анализ позволили определить актуальность и целесообразность существующих и обоснование планирования новых стоянок легковых такси с учётом требования к рациональности их расположения с точки зрения обеспечения быстрого подхода пассажиров, а также сокращения времени подачи автомобилей.Предлагаемая методика с использованием точных координат, полученных от крупнейших диспетчерских служб заказа легковых такси в Единой региональной навигационно-информационной системе города Москвы, позволяет реализовать указанные требования