Alexey_Donskoy писал(а):
рассуждения о "принципиальном различии" процесса и состояния... несостоятельны... Резюме: Состояние и процесс не имеют фундаментального значения, но есть лишь термины определённой формальной системы. Любой из упомянутых терминов бессмысленно рассматривать в отрыве от контекста. И друг без друга. А вот вместе - их уже достаточно для описания программы.
Вижу, ребята, что признать свою принципиальную неправоту Вы неспособны практически так же, как женщины в споре
Наводите, понимаешь, тень на плетень...
Занимаясь проблематикой, достаточно связанной с состояниями и доказательством свойств программ (между прочим, совершенно не связанной с UML
- есть многое на свете, друг Горацио...), не могу пройти мимо Ваших принципиальных... эээ...
ошибочек и
неточностей, которые Вы пытаетесь скрыть за туманом "многих букафф" и казуистикой.
Процесс и состояние - разные понятия. В рамках самого что ни на есть общепринятого понимания, а не некой искусственной и отвлеченной от реальной жизни формальной системы.
Отождествлять их неверно. Надо называть вещи своими правильными именами, как нас мудро учил еще товарищ Кон-Фу-Цзы.
Допустим, понимаю, я для Вас - не авторитет, тогда может быть, прислушаетесь к Святославу Сергеевичу Лаврову (надеюсь, не надо объяснять, кто это такой, впрочем, на всякий случай напомню, что он - один из создателей теории схем программ)?
Вот цитата из его книги "Программирование" (жирным выделил я - tau797):
"
Операторы преобразуют
состояния... Таким образом, о состояниях и их свойствах, т.е. о предикатах, которым удовлетворяют состояния, целесообразно говорить
не во время исполнения операторов, а в промежутках между исполнением оператора-предшественника и оператора-преемника"
Ну что, полдень наступил? Тени рассеялись?