Российская академия наук
ПРОГРАММИРОВАНИЕ
№ 4 2016 Июль – Август
Основан в 1975 г.
Выходит 6 раз в год
ISSN 0132-3474
Журнал издается под руководством
Отделения математических наук РАН
Поздравляем читателей и членов редколлегии
журнала с выходом 250-го выпуска
Главный редактор
В.П. Иванников
Редакционная коллегия:
С.А. Абрамов, А.И. Аветисян, И.Б. Вирбицкайте,
К.В. Воронцов, В.А. Галактионов, Ф.Я. Дзержинский,
С.В. Клименко, Л.Е. Карпов (ответственный секретарь),
М.Р. Когаловский, Л.Н. Королев, А.С. Косачев,
И.В. Машечкин, Б.А. Новиков,
А.К. Петренко (зам. главного редактора),
А.Н. Прокопеня, В.А. Серебряков
Зав. редакцией Т.А. Оловянникова
Адреса редакции:
119991 Москва, ГСП-1, Ленинские горы, д. 1, стр. 52
МГУ, факультет вычислительной математики и кибернетики
109004 Москва, ул. А. Солженицына, д. 25
Институт системного программирования РАН
Е-mail: progr@ispras.ru
Москва
Издательство “Наука”
____________________________________
© Российская академия наук, 2016
© Редколлегия журнала “Программирование”
(составитель), 2016
Стр.1
СОДЕРЖАНИЕ
Номер 4, 2016
К 90-ЛЕТИЮ СО ДНЯ РОЖДЕНИЯ В.М. КУРОЧКИНА
“Истинно параллельная” и недетерминированная семантика дискретно-временных
сетей Петри
И.Б. Вирбицкайте, В.А. Боровлёв, Л. Попова-Цейгманн
Сравнение способов декомпозиции спецификаций на Event-B
П.Н. Девянин, В.В. Кулямин, А.К. Петренко, А.В. Хорошилов, И.В. Щепетков
Разрешение конфликтов в мультиагентной системе с типизированными связями
для пополнения онтологий
Н.О. Гаранина, Е.А. Сидорова, И.С. Ануреев
Задачи поиска нечетких повторов при организации повторного
использования документации
Д.В. Луцив, Д.В. Кознов, Х.А. Басит, А.Н. Терехов
Проверка нескольких требований за один запуск инструмента
статической верификации с помощью CEGAR
В.О. Мордань, В.С. Мутилин
Метод схем программ для пропозициональных программных логик за 30 лет
Н.В. Шилов, С.О. Шилова, А.Ю. Бернштейн
50
69
__________________________________________________________________________________
39
27
3
__________________________________________________________________________________
ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ
4
17
Стр.2
CONTENTS
4, 2016
The 90th ANNIVERSARY of the BIRTH of V. M. KUROCHKIN
“Truly Concurrent” and Nondeterministic Semantics of Discrete-Time Petri Nets
I. B. Virbitskaite, V.A. Borovlev, and L. Popova-Zeugmann
Comparison of Specification Decomposition Methods in Event-B
P. N. Devyanin, V. V. Kulyamin, A. K. Petrenko, A. V. Khoroshilov, and I. V. Shchepetkov
Conflict Resolution in Multi-agent Systems with Typed Relations for Ontology Population
N. O. Garanina, E. A. Sidorova, and I. S. Anureev
On Fuzzy Repetitions Detection in Documentation Reuse
D. V. Luciv, D. V. Koznov, H. A. Basit, and A. N. Terekhov
Checking Several Requirements at Once by CEGAR
V. O. Mordan and V. S. Mutilin
Program Schemata Technique For Propositional Program Logics: A 30-Year History
N. V. Shilov, S. O. Shilova, and A. Yu. Bernshtein
3
__________________________________________________________________________________
PERSPECTIVES OF SYSTEMS INFORMATICS
4
17
27
39
50
69
__________________________________________________________________________________
_____________________________________________________________________
Подписано к печати 25.07.2016
Печать цифровая
Усл.печ.л. 11,5
Тираж 116 экз.
Дата выхода в свет 24.08.2016
Усл.кр.-отт. 1,4 тыс.
Зак. 433
Формат 60 x 88 ⅛
Уч.-изд.л. 11,5
Цена свободная
_________________________________________________________________________________________________
Учредитель: Российская академия наук
_________________________________________________________________________________________________________________________
Издатель: ФГУП «Издательство «Наука», 117997 Москва, Профсоюзная ул., 90
Отпечатано во ФГУП «Издательство «Наука» (Типография «Наука»)
121099 Москва, Шубинский пер., 6
Бум.л. 5,75
Стр.3