Метод автоматического построения модели параллельной программы в терминах сетей Петри

Авторы

  • Е.А. Голенков
  • А.С. Соколов

Ключевые слова:

параллельное программирование
сети Петри
построение модели
трансляция

Аннотация

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


Загрузки

Опубликован

2005-11-22

Выпуск

Раздел

Раздел 2. Программирование

Авторы

Е.А. Голенков

А.С. Соколов


Библиографические ссылки

  1. Средства создания и проектирования параллельных программ (http://parallel.ru/tech/tech_dev/build_par.html)
  2. Havelund K., Pressburger T. Model checking Java programs using Java PathFinder // Int. Journal on Software Tools for Technology Transfer. 2000. 2, N. 4. 366-381.
  3. SPIN (http://spinroot.com/spin/whatispin.html)
  4. Stansifer R., Beaven M., and Marinescu D.C. Modeling concurrent programs with colored Petri nets // Journal of Systems and Software. 1994. 26, N 2. 37-43.
  5. Bause F., et al. SDL and Petri net perfomance analysis of communicating systems // Proc. IFIP Intern. Symp. on Protocol Specification, Testing and Verification. Warsaw, 1995. 259-272.
  6. Stansifer R. and Marinescu D. Petri net models of concurrent Ada programs // Microelectronics and Reliability. 1991. 31, N 4. 577-594.
  7. Харитонов Д.И. Трансляция параллельных программ, описанных сетями Петри, в исполняемое представление. Владивосток, 2003.
  8. Дейкстра Э. Дисциплина программирования. M.: Мир, 1978.
  9. CPN/Design (http://www.daimi.au.dk/designCPN/)
  10. MPI: A Message-Passing Interface Standart // Message Passing Interface Forum. Int. J. Supercomputing. 1994. 8, N 3/4. 165-416.