Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий
Автор: Адреева Мария Владимировна
Журнал: Проблемы информатики @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.
