Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий

Автор: Адреева Мария Владимировна

Журнал: Проблемы информатики @problem-info

Рубрика: Моделирование в системах информатики

Статья в выпуске: 2 (14), 2012 года.

Бесплатный доступ

Рассматривается оператор детализации действий, ставящий в соответствие действиям моделируемой системы на данном уровне абстракции более сложные процессы нижнего уровня, в контексте модели временных стабильных структур событий. Исследуется вопрос инвариантности семейства поведенческих эквивалентностей спектра ``линейного~--- ветвящегося времени'' в семантике частичного порядка. Показано, что известные эквивалентности сохраняются на ряде определенных подклассов, но не на целом классе временных стабильных структур событий. В~результате построены усиленные варианты поведенческих эквивалентностей, устойчивые при детализации действий.

Еще

Системы реального времени, детализация действий, семантика частичного порядка, поведенческие эквивалентности, временные стабильные структуры событий

Короткий адрес: https://sciup.org/14320128

IDR: 14320128

Список литературы Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий

Winskel G.} Event structures//Lecture Notes Comput. Sci. 1987. N~255. P.~325-392
Langerak R.} Bundle event structures: a non-interleaving semantics for LOTOS//Formal Description Techniques V. V.~C-10 of International Federation for Information Processing Transactions. Amsterdam: S. n., 1993. P.~331-346.
Van Glabbeek R., Goltz U.} Refinement of actions and equivalence notions for concurrent systems//Acta Inform. 2001. N~37. P.~229-327.
Van Glabbeek R.} The linear time -branching time spectrum II: the semantics of sequential systems with silent moves. Extended abstract//Lecture Notes Comput. Sci. 1993. N~715. P.~66-81.
Hoare C. A. R.} Communicating sequential processes. L.: Prentice-Hall, 1985.
De Nicola R., Hennessy M.} Testing equiavalence for processes//Theor. Comput. Sci. 1984. N~34. P.~83-133.
Park D.} Concurrency and automata on infinite sequences//Lecture Notes Comput. Sci. 1981. N~104. P.~167-183.
Van Glabbeek R., Goltz U.} Equivalence notions for concurrent systems and refinement of actions//Lecture Notes in Comput. Sci. 1989. N~379. P.~237-248.
Aceto L., De Nicola R., Fantechi A.} Testing equivalences for event structures//Lecture Notes Comput. Sci. 1987. V.~280. P.~1-20.
Majster-Cederbaum M., Wu J., Yue H.} Refinement of actions for real-time concurrent systems with causal ambiguity//Acta Inform. 2006. N~42. P.~389-418.
Andreeva M. V.} Action refinement and equivalence notions for timed event structures//Bull. Novosibirsk Comput. Center, Comput. Sci. 2006. N~24. P.~1-25.
Virbitskaite I. B., Gribovskaya N. S.} Open maps and observational equivalences for timed partial order models//Fund. Inform. 2004. N~60. P.~383-399.
Andreeva M. V., Virbitskaite I. B.} Observational equivalences for timed stable event structures//Fund. Inform. 2006. N~72. P.~1-19.
Андреева М. В.} Открытые отображения и поведенческие эквивалентности временных стабильных структур событий//Вестн. НГУ. Сер.: Математика, механика, информатика. 2008. \No~8. С.~14-29.
Baier C., Katoen J.-P., Latella D.} Metric semantics for true concurrent real time//Lecture Notes Comput. Sci. 1998. N~1443. P.~568-580.
Katoen J.-P., Langerak R., Latella D., Brinksma E.} On specifying real-time systems in a causality-based setting//Lecture Notes Comput. Sci. 1996. N~1135. P.~385-404.
Murphy D.} Time and duration in noninterleaving concurrency//Fund. Inform. 1993. N~19. P.~403-416.
Goltz U., Wehrheim H.} Causal testing//Lecture Notes Comput. Sci. 1996. N~1113. \linebreak P.~394-406.

Еще

Статья научная