PARALLEL.RU

В какой нотации на ваш взгляд лучше описывать паралл-е программы?

В нотации какой-нибудь вычислительной (алгоритмической) модели. Параллельной конечно.

_________________
Лучшее - враг хорошего?

А какие вы можете предложить варианты?

_________________
Важно не слово, но дело!

собственно для проектирования можно использовать uml. Но использование СП даст еще и возможность анализа.

UML - это автоматы. Зачем СП. И автоматах есть возможность анализа. Не меньше, чем в СП. Даже, думаю, больше.

_________________
Лучшее - враг хорошего?

Автоматы в uml - это диаграммы состояний. Кроме ДС есть другие диаграммы. Uml еще хорош тем, что с диаграмм можно выгнать хотя бы скелетный код.

Почему СП, а не автоматы? В автоматах система в любой момент времени может находиться только в одном состоянии. Как автоматом смоделировать две параллельные ветки программы?

Нужно использовать все, конечно. А код "выгоняется", как раз, из ДС. Т.к. именно они представляют поведение "кода"

Все просто: каждую ветку представить своим автоматом. Т.е. система - множество автоматов. Это тоже, кстати, есть в UML. Так что к СП можно и не прибегать. UML, кстати, вполне без них обходится

_________________
Лучшее - враг хорошего?

"Розочка" умеет только диаграммы классов отображать на код. ДС ей не под силу, к сожалению

А взаимодействие атоматов, т.е. веток? Они же не сторо параллельны, т.е. независимы. На каких-то тактах нужно данными обмениваться.

Конечно! И ... разве это проблема?

_________________
Лучшее - враг хорошего?