Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирские электронные математические известия, 2018, том 15, страницы 1743–1812
DOI: https://doi.org/10.33048/semi.2018.15.144
(Mi semr1035)
 

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Вычислительная математика

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

I. V. Tarasyuka, H. Maciàb, V. Valerob

a A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, 6, Acad. Lavrentiev pr., 630090 Novosibirsk, Russian Federation
b High School of Informatics Engineering, University of Castilla - La Mancha, Avda. de España s/n, 02071 Albacete, Spain
Список литературы:
Аннотация: We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Macìa, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is based on labeled discrete time stochastic Petri nets with immediate transitions. To evaluate performance, the corresponding semi-Markov chains are analyzed. We define step stochastic bisimulation equivalence of expressions that is applied to reduce their transition systems and underlying semi-Markov chains while preserving the functionality and performance characteristics. We explain how this equivalence can be used to simplify performance analysis of the algebraic processes. In a case study, a method of modeling, performance evaluation and behaviour reduction for concurrent systems is outlined and applied to the shared memory system.
Ключевые слова: stochastic process algebra, Petri box calculus, discrete time, immediate multiaction, operational and denotational semantics, semi-Markov chain, performance evaluation, stochastic equivalence, reduction.
Финансовая поддержка Номер гранта
Ministerio de Ciencia e Innovación de España TIN2015-65845-C3-2-R
Deutsche Forschungsgemeinschaft BE 1267/14-1
The work was supported in part by the Spanish Ministry of Science and Innovation and the European Union FEDER Funds with the coordinated Project DArDOS entitled “Formal development and analysis of complex systems in distributed contexts: foundations, tools and applications”, UCLM subproject “Formal analysis and applications of Web services and electronic contracts”, under grant TIN2015-65845-C3-2-R. I.V. Tarasyuk was also partially supported by Deutsche Forschungsgemeinschaft (DFG) under grant BE 1267/14-1.
Поступила 15 ноября 2017 г., опубликована 26 декабря 2018 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 004.423.4, 519.217.2, 519.681.2, 519.681.3
Язык публикации: английский
Образец цитирования: I. V. Tarasyuk, H. Macià, V. Valero, “Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC”, Сиб. электрон. матем. изв., 15 (2018), 1743–1812
Цитирование в формате AMSBIB
\RBibitem{TarMacVal18}
\by I.~V.~Tarasyuk, H.~Maci{\`a}, V.~Valero
\paper Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
\jour Сиб. электрон. матем. изв.
\yr 2018
\vol 15
\pages 1743--1812
\mathnet{http://mi.mathnet.ru/semr1035}
\crossref{https://doi.org/10.33048/semi.2018.15.144}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000454860200084}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1035
  • https://www.mathnet.ru/rus/semr/v15/p1743
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:216
    PDF полного текста:119
    Список литературы:32
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024