Метод автоматического построения модели параллельной программы в терминах сетей Петри
Ключевые слова:
параллельное программирование
сети Петри
построение модели
трансляция
Аннотация
В статье рассматривается метод автоматического построения моделей для параллельных программ, выполняющихся в среде передачи сообщений. Предлагаемый метод позволяет строить модели параллельных программ, поток управления которых представляется в терминах сетей Петри, а описание данных и их модификация остаются в терминах исходного языка программирования. Предлагаемый метод разработан в рамках проекта создания экспериментальной среды разработки параллельных программ, использующей аппарат теории сетей Петри, и реализован в виде одной из ее подсистем.
Загрузки
Опубликован
2005-11-22
Выпуск
Раздел
Раздел 2. Программирование
Библиографические ссылки
- Средства создания и проектирования параллельных программ (http://parallel.ru/tech/tech_dev/build_par.html)
- 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.
- SPIN (http://spinroot.com/spin/whatispin.html)
- 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.
- 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.
- Stansifer R. and Marinescu D. Petri net models of concurrent Ada programs // Microelectronics and Reliability. 1991. 31, N 4. 577-594.
- Харитонов Д.И. Трансляция параллельных программ, описанных сетями Петри, в исполняемое представление. Владивосток, 2003.
- Дейкстра Э. Дисциплина программирования. M.: Мир, 1978.
- CPN/Design (http://www.daimi.au.dk/designCPN/)
- MPI: A Message-Passing Interface Standart // Message Passing Interface Forum. Int. J. Supercomputing. 1994. 8, N 3/4. 165-416.
