350 руб
Журнал «Биомедицинская радиоэлектроника» №7 за 2012 г.
Статья в номере:
Построение телемедицинской системы на основе коммуникационной парадигмы Публикация/Подписка
Ключевые слова: телемедицина Публикация/Подписка временная логика
Авторы:
В.А. Антипов, О.В. Антипов, А.П. Чехов
Аннотация:
Рассмотрена концепция построения телемедицинской системы как распределённой гетерогенной системы на основе коммуникационной парадигмы Публикация/Подписка. Описана формальная спецификация системы Публикация/Подписка, основанная на синтаксисе линейной временной логики, что даёт возможность для более детального и глубокого понимания систем указанного типа и для доказательства правильности их работы.
Страницы: 64-71
Список источников
  1. Телемедицина. Новые информационные технологии на пороге XXI века / под ред. Р.М. Юсупова, Р.И. Полонникова. СПб.: 1998. 487 с.
  2. Telematics Systems for Health Care: AIM-92. Luxemburg: Office for Official Publications of the European Communities. 1992. 213 p.
  3. Perednia D., Allen A. Telemedicine technology and clinical application // JAMA. 1995. V. 7. № 6. P. 483-85.
  4. Цимбал А.А., Аншина М.Л. Технологии создания распределенных систем. Для профессионалов. СПб.: Питер. 2003. 576 с.
  5. Антипов О.В. Асинхронная платформа распределённых информационно-управляемых приложений на основе коммуникационной парадигмы Публикация/Подписка // Сб. тезисов НИТ-2011. Материалы ХVI Всероссийской научно-техн. конф. студентов, молодых учёных и специалистов. Рязань: РГРТУ. 2011. С. 126-128.
  6. Антипов О.В., Пылькин А.Н. Выбор механизма уведомления в распределённых системах Публикация/Подписка // Математическое и программное обеспечение вычислительных систем: Межвуз. сб. науч. трудов. Рязань: РГРТУ, 2011. С. 35-41.
  7. Carzaniga, Rosenblum D.S., Wolf A.L. Design and evaluation of a wide-area event notification service // ACM Transactions on Computer Systems. 2001. V. 19(3). P. 332-383. 
  8. Cugola G., Di Nitto E., Fuggetta A. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS // IEEE Transactions on Software Engineering. 2001. V. 27(9).
  9. Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag. 1992.
  10. Pnueli A. The temporal semantics of concurrent programs // Theoretical Computer Science. 1981. V. 13. P. 45-60.